Go中指针相等仅取决于是否指向同一内存地址或同为nil;==比较不关心值、内容或结构体字段,不同类型指针不可比较,零大小结构体指针可能因地址复用而意外相等。

Go 中两个指针相等,只看它们是否指向**同一块内存地址**,或是否都为 nil;值相同、结构体内容一样、甚至都是 &struct{}{},都不保证指针相等。
用 == 比较指针:只认地址,不认内容
Go 允许直接用 == 或 != 比较同类型指针,但结果完全取决于底层地址是否一致:
-
p1 == p2为true当且仅当p1和p2存储的是同一个地址(比如都指向变量a),或两者都是nil - 即使
*p1 == *p2成立(值相等),p1 == p2仍可能为false—— 它们只是“长得像”,不是“同一个人” - 不同类型指针(如
*int和*int64)无法直接比较,编译报错:mismatched types *int and *int64
func main() {
a, b := 42, 42
p1 := &a
p2 := &b
fmt.Println(p1 == p2) // false —— 不同变量,不同地址
fmt.Println(*p1 == *p2) // true —— 值相同,但和指针比较无关
}
结构体指针比较:地址相等 ≠ 内容相等
对结构体指针使用 ==,比的是指针本身,不是它指向的字段。想比内容,必须解引用:
-
p1 == p2:只在p1和p2是同一个结构体实例的地址时才为true -
*p1 == *p2:要求结构体所有字段可比较(不能含[]int、map[string]int或函数),否则编译失败 - 若结构体含指针字段(如
data *string),*p1 == *p2仍只比指针地址,不比*data的值
type User struct {
Name string
Age int
}
u1 := &User{"Alice", 30}
u2 := &User{"Alice", 30}
fmt.Println(u1 == u2) // false
fmt.Println(*u1 == *u2) // true —— 字段都可比较,且值相同
零大小结构体指针的“幻影相等”
这是最容易踩坑的冷知识:指向 struct{} 这类零大小变量的指针,在接口中比较时可能“意外相等”,哪怕它们来自不同调用:
立即学习“go语言免费学习笔记(深入)”;
- Go 规范明确允许:指向不同零大小变量的指针“可能相等,也可能不相等”
- 实际中,编译器常复用同一地址(因为不占空间),导致
&struct{}{}多次调用返回的指针地址相同 - 一旦包装进
interface{},one == two可能返回true,但你根本没创建同一个对象 - 解决办法很简单:让结构体非零大小(加一个
byte字段或注释字段即可)
type fake struct{ _ [0]byte } // 非零大小,强制分配独立地址
// 而不是 type fake struct{} —— 危险!
函数指针不能直接比较,得靠 reflect
函数名本身不可比较:someFunc == someFunc 编译失败,报错 func can only be compared to nil:
- 唯一合法的函数比较是
f == nil - 要判断两个函数是否是同一个实体,必须用
reflect.ValueOf(f).Pointer() - 注意:该地址是运行时函数入口地址,跨构建/热重载可能变化,不适用于持久化或网络传输
import "reflect"
func foo() {}
func bar() {}
fmt.Println(reflect.ValueOf(foo).Pointer() == reflect.ValueOf(foo).Pointer()) // true
fmt.Println(reflect.ValueOf(foo).Pointer() == reflect.ValueOf(bar).Pointer()) // false
真正难的不是写对 ==,而是意识到你在比什么——地址?值?语义唯一性?一旦把 == 当成“逻辑相等”用,尤其混入接口、零大小类型或函数,就很容易被 Go 的底层行为反向教育。










