Go语言的异常处理机制和很多主流编程语言不同,没有传统的try-catch语法,而是通过defer、panic、recover三个关键字配合实现异常捕获和恢复。其中defer用于延迟执行函数,recover用于捕获panic抛出的异常,二者结合可以在panic发生时让程序恢复正常执行流程,同时还能操作函数的返回值,实现更灵活的错误处理。

defer与recover的基本执行逻辑
defer关键字会将后面的函数调用压入延迟调用栈,在当前函数执行结束后按照后进先出的顺序执行。而recover只有在defer调用的函数中执行时才有效,能够捕获当前协程触发的panic值,并且让程序从panic状态恢复,继续执行后续的代码。
需要注意的是,recover必须直接在defer的函数中调用,不能嵌套在其他函数里,否则无法捕获到panic。以下是一个最基础的panic捕获示例:
package main
import "fmt"
func testPanic() {
// defer函数中使用recover捕获panic
defer func() {
if err := recover(); err != nil {
fmt.Println("捕获到panic:", err)
}
}()
// 触发panic
panic("发生异常了")
fmt.Println("这行代码不会执行")
}
func main() {
testPanic()
fmt.Println("程序正常结束")
}
上述代码执行后,会先打印捕获到的panic信息,然后继续执行main函数中testPanic调用后的代码,程序不会崩溃退出。
通过defer修改函数返回值的前提
要使用defer修改函数的返回值,函数必须定义命名返回值,也就是在返回值列表中给返回值指定名称。如果使用非命名返回值,defer中无法访问到返回值变量,也就无法进行修改。例如以下两种函数定义的区别:
// 非命名返回值,defer中无法修改返回值
func func1() int {
return 1
}
// 命名返回值,defer中可以访问并修改返回值变量
func func2() (ret int) {
ret = 1
return
}
defer结合recover修改返回值的实践
当函数触发panic时,原本的返回逻辑会被中断,此时可以在defer的recover处理中修改命名返回值,让函数最终返回我们指定的错误值,而不是因为panic导致没有返回值或者返回零值。以下是一个完整的实践示例:
package main
import "fmt"
// 命名返回值result,默认零值为0
func divide(a, b int) (result int) {
defer func() {
// 捕获panic
if err := recover(); err != nil {
fmt.Println("计算异常:", err)
// 修改返回值,这里设置为-1表示计算失败
result = -1
}
}()
// 除数为0时触发panic
if b == 0 {
panic("除数不能为0")
}
result = a / b
return result
}
func main() {
// 正常情况调用
res1 := divide(10, 2)
fmt.Println("10除以2的结果是:", res1)
// 触发panic的情况
res2 := divide(10, 0)
fmt.Println("10除以0的结果是:", res2)
}
上述代码中,当调用divide(10,0)时,会触发panic,defer中的recover捕获到异常后,将命名返回值result修改为-1,最终函数返回-1,而不是因为panic导致程序崩溃。同时需要注意,defer中修改返回值的操作会在函数原本的return语句之后执行,如果原本有return返回值,defer的修改会覆盖之前的返回值。
执行顺序与注意事项
defer、panic、recover的执行顺序需要特别注意:
- 函数中先执行到panic时,会立刻中断当前函数的执行,然后按照后进先出的顺序执行已经压栈的defer函数。
- 如果defer函数中有recover,并且捕获到了当前的panic,那么后续的defer函数会继续执行,函数执行完毕后返回。
- 如果defer中没有recover,或者recover没有捕获到对应的panic,那么当前函数的panic会向上层调用函数传递,直到被捕获或者导致程序崩溃。
另外需要注意,recover只能捕获当前协程的panic,无法捕获其他协程触发的panic。如果是在新的协程中触发了panic,需要在对应的协程内部使用defer和recover处理,否则会导致整个程序退出。
常见使用场景
defer和recover的组合通常用于以下场景:
- 处理不可预期的运行时错误,比如数组越界、空指针调用等,避免程序崩溃。
- 在公共函数或者接口层统一捕获异常,返回友好的错误提示,而不是把panic暴露给调用方。
- 在资源操作完成后,即使发生异常也能保证资源正确释放,比如文件关闭、连接断开等,不过这种情况更多时候是defer单独使用,不一定需要recover。
需要注意的是,recover不应该被用来处理正常的业务逻辑错误,正常的错误应该通过返回error来处理,panic和recover更适合处理真正的异常情况,避免滥用导致代码逻辑混乱。