下面代码为什么输出false,但是不注释fmt.Println(&s1, &s2),又输出true
package main
import "fmt"
func main() {
var s1, s2 struct{}
//fmt.Println(&s1, &s2)
fmt.Println(&s1 == &s2)
}
这是一个很有趣的 Go 语言现象，让我来解释一下原因。
这与 Go 的编译器优化和空结构体(struct{})的特殊处理有关：
-
空结构体在 Go 中的大小是 0 字节，不占用任何内存空间。
-
在不打印地址的情况下，编译器会进行优化。由于空结构体不占用空间，编译器认为没有必要为它们分配不同的内存地址，所以会将它们都指向同一个特殊的地址(通常是
zerobase地址)。 -
但是当你打印地址时(
fmt.Println(&s1, &s2))，编译器会被迫为这些变量分配真实的、不同的栈地址，因为你明确要查看它们的地址。
所以：
- 不打印地址时：两个指针指向相同的
zerobase地址，所以&s1 == &s2输出true - 打印地址时：编译器会为 s1 和 s2 分配不同的栈地址，所以
&s1 == &s2输出false
这就是为什么看似相同的代码，仅仅因为是否打印地址就会产生不同的结果。这是编译器优化导致的行为，而不是语言规范所要求的行为。
