本文介绍了在 go 语言中比较函数指针相等性的正确方法。由于 Go 语言本身不允许直接比较函数,本文探讨了使用 reflect 包的风险,并提供了一种通过创建唯一变量并比较其地址来安全地判断函数指针是否指向同一函数的方法,从而避免了未定义行为。
在 go 语言中,函数是一等公民,可以作为变量传递和赋值。然而,直接使用 == 和 != 运算符比较两个函数是否相等是不允许的,编译器会报错。这是因为 go 语言的设计哲学倾向于比较值是否等价,而不是比较它们的身份(identity)。
那么,如何在 Go 语言中判断两个函数指针是否指向同一个函数呢?
避免使用 reflect 包
一种常见的方法是使用 reflect 包,获取函数的指针值并进行比较。例如:
package main import ( "fmt" "reflect" ) func SomeFun() {} func AnotherFun() {} func main() { sf1 := reflect.ValueOf(SomeFun) sf2 := reflect.ValueOf(SomeFun) fmt.Println(sf1.pointer() == sf2.Pointer()) af1 := reflect.ValueOf(AnotherFun) fmt.Println(sf1.Pointer() == af1.Pointer()) }
虽然这段代码在某些情况下可以工作,但它依赖于未定义行为。Go 语言规范并没有保证 reflect.ValueOf(func).Pointer() 返回的值在不同函数实例之间是唯一的。编译器可能会将两个相同的函数合并成一个,或者在不同的编译环境下,相同的函数可能得到不同的指针值。因此,使用 reflect 包比较函数指针相等性是不可靠的。
正确的做法:比较变量的地址
为了安全地判断两个函数指针是否指向同一个函数,可以采用以下方法:
- 为每个函数创建一个唯一的变量。
- 获取这些变量的地址。
- 比较这些地址。
package main import "fmt" func F1() {} func F2() {} var F1_ID = F1 // Create a *unique* variable for F1 var F2_ID = F2 // Create a *unique* variable for F2 func main() { f1 := &F1_ID // Take the address of F1_ID f2 := &F2_ID // Take the address of F2_ID // Compare pointers fmt.Println(f1 == f1) // Prints true fmt.Println(f1 == f2) // Prints false }
这种方法利用了 Go 语言中变量地址的唯一性。通过为每个函数创建一个唯一的变量,并获取其地址,我们可以确保比较的是两个函数在内存中的真实地址,从而避免了未定义行为。
总结
在 Go 语言中,直接比较函数是否相等是不允许的。虽然可以使用 reflect 包获取函数的指针值并进行比较,但这种方法依赖于未定义行为,不可靠。正确的做法是为每个函数创建一个唯一的变量,并比较这些变量的地址。这种方法可以确保比较的是函数在内存中的真实地址,从而安全地判断两个函数指针是否指向同一个函数。