Go接口比较疑惑：全局变量a1与局部变量a2不相等，但a2与a3、a4相等的原因咨询

这问题挺有意思的，核心原因在于Go对零大小类型指针的特殊优化，再加上全局变量和局部变量初始化时机的差异，才导致了你看到的结果。咱们一步步拆解：

1. Go接口的比较规则 #

首先得明确：两个接口类型变量相等的条件是——它们的动态类型完全一致，并且动态值也完全相等。

在你的代码里，所有变量a1/a2/a3/a4的动态类型都是*aInterfaceImpl（因为aInterfaceImpl的实现是指针接收器），所以类型层面是匹配的，问题肯定出在动态值（也就是指针地址）上。

2. 空结构体指针的特殊优化 #

aInterfaceImpl是一个空结构体（struct{}），它的大小是0。Go语言对零大小类型的指针有个特殊优化：

• 在函数局部作用域中，每次调用new(aInterfaceImpl)或者直接声明&aInterfaceImpl{}，都会返回同一个内存地址。因为空结构体不需要占用实际内存，运行时没必要为它分配新的空间，直接复用同一个地址即可。
  这就是为什么a2 == a3和a2 == a4都返回true——它们的动态值（指针地址）完全一样。

3. 全局变量初始化的差异 #

但全局变量a1的情况不一样：全局变量的初始化是在程序启动阶段（main函数执行之前）完成的，这个阶段的内存分配逻辑和函数内部不同。对于零大小类型的指针，全局初始化时会分配一个静态存储区的地址，这个地址和函数内部复用的那个地址不是同一个。

所以a1的动态值（指针地址）和a2/a3/a4的地址不一样，自然a1 == a2会返回false。

验证方法 #

你可以在代码里加上指针地址的打印，就能直观看到差异：

fmt.Printf("a1 pointer: %p\n", a1.(*aInterfaceImpl))
fmt.Printf("a2 pointer: %p\n", a2.(*aInterfaceImpl))
fmt.Printf("a3 pointer: %p\n", a3.(*aInterfaceImpl))
fmt.Printf("a4 pointer: %p\n", a4.(*aInterfaceImpl))

运行后会发现a1的地址和其他三个完全不同，而a2/a3/a4的地址完全一致。

内容的提问来源于stack exchange，提问作者Mianqin Yao