Go defer 在循环里捕获变量怎样避免错值

在循环里写 defer 时，最容易混淆的不是逆序执行，而是“值什么时候被记住”。defer fmt.Println(i) 会在登记这一行时就求出参数；defer func() { fmt.Println(i) }() 则把读取动作放进闭包，真正执行时才读取 i。因此，想避免错值，默认优先把当前值作为匿名函数参数传进去，并根据模块的 Go 版本判断是否还需要手动隔离循环变量。

一句话记忆：defer 的直接参数是快照，闭包里的变量是后读；循环变量如果可能在闭包执行前继续变化，就不要依赖共享变量。

先看清 defer 到底保存了什么

下面两个写法看起来只差了一层函数，但它们保存的对象不同。第一种保存的是已经求值的参数，第二种保存的是一个函数以及它要读取的变量。

package main

import "fmt"

func main() {
	for i := 0; i 

这里还有第二个独立规则：defer 不会在每轮循环结束时执行，而是在 main 返回前按后进先出顺序执行。所以调试时要同时问两个问题：这一行登记的是值还是读取动作？这个 defer 所在的函数什么时候返回？

循环变量要看模块的 Go 版本

Go 1.22 改变了用 := 声明的 for 循环变量作用域：每次迭代都有自己的变量。对 for _, item := range items 这类写法，闭包引用当前迭代变量不再天然共享同一个循环变量。但旧模块、预先声明的迭代变量，以及需要兼容旧工具链的代码，仍然应该显式传参。

package main

import "fmt"

func printLater(label string) {
	// 这个 defer 在 printLater 返回前执行，label 是本次调用的独立参数。
	defer func(value string) {
		fmt.Println(value)
	}(label)
}

func main() {
	items := []string{"alpha", "beta", "gamma"}
	for _, item := range items {
		// 显式传参把当前 item 绑定到本次闭包调用的 value。
		defer func(value string) {
			fmt.Println("defer", value)
		}(item)
	}

	for _, item := range items {
		// 将循环工作放进小函数，defer 的生命周期就是这一轮调用。
		printLater(item)
	}
}

显式传参的好处是语义不依赖读者对版本规则的记忆：匿名函数的 value 是一次调用的参数，后续循环怎样改变 item 都不会影响它。若确实需要关闭当前变量，也可以在循环体开头写 item := item，但团队代码里通常更推荐参数名清晰的写法。

三个检查点能快速定位错值

检查点一：defer 后面是不是直接调用

看到 defer fn(i)，先按“参数已保存”理解；看到 defer func() { use(i) }()，先按“执行时读取”理解。不要因为两者最后都带括号，就认为它们的变量行为相同。

检查点二：闭包是否会活到循环之后

如果闭包被放进 defer 栈、goroutine、回调集合或返回值，循环变量就可能在闭包真正读取前继续变化。最稳妥的修复是把当前值改成匿名函数参数；这同时适用于同步和异步代码。

检查点三：defer 是每轮清理还是整个函数清理

循环里反复打开文件、响应体或锁时，不要只把 Close 放进大函数的 defer。每轮调用一个小函数，让小函数在本轮结束时返回，才能让资源及时释放；若只是收集少量无副作用的收尾动作，再使用循环级 defer，并确认逆序顺序符合预期。

func handleOne(name string) error {
	resource, err := acquire(name)
	if err != nil {
		return err
	}
	// 小函数返回时立即释放本轮资源，不把所有清理推迟到外层函数末尾。
	defer resource.Close()
	return use(resource)
}

func handleAll(names []string) error {
	for _, name := range names {
		// 每轮独立调用，避免资源生命周期跟随整个 handleAll。
		if err := handleOne(name); err != nil {
			return err
		}
	}
	return nil
}

记住这张小表就够了

最后排查时，先看闭包是不是在后面才执行，再看 go.mod 的语言版本，最后确认 defer 所在函数的返回边界。把“值的绑定”和“生命周期的边界”分开看，循环里的错值通常很快就能定位。

相关问题

Go 1.22 以后还要写 item := item 吗？

对于用 := 声明的常见 range 循环，Go 1.22 起每轮变量已经独立；但显式传参仍然更清楚，也能兼容旧模块和预先声明的变量。

为什么 defer 放在循环里没有每轮马上执行？

因为 defer 绑定的是当前函数的返回边界，不是循环体边界。需要每轮释放资源时，把本轮逻辑放进独立函数。