Go defer语句的参数何时求值与闭包捕获的坑

理解 defer 语句的执行时机和参数求值规则，是编写健壮 Go 代码的基础。一个常见的混淆点是其参数求值与闭包捕获的区别，这会导致意料之外的结果。本文将通过具体代码示例，逐步拆解这一机制，帮你避开陷阱。

1. 核心区别速览

在深入代码之前，先记住两条铁律：

1. defer 语句的参数，在 defer 语句被声明时就已经确定（求值）。
2. defer 语句中使用的闭包（匿名函数） 里引用的外部变量，在闭包执行时才被读取。

这两点的差异是产生问题的根源。

2. defer 参数立即求值

观察以下代码：

package main

import "fmt"

func main() {
    x := 10
    defer fmt.Println("defer 执行时，x 的值是：", x) // (A)
    x = 20
    fmt.Println("当前，x 的值是：", x)
}

运行这段代码，输出结果为：

当前，x 的值是： 20
defer 执行时，x 的值是： 10

分析：在 defer 语句 (A) 被声明的那一刻，参数 x 的值 10 就被计算并保存下来了。随后 x 被修改为 20，但这并不影响已经保存的 10。当 main 函数结束，defer 语句真正执行时，使用的是那个早已保存好的 10。

3. 闭包捕获延迟求值

现在，将上面的 defer 改为一个闭包：

package main

import "fmt"

func main() {
    x := 10
    defer func() {
        fmt.Println("defer 闭包执行时，x 的值是：", x) // (B)
    }()
    x = 20
    fmt.Println("当前，x 的值是：", x)
}

运行这段代码，输出结果为：

当前，x 的值是： 20
defer 闭包执行时，x 的值是： 20

分析：defer 语句 (B) 后面是一个匿名函数（闭包）。这个闭包捕获了变量 x 的引用，而不是其值。因此，当闭包在 main 函数末尾执行时，它读取的是 x 的最新值 20。

4. 常见陷阱：循环中的 defer 与闭包

这个区别在循环中尤其容易出错。目标是为一组资源按顺序（后进先出）建立延迟清理逻辑。

错误的写法：直接使用循环变量。

package main

import "fmt"

func main() {
    for i := 0; i < 3; i++ {
        defer fmt.Println("i =", i)
    }
}

运行输出：

i = 2
i = 1
i = 0

这个输出符合 defer 的 LIFO（后进先出）顺序，并且每个 defer 语句在声明时捕获了当次循环的 i 值（0, 1, 2），所以结果是正确的。这里没有问题。

会出问题的写法：在闭包内错误地使用循环变量。

package main

import "fmt"

func main() {
    for i := 0; i < 3; i++ {
        // 错误示范：闭包捕获的是变量 i 的引用
        defer func() {
            fmt.Println("i =", i)
        }()
    }
}

运行输出：

i = 3
i = 3
i = 3

问题根源：循环结束后，i 的最终值是 3。三个 defer 语句中的闭包都捕获了同一个变量 i 的引用。当它们在 main 函数退出时依次执行，读取到的都是 i 的最终值 3，完全违背了我们的初衷。

5. 如何正确地在循环中使用 defer 闭包

要修复上一节的问题，必须确保每个闭包捕获的 i 是独立的。有两种标准方法。

方法一：通过函数参数传递值。

package main

import "fmt"

func main() {
    for i := 0; i < 3; i++ {
        // 将当前的 i 作为参数传入，此时 i 被求值并拷贝
        defer func(val int) {
            fmt.Println("i =", val)
        }(i)
    }
}

方法二：在循环内部创建新的局部变量。

package main

import "fmt"

func main() {
    for i := 0; i < 3; i++ {
        i := i // 创建一个新的局部变量，名称也叫 i，但它是独立的
        defer func() {
            fmt.Println("i =", i)
        }()
    }
}

运行以上两种修复后的代码，都会得到正确输出：

i = 2
i = 1
i = 0

6. 总结：何时求值与如何捕获

为了清晰对比，下表总结了关键行为：

核心要点：defer 函数的实参在注册时就确定了；闭包内部的自由变量则在执行时才去外层作用域取值。理解这一根本区别，就能避开绝大多数与 defer 和闭包相关的陷阱。