[golang]如何看懂调用堆栈

之前也有 文章 讲过 go 调用堆栈的话题，但并没有完全讲清楚，这里补充里面缺漏的几个点。

阻塞

goroutine 1 [select, 2 minutes]:

方括号里的select表示阻塞原因，具体定义见 runtime.waitReason 。

后面的时间是阻塞时间。需要注意的是这只是一个大概时间，是在 gc的过程中标记的 ，所以如果这个goroutine不需要gc，那么永远也不会有值。

PC偏移

github.com/robfig/cron.(*Cron).run(0xc0000c44b0)
    cron.go:191 +0x28d

行号后面的16进制数是什么？pc偏移。是指函数入口(cron.(*Cron).run)到调用处(也就是行号指位置)的指令位置偏差。一般很少用到，除非下面这种特殊情况：

func main() {
    rand.Seed(time.Now().UnixNano())
    _, _, _ = foo(), foo(), foo()
}

func foo() int {
    if rand.NormFloat64() > 0 {
        panic("")
    }
    return 0
}

//main.main()
//  main.go:10 +0x7b 或 +0x80 或 +0x85

函数参数

函数参数是最复杂的部分，牵涉到go的很多底层实现。

输入参数，输出参数

为什么经常只有一个参数的函数堆栈里却跟着两个数呢？另一个是输出。

func main() {
    rand.Seed(time.Now().UnixNano())
    r := rand.Int() //2e78e7b163438cc2
    fmt.Printf("%x\n", r)
    foo(r)
}

func foo(i int) (o int) {
    o = rand.Int() //36dd26e720cac1fe
    fmt.Printf("%x\n", o)
    defer panic("want to panic")
    return
}

//main.foo(2e78e7b163438cc2, 36dd26e720cac1fe)
//  main.go:21 +0xdd

结构体展开

结构体会被展开，然后比较短的字段会被打包成一个uint。

type S struct {
    a int
    b int
    c int
    d int
    a1 bool
    b1 byte
    c1 bool
    d1 byte
}

func main() {
    foo(S{})
}

func foo(s S) {
    panic("want to panic")
    noInline()
}

func noInline() {
    fmt.Sprint()
}

//main.foo(0x0, 0x0, 0x0, 0x0, 0x0)
//  main.go:67 +0x39

但是这种打包是依赖字段顺序的。

type S struct {
    a int
    a1 bool
    b int
    b1 bool
    c int
    c1 bool
    d int
    d1 bool
}

func main() {
    foo(S{})
}

func foo(s S) {
    panic("want to panic")
    noInline()
}

func noInline() {
    fmt.Sprint()
}

//main.foo(0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0)
//  main.go:67 +0x39

函数参数对照表

下面的表涵盖了大部分情况