Go by Example 项目中关于WaitGroups的闭包变量捕获问题解析

引言

在Go语言并发编程中，WaitGroups是一个常用的同步机制，用于等待一组goroutine完成工作。在gobyexample项目的WaitGroups示例代码中，曾经存在一个看似多余但实际上非常重要的代码行，这行代码涉及Go语言中闭包变量捕获的微妙问题。

问题现象

在早期的WaitGroups示例代码中，循环创建goroutine时有这样一段代码：

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

这段代码中，i := i这行看起来像是重复声明，但实际上它解决了Go语言中一个常见的并发陷阱。

技术背景

在Go 1.22版本之前，循环变量在闭包中的行为是这样的：

1. 循环变量i在每次迭代中会被重用
2. goroutine创建时捕获的是变量的引用而非值
3. 当goroutine真正执行时，循环可能已经继续，i的值已经改变

这意味着如果不使用i := i这行代码，所有goroutine可能会使用相同的i值（通常是循环结束时的值），而不是创建goroutine时的值。

解决方案分析

i := i这行代码实际上创建了一个新的局部变量，每个循环迭代都有自己的i副本。这样，当goroutine执行时，它捕获的是这个局部变量的值，而不是循环变量的引用。

这种模式在Go 1.22之前的代码中非常常见，是处理循环中创建goroutine的标准做法。

Go 1.22的改进

从Go 1.22版本开始，语言规范修改了循环变量的行为：

1. 每次迭代都会创建新的循环变量实例
2. 闭包捕获的是当前迭代的变量值
3. 不再需要额外的变量声明来避免捕获问题

因此，在Go 1.22及以后的版本中，可以安全地移除i := i这行代码，示例代码也相应进行了简化。

实际开发建议

1. 如果你的项目需要兼容Go 1.21及更早版本，建议保留这种变量捕获模式
2. 如果确定使用Go 1.22+，可以简化代码
3. 在团队开发中，应该统一代码风格，明确使用的Go版本要求

总结

这个看似简单的代码行背后反映了Go语言在并发编程中的一个重要特性演变。理解这种变化不仅有助于编写正确的并发代码，也能让我们更好地把握Go语言的设计哲学和发展方向。随着Go语言的不断演进，类似的简化会越来越多，但理解其背后的原理仍然至关重要。