Question

我不知道为什么会这样，而且我找不到相对的源代码。有人可以向我解释吗？

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

var l, ll struct{A int}{}
arr3 := [6]*struct{A int}{&l} // array with empty struct pointer
arr4 := [6]*struct{A int}{&ll} // array with empty struct pointer
fmt.Println(&l == &ll, arr3 == arr4)  // false, false

Answer 1

Spec: Comparison operators:

指针值具有可比性。如果两个指针值指向相同的变量，或者两个指针的值均为nil，则它们相等。 指向不同zero-size变量的指针可能相等，也可能不相等。

还有Spec: Size and alignment guarantees:

如果结构或数组类型不包含大小大于零的字段（或元素），则其大小为零。两个不同的零大小变量可能在内存中具有相同的地址。

s和ss变量的大小为零，因此&s和&ss是指向不同的零大小变量的指针，因此规范不保证任何有关他们的平等。这意味着&s == &ss可能会评估为true或false，您不能指望结果是什么，这样做是错误的。

仍然，很奇怪的是，在应用程序的单个运行时中，一旦它们相等，就相等了。教训是永远不要依赖它。

通过逃逸分析可以解释不同的行为。

让我们将您的应用程序简化为：

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

使用go run -gcflags '-m' play.go运行转义分析得出：

./play.go:13:17: &s == &ss escapes to heap
./play.go:13:30: arr1 == arr2 escapes to heap
./play.go:11:23: main &s does not escape
./play.go:12:23: main &ss does not escape
./play.go:13:14: main &s does not escape
./play.go:13:20: main &ss does not escape
./play.go:13:13: main ... argument does not escape
false true

&s和&ss不会转义（因为它们不会传递给fmt.Println()的结果，只会传递给&s == &ss的结果）。

如果我们在上述简化的应用中添加一行：

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) // true, true

fmt.Printf("%p %p\n", &s, &ss) // true, true

运行逃逸分析现在给出：

./play.go:13:17: &s == &ss escapes to heap
./play.go:13:30: arr1 == arr2 escapes to heap
./play.go:15:24: &s escapes to heap
./play.go:15:24: &s escapes to heap
./play.go:10:6: moved to heap: s
./play.go:15:28: &ss escapes to heap
./play.go:15:28: &ss escapes to heap
./play.go:10:9: moved to heap: ss
./play.go:11:23: main &s does not escape
./play.go:12:23: main &ss does not escape
./play.go:13:14: main &s does not escape
./play.go:13:20: main &ss does not escape
./play.go:13:13: main ... argument does not escape
./play.go:15:12: main ... argument does not escape
true true

行为发生了变化：我们现在看到true true的输出（在Go Playground上尝试）。

更改行为的原因是因为&s和&ss逃逸到了堆：它们直接传递到fmt.Println()，所以编译器更改了它们的存储方式（位置），以及这样，他们的地址也一样。

查看相关的/可能的重复项：Golang Address of Slices of Empty Structs

为什么比较结构数组会有不同的结果

1 个答案: