在Go的runtime/proc.go
中,下面显示了一段代码:
// funcPC返回函数f的条目PC。
//假定f是一个func值。否则,行为是不确定的。
//注意:在带有插件的程序中,funcPC可以返回不同的值
//对于相同的功能(因为实际上有多个
副本 //地址空间中的相同函数)。为了安全起见,请勿使用
//此函数在任何==表达式中的结果。只是安全的
//将结果用作开始执行代码的地址。
//go:nosplit
func funcPC(f interface{}) uintptr {
return **(**uintptr)(add(unsafe.Pointer(&f), sys.PtrSize))
}
我不明白的是为什么不使用*(* uintptr)而不是**(** uintptr)?
所以我在下面写一个测试程序来弄清楚。
package main
import (
"fmt"
"unsafe"
)
func main(){
fmt.Println()
p := funcPC(test)
fmt.Println(p)
p1 := funcPC1(test)
fmt.Println(p1)
p2 := funcPC(test)
fmt.Println(p2)
}
func test(){
fmt.Println("hello")
}
func funcPC(f func()) uintptr {
return **(**uintptr)(unsafe.Pointer(&f))
}
func funcPC1(f func()) uintptr {
return *(*uintptr)(unsafe.Pointer(&f))
}
p不等于p1的结果使我感到困惑。 为什么当类型相同时p的值不等于p1的值?
答案 0 :(得分:8)
Go中的函数值表示该功能的代码。从远处看,它是函数代码的指针。它的作用就像一个指针。
仔细观察,它是一个类似这样的结构(取自runtime/runtime2.go
):
type funcval struct {
fn uintptr
// variable-size, fn-specific data here
}
因此,函数值将指向函数代码的指针作为其第一个字段,我们可以取消引用以获取函数代码。
要获取功能代码的地址,可以使用反射:
fmt.Println("test() address:", reflect.ValueOf(test).Pointer())
为验证我们获得的地址正确,我们可以使用runtime.FuncForPC()
。
这与您的funcPC()
函数具有相同的值。参见以下示例:
fmt.Println("reflection test() address:", reflect.ValueOf(test).Pointer())
fmt.Println("funcPC(test):", funcPC(test))
fmt.Println("funcPC1(test):", funcPC1(test))
fmt.Println("func name for reflect ptr:",
runtime.FuncForPC(reflect.ValueOf(test).Pointer()).Name())
它输出(在Go Playground上尝试):
reflection test() address: 919136
funcPC(test): 919136
funcPC1(test): 1357256
func name for reflect ptr: main.test
为什么? 因为函数值本身就是一个指针(它的类型与指针不同,但是它存储的值是一个指针),需要取消引用才能获取代码地址。
因此,您需要将其保存到uintptr
内的funcPC()
(代码地址)将是简单的:
func funcPC(f func()) uintptr {
return *(*uintptr)(f) // Compiler error!
}
当然它不会编译,conversion rules不允许将函数值转换为*uintptr
。
另一种尝试可能是先将其转换为unsafe.Pointer
,然后再转换为*uintptr
:
func funcPC(f func()) uintptr {
return *(*uintptr)(unsafe.Pointer(f)) // Compiler error!
}
同样:转换规则不允许将函数值转换为unsafe.Pointer
。任何指针类型和uintptr
值都可以转换为unsafe.Pointer
,反之亦然,但函数值不能转换。
这就是为什么我们必须有一个指针值开始的原因。我们可以拥有什么指针值?是的,f
的地址:&f
。但这不是函数值,这是f
参数(局部变量)的地址。因此,&f
示意上不是(仅仅是)一个指针,而是一个指向指针的指针(都需要取消引用)。我们仍然可以将其转换为unsafe.Pointer
(因为任何指针值都符合条件),但这不是函数值(作为指针),而是指向它的指针。
并且我们需要函数值中的代码地址,因此我们必须使用**uintptr
来转换unsafe.Pointer
值,并且我们必须使用2个解引用来获取地址(而不仅仅是f
中的指针。
这正是funcPC1()
给出不同的,意外的,错误的结果的原因:
func funcPC1(f func()) uintptr {
return *(*uintptr)(unsafe.Pointer(&f))
}
它返回f
中的指针,而不是实际的代码地址。
答案 1 :(得分:0)
它返回一个不同的值,因为**(** uintptr)与*(* uintptr)不同。前者是双重间接,后者是简单间接。
在前一种情况下,该值是一个指向uint的指针。