Go 闭包捕获循环变量怎样避免值错乱

Go 闭包捕获循环变量时，真正需要先确认的是项目使用的语言版本，以及循环变量究竟在哪里声明。Go 1.22 以后，使用 := 声明的 for 循环变量会为每次迭代创建新变量；旧模块或循环外复用的变量仍然可能被多个闭包共同引用。

最稳妥的判断方法是：Go 1.22+ 且变量在循环声明中时，可以直接捕获；需要兼容旧模块、变量在循环外声明，或代码要表达得更明确时，把当前值作为匿名函数参数传入。

官方依据：https://go.dev/doc/go1.22。下面只讨论循环变量、闭包和延迟执行之间的值绑定关系。

先看闭包为什么会拿到错的值

闭包保存的是变量，而不是在创建瞬间自动复制变量的当前值。旧语义下，range 循环可能反复更新同一个变量；如果闭包等到循环结束后才执行，它们看到的就可能都是最后一次更新后的值。

package main

import (
    "fmt"
    "sync"
)

func main() {
    names := []string{"北京", "上海", "广州"}
    var wg sync.WaitGroup

    for _, name := range names {
        wg.Add(1)
        go func() {
            defer wg.Done() // 确保每个异步任务都能释放等待计数
            fmt.Println(name) // 闭包读取循环变量，而不是一个显式参数
        }()
    }

    wg.Wait() // 等待所有闭包完成，避免主函数提前退出
}

在 Go 1.21 及更早的典型语义中，上面的闭包可能都读到最后一个城市；在 Go 1.22 的对应模块语义中，循环声明的变量按迭代独立创建，风险被消除。这个变化只针对循环声明出来的变量，不能推导成“所有闭包捕获都安全”。

Go 1.22+ 可以直接捕获，但先看 go.mod

Go 1.22 的发布说明明确改变了 for 循环变量的创建方式。项目要把这种语义作为代码契约，至少要确认模块声明已经进入 Go 1.22 语言版本范围：

module example.com/closure-demo

go 1.22 // 使用 Go 1.22 的循环变量语义

在这种前提下，下面的直接捕获就是自然写法：

for _, name := range names {
    name := name // 兼容阅读习惯：显式标出本轮要绑定的值
    go func() {
        fmt.Println(name) // 每个闭包绑定当前迭代的 name
    }()
}

这里的内层同名声明不是必须的，但它把“当前值属于本轮闭包”写得很直观。若团队还要支持 Go 1.21 或更早版本，不能只凭本机 Go 版本判断；应以项目的模块版本和实际构建链为准。

旧模块里最稳妥的写法是显式传值

如果代码需要跨版本编译，或者回调会保存很久，最不容易误读的写法是给匿名函数增加一个参数，并在创建闭包时立即传入当前值：

for _, name := range names {
    go func(current string) {
        fmt.Println(current) // current 是本次调用自己的参数副本
    }(name) // 创建闭包时立即把本轮 name 传进去
}

参数传值把循环变量和闭包内部变量分成了两层：循环继续更新 name，闭包只读取自己的 current。这对 goroutine、定时任务和保存到切片里的回调都适用。

也可以在循环体内创建副本，再让闭包捕获副本：

for _, name := range names {
    current := name // 每轮创建独立副本，避免依赖外层变量的复用方式
    callbacks = append(callbacks, func() string {
        return current // 回调只读取属于本轮的副本
    })
}

参数传值更适合 goroutine 和立即构造的函数调用；循环体副本更适合需要把回调收集起来、稍后统一调用的场景。

四个容易误判的边界

尤其要注意下面这种写法，它把变量声明放到了循环外：

var name string
for _, name = range names {
    callbacks = append(callbacks, func() string {
        return name // 多个回调仍然读取同一个循环外变量
    })
}

即使项目使用 Go 1.22，也不要把这类代码当成“每轮自动复制”。发现变量在循环外声明时，直接改成显式参数或当前值副本即可。

相关问题

只启动 goroutine 才会有这个问题吗？

不是。只要闭包不是在创建点立即读取，而是被保存到回调切片、定时器、事件处理器或其他延迟执行载体中，就应该检查它捕获的是变量还是独立值。

升级到 Go 1.22 后还要保留参数传值吗？

新模块中，循环声明变量的直接捕获通常已经符合新语义；但跨版本库、循环外变量、取地址和需要强调值边界的代码，保留显式传值仍然更清楚，也更容易让维护者快速看懂。