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

Question

你不能从go中的其他包中导入主包（某些情况除外，例如测试用例）。而是创建一个新目录，例如名为，在此文件夹中创建如下所示的mytypes文件：types.gopackage mytypestype Organization struct {    ID    string `json:"id"`    Count int    `json:"count"` //node count}无论您想在何处使用此结构，例如在 main an 中，您都可以将该结构import "mytypes"用作Organizationmytypes.Organization或者，您将Organization结构移动到您的configuration包中并在您的 main 中使用configuration.Organization。

Answer 1

规范：比较运算符：

指针值是可比较的。如果两个指针值指向同一个变量或两者都具有值，则它们相等nil。指向不同的零大小变量的指针可能相等也可能不相等。

还有规格：尺寸和对齐保证：

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

s和变量的大小ss为零，因此&s和&ss是指向不同的零大小变量的指针，因此规范不保证它们的相等性。这意味着&s == &ss可能评估为trueor 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

行为发生了变化：我们现在可以看到输出

行为改变的原因是因为&s和&ss转义到堆：它们直接传递给fmt.Println()，所以编译器改变了它们的存储方式（位置），因此，它们的地址也改变了。