Warum unterscheidet sich der Vergleich eines Null-Slices mit „Null' zwischen konkreten Typen und Schnittstellen in Go?

Schnittstellentyp und Null-Slices

Wenn in Go eine Variable an eine Funktion übergeben wird, die einen Schnittstellentyp erwartet, kann das Verhalten je nach Typ unterschiedlich sein davon, ob die Variable ein Slice ist oder nicht.

Bedenken Sie den folgenden Ausschnitt:

<code class="go">package main

import "fmt"

func main() {
    var i []int = nil
    yes(i) // output: true
    no(i)  // output: false
}

func yes(thing []int) {
    fmt.Println(thing == nil)
}

func no(thing interface{}) {
    fmt.Println(thing == nil)
}</code>

In diesem Programm erwartet die Funktion „Ja“ ein Slice von Ganzzahlen, während die Funktion „Nein“ eine Schnittstelle erwartet Typ. Wenn wir „yes“ mit dem Null-Slice i aufrufen, ist die Ausgabe wahr, da das Slice selbst Null ist. Der Aufruf von „no“ mit dem Null-Slice führt jedoch zu „false“.

Um zu verstehen, warum dies geschieht, müssen wir uns mit der Implementierung von Schnittstellen in Go befassen. Intern wird ein Schnittstellentyp als Struktur dargestellt, die zwei Felder enthält: Itab, das auf den Typdeskriptor verweist, und Data, das den tatsächlichen Wert enthält.

Bei der Übergabe eines Null-Slices an „Ja“ wird nur der Nullwert angezeigt wird als Daten übergeben und der Vergleich wird effektiv zu nil == nil, was wahr ist. Wenn jedoch ein Null-Slice an no übergeben wird, verpackt Go es automatisch in einen Schnittstellentyp, was zu etwas wie no(interface{[]int, nil}) führt. In diesem Fall wird der Vergleich zu interface{[]int, nil} == nil, was false zurückgibt, da der Schnittstellentyp selbst nicht null ist, obwohl die zugrunde liegenden Daten null sind.

Dieses Verhalten kann darauf zurückgeführt werden zur Natur von Schnittstellen und wie sie mit Nullwerten interagieren. Wie in den Go-FAQ erläutert, sind Nullschnittstellen und Nullkonkrete Werte unterschiedliche Konzepte. Wenn ein Schnittstellentyp einen Nullwert enthält, bedeutet das nicht, dass die Schnittstelle selbst Null ist. Daher führt der Vergleich eines Schnittstellentyps, der einen Nullwert enthält, mit Null zu „falsch“.

Das obige ist der detaillierte Inhalt vonWarum unterscheidet sich der Vergleich eines Null-Slices mit „Null' zwischen konkreten Typen und Schnittstellen in Go?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!