go - panic 堆栈跟踪中的未知字段

Question

在尝试学习如何从 panic 中调试堆栈跟踪时，我遇到了一些令人困惑的事情。

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 参数，或者作为第一个参数传入的任何其他参数(可以在第二个播放链接中看到)，它就不会出现。

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

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

Answer 1

堆栈跟踪中打印的数据是参数，但值不直接对应于传入的参数，它是以指针大小的值打印的原始数据(尽管通常这与 native 字长相同)。 Playground 有点独特，因为它是一个 64 位字架构和 32 位指针 (GOARCH=amd64p32)。

在 traceback.go您可以看到，这些值是通过基于指针大小的参数逐步打印出来的；

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

因此，由于单词大小是 Playground 中指针大小的两倍，因此您将始终在帧参数中打印偶数个值。

通过在函数参数中使用较小的类型，可以在 Playground 中看到如何呈现数据的另一个示例:https://play.golang.org/p/vHZDEHQZLh

func F(a uint8) {
    panic(nil)
}

// F(1)
// main.F(0x97301, 0x10436000)

只使用了64bit字的前8位，即0x97301 & 0x0f，或者简称为1。第一个值的额外 0x97300 和整个 0x10436000 只是函数未使用的第一个 64 位字的剩余部分。

您可以通过使用更多参数在 amd64 系统上看到相同的行为。比如这个签名；

func F(a, b, c uint32)

当通过 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) 返回值用另外两个词。然而，返回值没有被初始化，所以除了理解为什么这些值存在之外，我在这里没有什么收获。