1 回答

TA貢獻1801條經驗 獲得超8個贊
規范:比較運算符:
指針值是可比較的。如果兩個指針值指向同一個變量或兩者都具有值,則它們相等
nil
。指向不同的零大小變量的指針可能相等也可能不相等。
還有規格:尺寸和對齊保證:
如果結構或數組類型不包含大小大于零的字段(或元素),則其大小為零。兩個不同的零大小變量在內存中可能具有相同的地址。
s
和變量的大小ss
為零,因此&s
和&ss
是指向不同的零大小變量的指針,因此規范不保證它們的相等性。這意味著&s == &ss
可能評估為true
or?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()
,所以編譯器改變了它們的存儲方式(位置),因此,它們的地址也改變了。
- 1 回答
- 0 關注
- 135 瀏覽
添加回答
舉報