panic和recover的使用规则

在上一节中,我们介绍了defer的使用。 这一节中,我们温习一下panic和recover的使用规则。

在golang当中不存在tye ... catch 异常处理逻辑。在golang当中使用defer, panic和recover来控制程序执行流程,借此来达到处理异常的目的。

Panic是一个可以停止程序执行流程的内置函数。 假设当前F函数当中某处代码触发panic函数,则F函数停止后面代码的执行,转而执行F函数内部的defer函数(如果已经声明了defer函数的话...),然后结束F函数,将当前处理权转给F的调用函数。

对于F的调用方M来说,F是调用panic函数结束的,而不是执行return结束的。这一点很重要,因为调用panic函数结束是没有返回值的。

对于F的调用方M来说,F调用结束并且已经退出。所以引出第一个规则:

调用panic后,调用方函数执行从当前调用点退出

我们通过下面的代码来解释这个问题:

package main
import "fmt"
func main() { 
f() 
fmt.Println("Returned normally from f.") 
}
func f() { 
defer func() { 
if r := recover(); r != nil { 
fmt.Println("Recovered in f", r) 
}
}()
fmt.Println("Calling g.") 
g(0) 
fmt.Println("Returned normally from g.") 
}
func g(i int) { 
if i > 3 { 
fmt.Println("Panicking!") 
panic(fmt.Sprintf("%v", i)) 
}
defer fmt.Println("Defer in g", i) 
fmt.Println("Printing in g", i) 
g(i + 1) 
}

这段函数里面,当i大于3之后,触发panic函数。 在i小于3之前,一切正常。 引出我们来分析一下执行逻辑。

首先f()里面,没有调用g()函数之前,没有异常。因此会输出"Calling g."。而后开始调用g(),当输入的参数小于3之前,会一直输出"Printing in g",(为什么不输出"Defer in g"请参考上一篇文章 (defer的使用规则))。

当i等于4时,开始触发panic函数,输出Panicking!。需要记住panic之后,调用方直接从调用点退出。 因为g()里面是迭代调用,因此当i等于4时触发panic时,本质是g(i+1)这一行触发的panic函数。 因此g()后续的函数不再继续执行,因为存在defer函数了,所以连续输出三个"Defer in g"。

此时g(0)函数执行完毕,f()函数退出。因为f()函数里面存在defer函数,因此会调用defer 输出"Recoverd in f"。

所以最终的输出结果将是:

Calling g. 
Printing in g 0 
Printing in g 1 
Printing in g 2 
Printing in g 3 
Panicking! 
Defer in g 3 
Defer in g 2 
Defer in g 1 
Defer in g 0 
Recovered in f 4 
Returned normally from f. 

聊完执行顺序的问题后,我们来看为什么会输出"Recovered in f 4". 这就是规则二:

规则二 通过panic可以设定返回值

panic存在的意义,不仅可以控制异常处理流程,还可以用来返回异常原因。如果panic不给调用方返回异常原因,那么调用方就无从下手处理问题。 因此在调用panic时,一般来说都是返回一个字符串,用来标示失败原因。例如上面代码中的"XXX值不得大于3"。

panic的返回值,通过recover函数来获取。 recover函数也是一个内置函数,专门用来接收panic函数返回值。当panic函数没有被调用或者没有返回值时,recover返回Nil.

在使用recover函数时,就需要下面的规则三:

规则三 recover函数只有在defer代码块中才会有效果

注意此处的有效果不等于执行。言外之意,recover函数可以在任何地方执行,但只有在defer代码块中执行才能真正达到处理异常的目的。

我们假设,将recover函数移除defer代码块,如下:

func f() int {
fmt.Println("Calling g.") 
m := g(0) 
r := recover() 
if r != nil { 
fmt.Println("Recovered in f", r) 
}
fmt.Println("Returned normally from g.", m) 
return m 
}

因此recover函数在外,因此执行结果如下:

Calling g. 
Printing in g 0 
Printing in g 1 
Printing in g 2 
Printing in g 3 
Panicking! 
Defer in g 3 
Defer in g 2 
Defer in g 1 
Defer in g 0 
panic: 4
goroutine 1 [running]: 
[stack trace omitted]

可以看到recover函数并未生效,其实是没有执行,因为根据规则一,当前执行流程会跳转到defer函数中。因此只有将recover函数定义到defer之中才会真正被执行。

那么问题来了,recover函数应该定义在哪一级的defer中。 golang是逐级查找的,最终会查找到main函数。 如果main函数中的defer还没有recover函数,golang这会像上面那样抛出最终的异常信息。

本节内容不多,但个人感觉还都是干货。 毕竟我们不能保证自己的写的代码一定就没有问题,有问题不可怕,可怕的是代码不受控制。所以学好defer,panci和recover,有助于写出健壮的代码。

本文来自:Andy's Blog

感谢作者:Andy

查看原文:panic和recover的使用规则

• 编辑
• 预览