Warum werden Arrays leerer Strukturen in Go manchmal als gleich angesehen, obwohl ihre Zeiger unterschiedlich sind?

Array leerer Strukturen vergleichen: Variablenverhalten verstehen

Beim Vergleich von Arrays leerer Strukturen in Go kann es zu unerwarteten Ergebnissen kommen. Lassen Sie uns dieses Verhalten anhand von Codebeispielen untersuchen und verstehen, warum es auftritt.

Betrachten Sie den folgenden Code:

var s, ss struct{} // two empty structs
arr1 := [6]*struct{}{&s} // array with empty struct pointer
arr2 := [6]*struct{}{&ss} // array with empty struct pointer
fmt.Println(&s == &ss, arr1 == arr2)  // false, true

Hier definieren wir die leeren Strukturen s und ss und initialisieren die Arrays arr1 und arr2 mit Zeiger auf diese Strukturen und drucken Sie die Vergleichsergebnisse aus. Überraschenderweise sind &s und &ss zwar nicht gleich, arr1 und arr2 jedoch gleich.

Um dies zu verstehen, müssen wir uns auf die Go-Spezifikationen beziehen. Die Spezifikation für Zeigerwerte besagt, dass sie gleich sind, wenn sie auf dieselbe Variable zeigen oder beide den Wert Null haben. Entscheidend ist, dass Zeiger auf verschiedene Variablen der Größe Null „gleich sein können oder auch nicht“.

Darüber hinaus haben Strukturen ohne Felder die Größe Null. Daher verweisen &s und &ss auf unterschiedliche Variablen der Größe Null, und der Vergleich &s == &ss kann entweder als wahr oder falsch ausgewertet werden.

Ebenso ist das Verhalten des Array-Vergleichs arr1 == arr2 nicht garantiert. Die Spezifikation für Variablen der Größe Null gibt an, dass sie möglicherweise dieselbe Adresse im Speicher haben. Daher können arr1 und arr2 gleich sein oder auch nicht, und das Ergebnis kann bei verschiedenen Programmläufen variieren.

Zusammenfassend lässt sich sagen, dass der Vergleich von Zeigern auf verschiedene Variablen der Größe Null, wie z. B. leere Strukturen, zu unvorhersehbaren Ergebnissen führen kann Ergebnisse. Während Sie möglicherweise einmal ein bestimmtes Ergebnis beobachten, kann es aufgrund der Art und Weise, wie der Compiler die Speicherzuweisung optimiert, bei nachfolgenden Durchläufen abweichen.

Das obige ist der detaillierte Inhalt vonWarum werden Arrays leerer Strukturen in Go manchmal als gleich angesehen, obwohl ihre Zeiger unterschiedlich sind?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!