Warum schlägt die Typinferenz von Go bei Strukturzuweisungen mit Kurzdeklaration fehl?

Das Rätsel von Go: Fehlende Typinferenz bei der Strukturzuweisung

In Go ist die Zuweisung von Werten mithilfe der Kurzdeklarationssyntax eine gängige Praxis Verbessern Sie die Lesbarkeit und Effizienz des Codes. Diese Einfachheit kann Programmierer jedoch in bestimmten Situationen zum Stolpern bringen, wie das folgende Snippet zeigt:

i := 10
next := 11
prev, i := i, next

Dieses Code-Snippet weist den Wert von next zu i zu und weist gleichzeitig i zu prev neu zu. Dieses Verhalten ist intuitiv und funktioniert wie erwartet. Wenn es sich jedoch um ein Strukturfeld handelt, schlägt die Typinferenz fehl, wie aus dem folgenden Code hervorgeht:

type Foo struct {
    Bar int
}

f := Foo{10}
next := 11
prev, f.Bar := f.Bar, next

In diesem Fall führt der Versuch, einem Strukturfeld mithilfe der Kurzsyntax einen Wert zuzuweisen, zu ein Compilerfehler: „non-name on left side of :="

Auffällig ist, dass dieser Fehler nur beim Umgang mit Strukturen auftritt. Um das Rätsel hinter diesem Verhalten zu lösen, befassen wir uns mit den komplizierten Mechanismen des Go-Compilers zur Typinferenz.

Wenn der Compiler auf eine Kurzdeklaration stößt, versucht er, den Typ anhand des Ausdrucks auf der rechten Seite abzuleiten. Handseite der Aufgabe. Für Variablen ist dieser Prozess unkompliziert. Wenn jedoch ein Strukturfeld angetroffen wird, prüft der Compiler, ob eine Übereinstimmung zwischen dem Feldtyp und dem Typ des Ausdrucks auf der rechten Seite vorliegt.

Im ersten Beispiel ist die rechte Seite ein ganzzahliges Literal (11), was dem Typ von i entspricht. Daraus kann der Compiler schließen, dass prev ebenfalls eine Ganzzahl ist, und die Zuweisung ist erfolgreich.

Im zweiten Beispiel ist die rechte Seite ein Ausdruck, der ein Strukturfeld (f.Bar) beinhaltet. Da der Compiler sicherstellen muss, dass der Typ der linken Seite (in diesem Fall f.Bar) mit dem Typ der rechten Seite übereinstimmt, gerät er in einen Konflikt: Die rechte Seite ist eine Ganzzahl , aber die linke Seite ist ein Strukturfeld vom Typ int. Diese Diskrepanz führt dazu, dass der Compiler nicht auf den Typ von „prev“ schließen kann, daher der Fehler.

Der verblüffende Aspekt dieser Situation ist, dass die Fehlermeldung zwar „non-name on left side of :=" als the Schuldiger, das zugrunde liegende Problem scheint in der fehlgeschlagenen Typinferenz aufgrund der Beteiligung eines Strukturfelds zu liegen.

Dieses Verhalten wurde als offenes Problem im Go-Problem gemeldet Tracker, der die Einschränkungen der Typinferenz von Go beim Umgang mit Strukturen hervorhebt. Auch wenn es sich technisch gesehen möglicherweise nicht um einen Fehler handelt, stellt es doch sicherlich einen Bereich dar, in dem die Starrheit des Compilers intuitive Codierungspraktiken behindert.

Das obige ist der detaillierte Inhalt vonWarum schlägt die Typinferenz von Go bei Strukturzuweisungen mit Kurzdeklaration fehl?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!