本文深入探讨了Go语言并发编程中常见的数据竞争问题，特别是循环变量在goroutine中引用时可能出现的陷阱。通过分析一个典型的示例，解释了为何在循环中创建goroutine时，直接引用循环变量会导致所有goroutine访问到相同的最终值，并提供了正确的解决方案，即通过将循环变量作为参数传递给goroutine，确保每个goroutine拥有独立的变量副本。
在Go语言的并发编程中，数据竞争是一个需要特别关注的问题。它指的是多个goroutine并发访问同一块内存，并且至少有一个goroutine试图修改该内存，而没有采用适当的同步机制，导致程序行为出现不可预测的结果。本文将通过一个具体的例子，分析数据竞争产生的原因以及如何避免它。
考虑以下Go程序：
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
wg.Add(5)
for i := 0; i < 5; i++ {
go func() {
fmt.Println(i)
wg.Done()
}()
}
wg.Wait()
}这段代码的预期行为是在控制台输出0到4这五个数字，顺序不一定。然而，实际运行的结果往往是输出多个5，或者其他非预期的数字。这就是数据竞争导致的。
原因分析
问题在于goroutine中引用的变量 i 来自于外部循环的作用域。当 go func() 被执行时，它并没有立即执行，而是被放入调度队列等待执行。当goroutine真正开始执行时，外部循环可能已经执行完毕，此时 i 的值已经变成了5。因此，所有的goroutine都访问到了同一个 i 变量，并且这个变量的值是5，导致输出结果不符合预期。
解决方案：将循环变量作为参数传递给goroutine
为了解决这个问题，我们需要确保每个goroutine都拥有 i 变量的独立副本。一种常用的方法是将 i 作为参数传递给goroutine：
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
wg.Add(5)
for i := 0; i < 5; i++ {
go func(i int) {
fmt.Println(i)
wg.Done()
}(i)
}
wg.Wait()
}在这个修改后的版本中，我们将 i 作为参数传递给匿名函数 func(i int)。当 go func(i int){}(i) 执行时，会将当前循环的 i 值复制一份，传递给匿名函数内部的 i 变量。这样，每个goroutine都拥有了自己的 i 变量，避免了数据竞争。
运行结果
修改后的代码可以正确输出0到4这五个数字，顺序不确定，但不会出现重复输出5的情况。
注意事项
- 务必理解goroutine的执行时机，它与创建goroutine的代码的执行顺序可能不同。
- 在循环中创建goroutine时，要特别注意循环变量的作用域问题。
- 将循环变量作为参数传递给goroutine是避免数据竞争的常用方法。
- 除了将循环变量作为参数传递，还可以通过在循环内部创建新的变量来解决这个问题，但传递参数通常更简洁明了。
总结
理解Go语言并发编程中数据竞争的原因，并掌握避免数据竞争的方法是编写健壮并发程序的基础。通过本文的分析，希望读者能够对循环变量在goroutine中的使用有更深入的理解，并能够在实际开发中避免类似的问题。
