Go Panic 堆栈跟踪中的'未知字段”是什么？

理解恐慌堆栈跟踪中的“未知字段”

在破译恐慌堆栈跟踪的过程中，可能会遇到不熟悉的元素。一个这样的实例发生在恐慌堆栈跟踪中函数调用的第二个参数内。

让我们考虑以下代码来说明这一点：

<code class="go">package main

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

func main() {
    F(1)
}</code>

运行时，此代码输出：

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) 需要澄清。

解码未知字段

堆栈跟踪中显示的值是函数的参数，但它们并不直接对应于传入的值。相反，它们表示以指针大小的值存储的原始数据。

在给定的情况下，playground 在具有 32 位指针的 64 位架构上运行 (GOARCH=amd64p32)。在这样的设置中，每个值都存储在 64 位字中，而指针是 32 位。

函数 F(a int) 采用 int 类型的单个参数。堆栈跟踪参数存储在 64 位字中。由于指针大小为 32 位，因此前 32 位包含指向参数的指针 (0x1)，其余 32 位 (0x10436000) 未使用。

更多示例

为了进一步演示这个概念，让我们考虑另一个例子：

<code class="go">func F(a uint8) {
    panic(nil)
}

func main() {
    F(1)
}</code>

这段代码输出：

panic: nil

goroutine 1 [running]:
main.F(0x97301, 0x10436000)

这里，参数 a 是 uint8 类型，占用 8位。 64 位字的前 8 位包含 a (1) 的值，而其余 56 位（0x97300 和 0x10436000）未使用。

返回值

除了参数之外，堆栈帧还显示返回值，这些值在堆栈上分配。例如，函数签名：

<code class="go">func F(a int64) (int, int)</code>

在 amd64 系统上，会将堆栈帧参数显示为：

main.F(0xa, 0x1054d60, 0xc420078058)

第一个值代表参数，而后面的两个值代表返回值（int 和 int）。但是，由于返回值未初始化，因此它们没有提供太多有用的信息。

以上是Go Panic 堆栈跟踪中的'未知字段”是什么？的详细内容。更多信息请关注PHP中文网其他相关文章！