go panic和recover

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

Panic

• Panic是一个可以停止程序执行流程的内置函数。 假设当前F函数当中某处代码触发panic函数，则F函数停止后面代码的执行，转而执行F函数内部的defer函数(如果已经声明了defer函数的话…)，然后结束F函数，将当前处理权转给F的调用函数。
• 对于F的调用方M来说，F是调用panic函数结束的，而不是执行return结束的。这一点很重要，因为调用panic函数结束是没有返回值的

recover

Recover 是一个Go语言的内建函数，可以让进入宕机流程中的 goroutine 恢复过来，recover 仅在延迟函数 defer 中有效，在正常的执行过程中，调用 recover 会返回 nil 并且没有其他任何效果，如果当前的 goroutine 陷入恐慌，调用 recover 可以捕获到 panic 的输入值，并且恢复正常的执行。

Rule 1 : 调用panic后，调用方函数执行从当前调用点退出

package main

import "fmt"

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)
}
func main() {
    f()
    fmt.Println("Returned normally from f.")
}

输出结果为：

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

Rule 2 : 通过panic可以设定返回值

• panic存在的意义，不仅可以控制异常处理流程，还可以用来返回异常原因。如果panic不给调用方返回异常原因，那么调用方就无从下手处理问题。 因此在调用panic时，一般来说都是返回一个字符串，用来标示失败原因。
• panic的返回值，通过内置的recover函数来获取。 recover函数也是一个内置函数，专门用来接收panic函数返回值。当panic函数没有被调用或者没有返回值时，recover返回Nil.

Rule 2 : recover函数只有在defer代码块中才会有效果

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

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函数并未生效，其实是没有执行，因为根据规则一，当前执行流程会跳转到defer函数中。因此只有将recover函数定义到defer之中才会真正被执行。

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