golang 中 struct{} 一个奇怪的行为

[newbear]

众所周知，golang 中有一个特殊的类型struct{}，这个类型的变量不占用内存空间，也就是说下面两个变量 a 和 b 的地址相同。

func main() {
	a := struct{}{}
	b := struct{}{}

	fmt.Printf("%p %p\n", &a, &b)    // 输出  0x551090 0x551090
}

那么下面一段代码的输出也很合理：

func main() {
	a := struct{}{}
	b := struct{}{}

	fmt.Printf("%p %p\n", &a, &b)   // 输出  0x551090 0x551090
	fmt.Println(&a == &b)           // 输出  true
} 

问题是下面这段代码，相比上一段代码只是去掉了第一个 fmt.Println ，a 和 b 地址竟然就不相等了？

func main() {
	a := struct{}{}
	b := struct{}{}

	fmt.Println(&a == &b)         // 输出  false
}

感兴趣的可以试一下，这里也有在线环境：

https://go.dev/play/p/cldI9TWlYwZ

https://go.dev/play/p/oPfHrBZ8Gqg

[mstmdev]

看一下反汇编代码就有答案了，这篇文章有详细说明： https://mp.weixin.qq.com/s/K5B2ItkzOb4eCFLxZI5Wvw

[ampedee]

逃逸分析的经典陷阱，详细解释参见 https://www.sobyte.net/post/2021-06/a-pitfall-of-comparing-empty-structs-in-golang/

[pigmen]

生成汇编看看？

[Jirajine]

真不愧是“大道至简”，gc 语言有（直接的）指针着实是糟糕的设计。

[yianing]

无关紧要

[BeijingBaby]

一般这么用：type a struct{}
定义一个新类型 ，然后到处用 a{}，是相等的。

[cmdOptionKana]

是否“奇怪”，主要看标准里有没有规定，如果没有规定就只是一种巧合，不能看作一种固定行为。

[lance6716]

Pointers to distinct zero-size variables may or may not be equal.

https://go.dev/ref/spec

[tairan2006]

因为标准已经说了可能相等也可能不等╮(￣▽￣")╭

[kinboy]

op 是不是前端转 go