之前也有文章講過go調(diào)用堆棧的話題，但并沒有完全講清楚，這里補(bǔ)充里面缺漏的幾個(gè)點(diǎn)。

阻塞

goroutine 1 [select, 2 minutes]:

方括號(hào)里的select表示阻塞原因，具體定義見runtime.waitReason 。
后面的時(shí)間是阻塞時(shí)間。需要注意的是這只是一個(gè)大概時(shí)間，是在gc的過程中標(biāo)記的，所以如果這個(gè)goroutine不需要gc，那么永遠(yuǎn)也不會(huì)有值。

PC偏移

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

行號(hào)后面的16進(jìn)制數(shù)是什么？pc偏移。是指函數(shù)入口(cron.(*Cron).run)到調(diào)用處(也就是行號(hào)指位置)的指令位置偏差。一般很少用到，除非下面這種特殊情況：

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

函數(shù)參數(shù)

函數(shù)參數(shù)是最復(fù)雜的部分，牽涉到go的很多底層實(shí)現(xiàn)。

輸入?yún)?shù)，輸出參數(shù)

為什么經(jīng)常只有一個(gè)參數(shù)的函數(shù)堆棧里卻跟著兩個(gè)數(shù)呢？另一個(gè)是輸出。

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

結(jié)構(gòu)體展開

結(jié)構(gòu)體會(huì)被展開，然后比較短的字段會(huì)被打包成一個(gè)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

函數(shù)參數(shù)對(duì)照表

下面的表涵蓋了大部分情況