Golang并发数据竞争：闭包捕获解析

本文旨在帮助开发者理解 Golang 并发编程中常见的数据竞争问题，特别是由于闭包捕获外部循环变量而导致的问题。通过分析一个典型的错误示例，我们将深入探讨问题的原因，并提供有效的解决方案，确保并发程序的正确性和可预测性。

在 Golang 的并发编程中，使用 goroutine 可以轻松实现并行执行，但同时也引入了数据竞争的风险。一个常见的数据竞争场景发生在循环中创建 goroutine，并且这些 goroutine 尝试访问循环变量时。让我们通过一个例子来理解这个问题：

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, 1, 2, 3, 4（顺序不一定），但实际运行结果往往是打印多个 5。 为什么会这样呢？

问题根源：闭包捕获

关键在于 goroutine 内部的匿名函数（也称为闭包）捕获了外部循环变量 i。 goroutine 启动时，并没有立即执行 fmt.Println(i)，而是将这个操作放入了等待执行的队列。 当循环结束后，i 的值已经变为 5。 此时，所有 goroutine 在执行 fmt.Println(i) 时，访问的都是同一个 i 变量，其值为 5，因此输出了 5, 5, 5, 5, 5。

解决方案：显式传递参数

要解决这个问题，我们需要确保每个 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)。 这样，每个 goroutine 都会接收到 i 的一个副本，而不是共享同一个变量。 因此，每个 goroutine 都会打印出其创建时的 i 值，从而得到预期的结果。

运行结果

修改后的代码运行结果如下（顺序可能不同）：

0
1
2
3
4

总结与注意事项

在 Golang 并发编程中，需要特别注意闭包对外部变量的捕获。 如果 goroutine 内部需要访问循环变量，务必将其作为参数传递给 goroutine 启动的匿名函数，以避免数据竞争和非预期的结果。 这种显式传递参数的方式，可以确保每个 goroutine 访问的是变量在创建时的值，从而保证程序的正确性和可预测性。

此外，还可以使用 := 在循环体内创建新的变量来解决这个问题，但这本质上也是创建了新的变量副本，与显式传递参数的原理相同。 显式传递参数的方式更加直观和易于理解，因此建议优先使用。

理解闭包捕获的机制，并掌握正确的并发编程技巧，是编写健壮、可靠的 Golang 并发程序的关键。