Go语言中的recover是内置的异常恢复函数,主要用于捕获goroutine中抛出的panic,避免单个goroutine的异常导致整个程序崩溃。很多开发者在编写并发程序时会尝试使用recover处理子goroutine的异常,但并不清楚它的使用限制和并发场景下的安全性问题。

recover的基本使用规则
recover只有在defer调用的函数中直接执行才会生效,其他场景下调用recover都会返回nil,无法捕获panic。这是recover最核心的使用前提,很多开发者误以为在任何地方调用recover都能恢复异常,其实是错误的。
下面是一个基础的正确使用示例:
package main
import "fmt"
func main() {
defer func() {
if err := recover(); err != nil {
fmt.Println("捕获到异常:", err)
}
}()
// 主动抛出panic
panic("测试异常")
}
上面的代码中,defer函数里直接调用recover,成功捕获了main goroutine中抛出的panic,程序不会崩溃,只会输出捕获到的异常信息。
并发场景下recover的安全性分析
首先需要明确一个核心结论:recover是goroutine级别的,每个goroutine的recover只能捕获当前goroutine内抛出的panic,无法跨goroutine生效。这个特性决定了recover在并发场景下的使用边界。
子goroutine的异常无法被主goroutine的recover捕获
很多开发者会尝试在主goroutine中写recover,希望捕获子goroutine的panic,这是完全不可行的。看下面的示例:
package main
import (
"fmt"
"time"
)
func main() {
// 主goroutine的recover
defer func() {
if err := recover(); err != nil {
fmt.Println("主goroutine捕获到异常:", err)
}
}()
// 启动子goroutine
go func() {
panic("子goroutine异常")
}()
// 等待子goroutine执行
time.Sleep(time.Second)
}
运行上面的代码,程序会直接崩溃,因为子goroutine抛出的panic只能被它自己的defer中的recover捕获,主goroutine的recover对它没有作用。这就是recover在并发场景下最需要注意的点,也是很多新手容易踩的坑。
子goroutine内部使用recover是安全的
如果我们在子goroutine内部定义defer函数,在其中调用recover,就可以安全捕获该子goroutine的panic,不会影响其他goroutine的运行。示例如下:
package main
import (
"fmt"
"time"
)
func main() {
// 启动子goroutine,内部自带recover
go func() {
defer func() {
if err := recover(); err != nil {
fmt.Println("子goroutine捕获到自身异常:", err)
}
}()
panic("子goroutine内部异常")
}()
// 另一个正常的子goroutine
go func() {
fmt.Println("另一个子goroutine正常运行")
}()
time.Sleep(time.Second)
}
运行上面的代码,第一个子goroutine的panic被自身defer中的recover捕获,程序不会崩溃,第二个子goroutine也能正常输出内容,说明这种使用方式下recover是安全的,不会影响其他并发任务的执行。
Go异常恢复机制的整体逻辑
Go的异常处理流程和goroutine的调度紧密相关,当某个goroutine执行到panic语句时,会立刻停止当前函数的执行,开始逆序执行该goroutine上所有的defer函数。如果某个defer函数中调用recover并返回了非nil值,那么该goroutine的panic流程就会终止,程序会继续执行该goroutine defer之后的逻辑(如果有的话);如果没有recover捕获,panic会一直向上传递,直到该goroutine的所有defer执行完毕,最终该goroutine会崩溃,并且如果这是主goroutine的话,整个程序都会退出。
需要注意的是,recover返回的是panic传入的参数,类型可以是任意的,所以在实际使用中最好先判断类型再做处理,避免二次异常。比如下面的示例:
package main
import "fmt"
func main() {
defer func() {
if err := recover(); err != nil {
// 判断异常类型
if s, ok := err.(string); ok {
fmt.Println("捕获到字符串类型异常:", s)
} else {
fmt.Println("捕获到其他类型异常:", err)
}
}
}()
panic(404)
}
recover使用的常见注意事项
- recover必须在defer函数中直接调用,嵌套在defer函数的其他函数中调用也会失效,比如下面的代码无法捕获异常:
package main
import "fmt"
func catchPanic() {
// 嵌套调用,recover无效
if err := recover(); err != nil {
fmt.Println("捕获到异常:", err)
}
}
func main() {
defer catchPanic()
panic("测试异常")
}
- 不要在recover之后忽略异常,除非你明确知道异常的影响范围,否则最好记录异常信息,方便后续排查问题。
- recover无法恢复运行时之外的错误,比如内存溢出等系统级错误,这类错误会直接导致程序崩溃,recover无法处理。
总结来说,recover在并发编程中是安全的,只要遵循它的使用规则,在对应的goroutine内部defer中调用,就可以正确捕获该goroutine的panic,避免异常扩散。但一定要记住recover不能跨goroutine生效,不要试图在主goroutine中捕获所有子goroutine的异常,每个子goroutine的异常需要由自身的recover处理。