Go defer 的变量快照什么情况会失效？详解

关于 defer 的基本知识点，我在以前的教程中有写过：流程控制：defer 延迟语句

其中有一个知识是 defer 的变量快照，举个简单的例子来说

在下面这段代码中，会先打印出来 18，即使后面 age 已经被改变了，可 defer 中的 age还是 修改之前的 0，这种现象称之为变量快照。

func func1() {
    age := 0
    defer fmt.Println(age) // output: 0

    age = 18
    fmt.Println(age)      // output: 18
}


func main() {
    func1()
}

对于这个输出结果，相信还是挺容易理解的。

接下来，我请大家再看下面这个例子，可以猜猜看会输出什么？

func func1() {
    age := 0
    defer func() {
        fmt.Println(age)
    }()
    age = 18
    return
}

func main() {
    func1()
}

正确的答案是：18， 而不是 0

你肯定会纳闷：不对啊，defer 不是会对变量的值做一个快照吗？答案应该是 0 啊，为什么会是 18？

实际上，仔细观察，可以发现上面的两个例子的区别就在于，一个 defer 后接的是单个表达式，另一个 defer 后接的是一个函数，并且不是普通函数，而是一个匿名的闭包函数。

根据闭包的特性，实际上在闭包函数存的是 age 这个变量的指针（原因可以查看上一篇文章：Go 语言面试题 100 讲之 014篇：说说 Go 中闭包的底层原理？），因而，在 defer 后所修改的值会直接影响到 defer 中的 age 的值。

总结一下：

1. 若 defer 后接的是单行表达式，那defer 中的 age 只是拷贝了 func1 函数栈中 defer 之前的 age 的值；
2. 若 defer 后接的是闭包函数，那defer 中的 age 只是存储的是 func1 函数栈中 age 的指针。