恐慌堆栈跟踪中的未知字段

Question

在试图学习如何从恐慌中调试堆栈跟踪时,我遇到了令人困惑的事情.

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中的0x10436000(0x1,0x10436000)).如果有第二个int参数,或者如果作为第一个参数传入的其他内容(可以在第二个播放链接中看到),则不会出现.

一个arg:https://play.golang.org/p/3iV48xlNFR

两个参数:https://play.golang.org/p/4jA7ueI86K

Answer 1

堆栈跟踪中打印的数据是参数,但这些值与传入的参数不直接对应,它是以指针大小的值打印的原始数据(尽管通常这与本机字大小相同).游乐场略显独特,因为它是一个64位字架构,带有32位指针(GOARCH=amd64p32).

在traceback.go中,您可以看到通过基于指针大小逐步执行参数来打印值;

for i := uintptr(0); i < frame.arglen/sys.PtrSize; i++ {

因为单词大小是操场中指针大小的两倍,所以在frame参数中总是会打印偶数个值.

通过在函数参数中使用较小的类型,可以在操场上看到数据如何呈现的另一个示例:https://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位字的剩余部分.

您可以amd64使用更多参数在系统上看到相同的行为.这个签名例如;

func F(a, b, c uint32)

当调用via时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)返回值.然而,返回值没有被初始化,所以除了理解为什么这些值存在之外,我在这里得到的并不多.