在尝试学习如何从恐慌中调试堆栈跟踪时,我遇到了一些令人困惑的问题。
package main func F(a int) { panic(nil) } func main() { F(1) }
当我在附加的播放链接上运行它时,输出以下内容:
panic: nil goroutine 1 [running]: main.F(0x1, 0x10436000) /tmp/sandbox090887108/main.go:4 +0x20 main.main() /tmp/sandbox090887108/main.go:8 +0x20
我无法解读第二个数字的含义(main.F(0x1,0x10436000)中的0x10436000)。如果有第二个int参数,或者作为第一个参数传递的其他内容,则不会出现(可以在第二个播放链接中看到)。
一个arg:https : //play.golang.org/p/3iV48xlNFR
两个参数:https://play.golang.org/p/4jA7ueI86K
堆栈跟踪中打印的数据是参数,但是值并不直接与传入的参数相对应,它是原始数据,以指针大小的值打印(尽管通常这与本机字大小相同)。游乐场有点独特,因为它是一个带有32位指针(GOARCH=amd64p32)的64位字体系结构。
GOARCH=amd64p32
在traceback.go中,您可以看到通过根据指针大小逐步遍历参数来打印值。
for i := uintptr(0); i < frame.arglen/sys.PtrSize; i++ {
因此,由于单词大小是操场上指针大小的两倍,因此,在帧参数中始终会打印偶数个值。
//play.golang.org/p/vHZDEHQZLh
func F(a uint8) { panic(nil) }
// F(1) // main.F(0x97301, 0x10436000)
仅使用64位字的前8位,即0x97301 & 0x0f或1。第0x97300一个值中的多余0x10436000部分和整个值只是该函数未使用的第一个64位字的其余部分。
0x97301 & 0x0f
1
0x97300
0x10436000
amd64通过使用更多参数,您可以在系统上看到相同的行为。例如这个签名;
amd64
func F(a, b, c uint32)
通过调用时F(1, 1, 1),它将打印堆栈跟踪,例如:
F(1, 1, 1)
main.F(0x100000001, 0xc400000001)
因为3个32位值需要2个字
最后要注意的一组值是返回值,它们也分配在堆栈上。以下功能签名:
func F(a int64) (int, int)
在amd64上,将显示如下堆栈框架参数:
main.F(0xa, 0x1054d60, 0xc420078058)
其中一个代表a,另一个代表(int, int)返回值。但是,返回值未初始化,因此,除了了解为什么存在这些值之外,在这里没有太多收获。
a
(int, int)