ch5/ch5-09

[giscus[bot]]

ch5/ch5-09

中文版

https://gopl-zh.github.io/ch5/ch5-09.html

[zhangbest5]

gopl.io/ch5/defer2，说点啥?一脸懵逼，谁惊讶了？真无语

[gjssss]

可以根据函数执行结果判断

package main

import (
	"fmt"
	"os"
	"runtime"
)

func main() {
	defer printStack()
	f(3)
}
func printStack() {
	var buf [4096]byte
	n := runtime.Stack(buf[:], false)
	os.Stdout.Write(buf[:n])
}

func f(x int) {
	fmt.Printf("f(%d)\n", x+0/x) // panics if x == 0
	defer fmt.Printf("defer %d\n", x)
	f(x - 1)
}

对于f函数中的def fmt.Printf("defer %d\n", x)语句，会在f函数执行结束返回时输出信息，一旦输出信息我们就可以知道函数执行结束了；而main函数中defer printStack()将会在main函数结束后输出函数调用的堆栈，显示当前函数堆栈的信息。
好了，我们现在已经知道这两个def的作用了，我们来看上面代码的执行结果：

f(3)
f(2)
f(1)
defer 1
defer 2
defer 3
goroutine 1 [running]:
main.printStack()
        D:/code/go/hello/main.go:15 +0x39
panic({0xefbe20, 0xf9f090})
        D:/Program Files/Go/src/runtime/panic.go:884 +0x212
main.f(0xf2e158?)
        D:/code/go/hello/main.go:20 +0x113
main.f(0x1)
        D:/code/go/hello/main.go:22 +0xf5
main.f(0x2)
        D:/code/go/hello/main.go:22 +0xf5
main.f(0x3)
        D:/code/go/hello/main.go:22 +0xf5
main.main()
        D:/code/go/hello/main.go:11 +0x45
panic: runtime error: integer divide by zero

goroutine 1 [running]:
main.f(0xf2e158?)
        D:/code/go/hello/main.go:20 +0x113
main.f(0x1)
        D:/code/go/hello/main.go:22 +0xf5
main.f(0x2)
        D:/code/go/hello/main.go:22 +0xf5
main.f(0x3)
        D:/code/go/hello/main.go:22 +0xf5
main.main()
        D:/code/go/hello/main.go:11 +0x45
exit status 2

仔细观察结果，令人惊讶的地方在于第四行输出的信息表示f函数的所有调用已经结束返回，而下面输出函数堆栈的时候，堆栈中还有f函数的信息。
这就是令人惊讶的地方，既然函数已经返回为什么堆栈中还有函数信息，这就是因为延迟函数的调用在释放堆栈信息之前。

[whaliendev]

只有panic才会能访问到f的这部分堆栈，正常退出的情况下堆栈也会被回收。