Go: 神奇的defer简介与实践

简介

defer是go中一种延迟调用机制，defer后面的函数只有在当前函数执行完毕后才能执行，通常用于释放资源。defer遵循先进后出的原则，类似于栈的结构。go 的 defer 语句是用来延迟执行函数的，而且延迟发生在调用函数 return之后，比如

func a() int {
  defer b()
  return 0
}

b 的执行是发生在return 0之后，注意defer的语法，关键字defer之后是函数的调用。

**为什么要把defer设计成这种机制？**因为后申请的资源和可能对前面申请的资源有依赖。如果先将前面申请的资源释放掉了。对于后面的资源可能会造成影响。所以先释放后申请的资源，再释放前面申请的资源。

defer什么时间执行 defer只有在当前函数执行完毕后，才会执行。其实不太准确。go中的return语句并不是原子性操作，一般是分为两步:

• 1.将返回值赋值给一个变量
• 2.执行RET指令。 defer就执行在1之后，2之前。

一、特性

1.清理释放资源

由于defer的延迟特性，defer常用在函数调用结束之后清理相关的资源，比如

f, _ := os.Open(filename)
defer f.Close()

文件资源的释放会在函数调用结束之后借助defer自动执行，不需要时刻记住哪里的资源需要释放，打开和释放必须相对应。

用一个例子深刻诠释一下defer带来的便利和简洁。代码的主要目的是打开一个文件，然后复制内容到另一个新的文件中，没有defer时这样写：

func CopyFile(dstName, srcName string) (written int64, err error) {
    src, err := os.Open(srcName)
    if err != nil {
        return
    }

    dst, err := os.Create(dstName)
    if err != nil { //1
        return
    }

    written, err = io.Copy(dst, src)
    dst.Close()
    src.Close()
    return
}

代码在#1处返回之后，src文件没有执行关闭操作，可能会导致资源不能正确释放，改用defer实现：

func CopyFile(dstName, srcName string) (written int64, err error) {
    src, err := os.Open(srcName)
    if err != nil {
        return
    }
    defer src.Close()

    dst, err := os.Create(dstName)
    if err != nil {
        return
    }
    defer dst.Close()

    return io.Copy(dst, src)
}

src和dst都能及时清理和释放，无论return在什么地方执行。鉴于defer的这种作用，defer常用来释放数据库连接，文件打开句柄等释放资源的操作。

2.执行recover

被defer的函数在return之后执行，这个时机点正好可以捕获函数抛出的panic，因而defer的另一个重要用途就是执行recover。recover只有在defer中使用才更有意义，如果在其他地方使用，由于program已经调用结束而提前返回而无法有效捕捉错误。

package main

import (
    "fmt"
)

func main() {
    defer func() {
        if ok := recover(); ok != nil {
            fmt.Println("recover")
        }
    }()

    panic("error")

}

二、执行顺序

defer 的作用就是把关键字之后的函数执行压入一个栈中延迟执行，多个defer的执行顺序是后进先出LIFO：

defer func() { fmt.Println("1") }()
defer func() { fmt.Println("2") }()
defer func() { fmt.Println("3") }()

输出顺序是 321。这个特性可以对一个array实现逆序操作。

三、读取和修改带名称的返回值

func c() (i int) {
    defer func() { i++ }()
    return 1
}

被defer的函数是在return之后执行，可以修改带名称的返回值，上面的函数 c 返回的是 2。

小结

参考：https://www.cnblogs.com/l199616j/p/15500696.html