Go by Example 中文版中WaitGroups示例的闭包变量捕获问题分析

在Go语言并发编程中，WaitGroups是常用的同步机制之一。Go by Example中文版中的WaitGroups示例代码展示了一个常见的并发模式，但其中包含了一行看似多余但实际上非常重要的代码。

问题现象

在示例代码的循环结构中，出现了以下代码片段：

for i := 1; i <= 5; i++ {
    wg.Add(1)
    
    i := i  // 这行代码的作用
    
    go func() {
        defer wg.Done()
        worker(i)
    }()
}

初学者可能会疑惑这行i := i的作用，认为它是多余的。实际上，这行代码在Go 1.22版本之前对于保证并发安全至关重要。

技术背景

在Go语言中，闭包会捕获外部作用域的变量。在循环中使用goroutine时，所有goroutine共享同一个循环变量实例。如果不进行特殊处理，可能会导致以下问题：

1. 数据竞争：多个goroutine同时访问同一个变量
2. 不确定的结果：goroutine启动时变量可能已被修改

解决方案分析

i := i这行代码创建了一个新的局部变量，每个循环迭代都会创建一个新的变量实例。这样每个goroutine捕获的都是自己独立的变量副本，避免了共享变量带来的问题。

在Go 1.22版本之前，这是处理循环中闭包变量的标准做法。从Go 1.22开始，语言规范修改了循环变量的行为，使得每次迭代都会自动创建新的变量实例，因此这行代码在Go 1.22及以后版本中可以安全地移除。

最佳实践建议

1. 对于使用Go 1.22及以上版本的项目，可以直接删除这行代码
2. 对于需要兼容旧版本的项目，建议保留这行代码
3. 另一种替代方案是将变量作为参数传递给goroutine：

go func(i int) {
    defer wg.Done()
    worker(i)
}(i)

总结

理解闭包变量捕获机制对于编写正确的并发代码至关重要。Go by Example中文版中的这个示例展示了早期Go版本中处理循环闭包变量的典型模式。随着语言的发展，这种模式在较新版本中已经不再必要，但了解其背后的原理仍然有助于深入理解Go的并发模型。