有趣的 Go 语言现象

下面代码为什么输出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{})的特殊处理有关：

1. 空结构体在 Go 中的大小是 0 字节，不占用任何内存空间。

2. 在不打印地址的情况下，编译器会进行优化。由于空结构体不占用空间，编译器认为没有必要为它们分配不同的内存地址，所以会将它们都指向同一个特殊的地址(通常是 zerobase 地址)。

3. 但是当你打印地址时(fmt.Println(&s1, &s2))，编译器会被迫为这些变量分配真实的、不同的栈地址，因为你明确要查看它们的地址。

所以：

• 不打印地址时：两个指针指向相同的 zerobase 地址，所以 &s1 == &s2 输出 true
• 打印地址时：编译器会为 s1 和 s2 分配不同的栈地址，所以 &s1 == &s2 输出 false

这就是为什么看似相同的代码，仅仅因为是否打印地址就会产生不同的结果。这是编译器优化导致的行为，而不是语言规范所要求的行为。