本文深入解析go并发编程中常见的“循环变量捕获”问题：为何for循环中直接在goroutine内引用循环变量i会输出重复的6，而非预期的1~5；并系统讲解匿名函数闭包机制、内存模型本质及三种安全解决方案。
本文深入解析go并发编程中常见的“循环变量捕获”问题：为何for循环中直接在goroutine内引用循环变量i会输出重复的6，而非预期的1~5；并系统讲解匿名函数闭包机制、内存模型本质及三种安全解决方案。
在Go并发实践中，一个看似简单却极易踩坑的模式是：在for循环中直接启动多个goroutine，并在其中使用循环变量（如i）。初学者常写出如下代码：
func main() {
var wg sync.WaitGroup
for i := 1; i <= 5; i++ {
wg.Add(1)
go func() {
fmt.Println(i) // ⚠️ 问题所在：所有goroutine共享同一个i变量
time.Sleep(time.Second)
wg.Done()
}()
}
wg.Wait()
}运行结果却令人困惑：输出全部为 6 6 6 6 6，而非期望的 1 2 3 4 5 或其乱序排列。
? 根本原因：闭包捕获的是变量引用，而非值拷贝
Go中的匿名函数（闭包）按引用捕获外部作用域的变量——它持有的是变量i的内存地址，而非某次迭代时的瞬时值。整个for循环在主线程中快速执行完毕（不涉及goroutine调度），当i递增至6时循环终止，此时i
这本质上是Go内存模型中变量生命周期与闭包绑定机制的体现：循环变量i在整个for语句块中仅声明一次，其作用域覆盖整个循环体，因此所有闭包共享该单一实例。
立即学习“go语言免费学习笔记（深入）”；
✅ 正确解决方案（三选一）
方案1：通过参数传值（推荐｜最清晰）
将当前迭代值作为参数传入匿名函数，实现值拷贝：
for i := 1; i <= 5; i++ {
wg.Add(1)
go func(val int) { // val是i在本次迭代的副本
fmt.Println(val)
time.Sleep(time.Second)
wg.Done()
}(i) // 立即传入当前i值
}方案2：在循环体内创建新变量（语义明确）
利用:=在每次迭代中声明新变量，确保每个goroutine绑定独立变量：
for i := 1; i <= 5; i++ {
wg.Add(1)
i := i // 创建同名新变量，遮蔽外层i
go func() {
fmt.Println(i) // 此i是本轮迭代独有的副本
time.Sleep(time.Second)
wg.Done()
}()
}方案3：使用具名函数（适合复杂逻辑）
将逻辑提取为独立函数，自然隔离变量作用域：
func worker(id int, wg *sync.WaitGroup) {
defer wg.Done()
fmt.Println(id)
time.Sleep(time.Second)
}
// 调用处：
for i := 1; i <= 5; i++ {
wg.Add(1)
go worker(i, &wg)
}⚠️ 重要注意事项
- wg.Add()必须在go语句之前调用：否则存在竞态风险（Add与goroutine内部Done调用顺序不可控），应始终遵循“先注册、后启动”原则。
- 避免在goroutine中直接修改未加锁的共享变量：如需累加计数器（x++），必须配合sync.Mutex或sync/atomic，否则将引发read-modify-write竞态（即使wg.Wait()成功返回，结果仍可能错误）。
- 启用竞态检测器：开发阶段务必使用go run -race main.go编译运行，它能自动发现此类闭包引用和数据竞争问题。
总结
Go的闭包设计强调“引用捕获”，这是性能与简洁性的权衡，但要求开发者主动管理变量生命周期。理解i在循环中是单个可变变量，而非每次迭代生成的新实体，是规避此类陷阱的关键。掌握参数传值、局部变量重声明或具名函数三种模式，不仅能解决for+goroutine问题，更能夯实对Go并发内存模型的理解根基——让并发代码既高效，又确定、可预测。
