Go关键字defer的特性

Go里面,流程控制语句中有一个 defer
的关键字,翻译过来就是延迟的意思。
下面用代码说话。

func deferFunc() {
    defer fmt.Println("后打印")
    fmt.Println("先打印")
}

defer
在函数执行完毕之后,才会执行,所以,我们经常在释放资源或异常处理等需要收尾的场景下会用到 defer

不过 defer
也有一些“坑”,大家需要注意一下。

func printNumbers() {
    for i := 0; i < 5; i++ {
        defer func() {
            fmt.Print(i) // 输出55555
        }()
    }
}

上面例子中, defer
是在 for
循环全部执行完毕之后才会执行,所以 i
已经变成了 5
,正确做法是下面这样

func printNumbers() {
    for i := 0; i < 5; i++ {
        defer func(j int) {
            fmt.Print(j) // 输出43210
        }(i)
    }
}

上面打印的是倒序,这是因为 defer
的执行顺序和栈的特性一样,都是 先进后出

defer
还有一个特性,当函数有参数传入时,那些参数的值会在声明时求出

func printNumbers() {
    for i := 0; i < 5; i++ {
        defer func(j int) {
            fmt.Print(j) // 输出86420
        }(i * 2)
    }
}

上面的例子大家可能看的不是很清楚,下面给过一个例子

func main() {
    i := 2
    defer fmt.Println(i) // 输出2,原因就是上面说的

    i = 8
    fmt.Println(i)
}

上面这个例子就很明显了,后面 i
如何变都不会影响 defer
输出的内容

defer
还有一个经常在面试中提到的问题,就是和 return
的执行顺序,下面是我整理的3个例子

func main() {
    fmt.Println("a return: ", a())
    fmt.Println("b return: ", b())
    fmt.Println("c return: ", *c())
}

func a() int {
    var i int

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

    return i
}

func b() (i int) {
    defer func() {
        i = 2
        fmt.Println("b defer i: ", i)
    }()

    return i
}

func c() *int {
    var i int
    defer func() {
        i = 3
        fmt.Println("c defer i: ", i)
    }()

    return &i
}
// 输出
a defer i:  1
a return:  0
b defer i:  2
b return:  2
c defer i:  3
c return:  3

原因网上有很多优秀的解释,我就再说一下我的理解

  • a
    函数之所以返回 0
    ,是因为返回值是无名的, return
    i
    的值写入返回值后, defer
    再修改 i
    的值,但是已经影响不到返回值了
  • b
    函数之所以返回 1
    ,是因为返回值已经声明成 i
    了, return
    之后, defer
    i
    修改自然就影响了return的返回值了
  • c
    函数结果和 a
    函数不一样,是因为返回值是指针类型,一样的道理,返回值改不了,但是返回值指向的值已经更改,所以就有上面的结果

正常工作里面,虽然不可能写这种代码,但是面试的时候这些基础问题出现的频率还是挺高的,所以大家也是需要掌握一下。融汇贯通,自己多操作多试试,加深印象。