golang panic和recover 实现原理
这篇文章是系列文章中的第二篇,系列文章主要包括:
- golang defer的原理
- golang panic和recover()函数的原理(包括golang对于错误处理方式)
- defer性能损耗的讨论以及最重要的应用场景
- defer在golang 1.13 上的性能
panic 能中断一个程序的执行,同时也能在一定情况下进行恢复(recover)。我们就来看一看 panic 和 recover 这对关键字的实现机制。根据我们对 Go 的实践,可以预见的是,他们的实现跟runtime调度器和 defer 关键字也紧密相关。
思考
1.为什么go 进程会终止
func main() {
panic("sim lou.")
}
输出结果是:
panic: sim lou.
goroutine 1 [running]:
main.main()
/Users/ytlou/Desktop/golang/golang_study/study/basic/panic/panic_test1.go:4 +0x39
Process finished with exit code 2
这里思考一下,为什么执行 panic 后会导致应用程序运行中止?或者说执行panic为什么导致进程终止了?
2. 为什么不会中止运行
func main() {
defer func() {
if err := recover(); err != nil {
log.Printf("recover: %v", err)
}
}()
panic("sim lou.")
}
输出结果是:
2019/10/26 22:19:33 recover: sim lou.
Process finished with exit code 0
思考一下为什么加上 defer + recover 组合就可以保护应用程序不会退出。
3.不设置 defer 行不
上面问题二是 defer + recover 组合,那我去掉 defer 是不是也可以呢?如下:
func main() {
if err := recover(); err != nil {
log.Printf("recover: %v", err)
}
panic("sim lou.")
}
运行结果:
panic: sim lou.
goroutine 1 [running]:
main.main()
/Users/ytlou/Desktop/golang/golang_study/study/basic/panic/panic_test3.go:9 +0xa1
Process finished with exit code 2
不行!!!我们常说 defer + recover 组合 “万能” 捕获。但是为什么呢。去掉 defer 后为什么就无法捕获了?
思考一下,为什么需要设置 defer 后 recover 才能起作用?
同时你还需要仔细想想,我们设置 defer + recover 组合后就能无忧无虑了吗,各种 “乱” 写了吗?
4. 为什么起个 goroutine 就不行
func main() {
go func() {
defer func() {
if err := recover(); err != nil {
log.Printf("recover: %v", err)
}
}()
}()
panic("qwertyuiop.")
}
输出结果:
panic: qwertyuiop.
goroutine 1 [running]:
main.main()
/Users/ytlou/Desktop/golang/golang_study/study/basic/panic/panic_test4.go:13 +0x51
请思考一下,为什么新起了一个 Goroutine 就无法捕获到异常了?到底发生了什么事…
但是我们改一下:
func main() {
go func() {
defer func()