深入学习Go-6 defer、panic与recover

Go语言的defer一般用于资源的释放和异常的捕捉，资源释放如关闭文件描述符、关闭数据库链接、释放锁等；异常捕捉需要与recover函数一起配合使用。

defer使用规则

defer函数按后进先出顺序执行

func sequence() {
    defer fmt.Println("defer1")
    for i := 0; i < 5; i++ {
        defer fmt.Println(i)
    }
    defer fmt.Println("defer2")
}

执行结果：

defer函数的参数预计算

Go语言中所有的函数传参都是值传递，当函数中有defer出现时，会立即对参数进行求值，复制副本传递给defer函数。而不是在函数返回后执行defer函数时才开始对参数求值。

func preCalculate() {
    i := 1
    defer fmt.Println("i = ", i)
    i++
}

执行结果：i =  1

defer与主函数的具名返回值

声明主函数时返回值带有名字，这个返回值会在函数内部初始化成一个局部变量，defer操作这个局部变量时，可能会改变主函数的返回结果。

根本原因在于return不是一个原子操作，分为三步：

1，将返回值保存在栈上

2，执行defer函数

3，函数返回

func returns() (i int) {
    defer func() {
        i++
    }()

    return 1
}

return 1 被拆成：i = 1，i++，return 三步，因此函数返回值为 2

defer与panic

panic会终止当前函数的正常执行，调用defer函数，然后逐级返回。

func first() {
    defer fmt.Println("first defer")
    second()
}

func second() {
    defer fmt.Println("second defer")
    third()
}

func third() {
    defer fmt.Println("third defer")
    panic("panic happen")
}

func panics() {
    first()
}

执行结果：

defer与recover

recover函数用于异常恢复，返回值是panic中传递的参数。一般与defer函数一起使用，使发生panic的函数恢复正常执行。

recover函数捕获最近的panic，在最上层的函数执行一个recover函数就能让函数按照正常的流程执行。

func panics() {
    defer func() {
        if r := recover(); r != nil {
            fmt.Println("panic: ", r)
        }
    }()
    first()
}

func recovers() {
    panics()
    fmt.Println("After recover ... ")
}

执行结果：

总结

defer函数按后进先出顺序执行；defer函数的参数是预计算的；主函数如果有具名返回值的话，先对具名返回值赋值，然后再执行defer函数，最后返回。

---

更多【分布式专辑】【架构实战专辑】系列文章请关注公众号