Warum ist das Muster „Komma ok' nur in Zuweisungskontexten anwendbar, wenn mehrere Werte von einer Go-Funktion zurückgegeben werden?

Rückgabewerte der Go-Funktion: Das „Comma Ok“-Muster entschlüsseln

In Go kann eine Funktion mehrere Werte zurückgeben, was nützlich sein kann in bestimmten Szenarien. Allerdings sind nicht alle mehrwertigen Rückgaben gültig. Der folgende Codeausschnitt zeigt einen gültigen Fall:

func FindUserInfo(id string) (Info, bool) {
    it, present := all[id]
    return it, present
}

Umgekehrt ist dieser Code ungültig:

func FindUserInfo(id string) (Info, bool) {
    return all[id]
}

Warum ist das erste Beispiel gültig, das zweite jedoch nicht? Um dies zu verstehen, muss man sich mit einer Technik befassen, die als „Komma-OK“-Muster bekannt ist.

Das „Komma-OK“-Idiom: Fehlende Schlüssel und Nullwerte aufdecken

Das „Komma „ok“ wird verwendet, um einen fehlenden Eintrag in einer Karte von einem Nullwert zu unterscheiden. Das Muster tritt besonders häufig beim Zugriff auf einen Kartenschlüssel auf. Bedenken Sie Folgendes:

var seconds int
var ok bool
seconds, ok = timeZone[tz]

Wenn der tz-Schlüssel in der Zeitzonenkarte vorhanden ist, wird den Sekunden der entsprechende Wert zugewiesen und ok wird auf „true“ gesetzt. Andernfalls wird „seconds“ auf 0 und „ok“ auf „false“ gesetzt.

Implementierungsdetails: Eintauchen in den Quellcode von Go

Auf der Suche nach Klarstellung wenden wir uns an Go's Quellcode. Die Methode „unpack“ ist für die Verarbeitung mehrwertiger Zuweisungen und Rückgaben verantwortlich. Es bestimmt anhand der folgenden Kriterien, ob ein bestimmter Ausdruck als „Komma ok“-Fall qualifiziert ist:

• Indizieren einer Karte
• Abrufen eines Werts aus einem Kanal
• Durchführen einer Typzusicherung

Bei mehrwertigen Zuweisungen muss der Parameter „allowCommaOk“ angegeben werden auf „true“ gesetzt werden, um das „Komma ok“-Muster zu aktivieren. Im Go-Compiler ist dieser Parameter jedoch durchgehend auf „false“ gesetzt.

Konsequenzen für mehrwertige Rückgaben

Dieses Verhalten impliziert, dass das Muster „Komma ok“ dies kann nur in Aufgabenkontexten verwendet werden. Um mehrere Werte aus einer Funktion abzurufen, sind Variablen auf der linken Seite der Zuweisung erforderlich.

Detailliertes Beispiel

Zur Veranschaulichung untersuchen wir den Checker .initVars()-Methode:

var x operand
if commaOk {
    var a [2]Type
    for i := range a {
        get(&x, i)
        a[i] = check.initVar(lhs[i], &x, returnPos.IsValid())
    }
    check.recordCommaOkTypes(rhs[0], a)
    return
}

In diesem Code wird das CommaOk-Flag nur aktiviert, wenn die Anzahl der Variablen auf der linken Seite des Die Zuweisung entspricht der Anzahl der von der Funktion zurückgegebenen Werte. Folglich ist es notwendig, Variablen für jeden Wert zu deklarieren, der abgerufen werden muss.

Fazit

Das „Komma ok“-Muster in Go ist ein wertvolles Werkzeug zur Unterscheidung zwischen fehlenden Karteneinträgen und Nullwerten. Seine Anwendbarkeit ist jedoch auf Zuweisungskontexte beschränkt, die die Verwendung von Variablen zum Speichern der zurückgegebenen Werte erfordern. Das Verständnis dieser Einschränkungen gewährleistet die korrekte und effiziente Implementierung mehrwertiger Rückgaben im Go-Code.

Das obige ist der detaillierte Inhalt vonWarum ist das Muster „Komma ok' nur in Zuweisungskontexten anwendbar, wenn mehrere Werte von einer Go-Funktion zurückgegeben werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!