结构体数组比较为何结果不同

一分耕耘，一分收获！既然都打开这篇《结构体数组比较为何结果不同》，就坚持看下去，学下去吧！本文主要会给大家讲到等等知识点，如果大家对本文有好的建议或者看到有不足之处，非常欢迎大家积极提出！在后续文章我会继续更新Golang相关的内容，希望对大家都有所帮助！

我不知道为什么会发生以下情况，而且我找不到相关的源代码。谁能给我解释一下吗？

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

解决方案

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 的结果）。

如果我们向上面的简化应用程序添加一行：

运行逃逸分析现在给出：

./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

今天关于《结构体数组比较为何结果不同》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！