Go 并发编程中的数据竞争与变量捕获-Golang-PHP中文网

Go 并发编程中的数据竞争与变量捕获

DDD

发布： 2025-10-17 09:32:43

原创

322人浏览过

go 并发编程中的数据竞争与变量捕获

本文旨在解释 Go 语言并发编程中常见的数据竞争问题，并提供一种有效的解决方案。通过分析一个简单的示例程序，我们将深入理解闭包对外部变量的引用方式，以及如何避免因不正确的变量捕获而导致的数据竞争。本文将提供清晰的代码示例和详细的解释，帮助开发者编写更安全、更可靠的并发程序。

在 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()
}

登录后复制

这段代码的意图是启动 5 个 goroutine，每个 goroutine 打印一个不同的数字（0 到 4）。然而，实际运行的结果通常是打印多个 5，而不是期望的 0, 1, 2, 3, 4（顺序可能不同）。

问题根源：闭包与变量捕获

问题的关键在于 goroutine 内部的匿名函数（也称为闭包）如何捕获外部变量 i。在循环中，每个 goroutine 启动时，它并没有立即执行 fmt.Println(i)。相反，它只是创建了一个闭包，该闭包引用了外部变量 i。

当循环结束后，所有 goroutine 开始执行时，它们访问的都是同一个 i 变量，而此时 i 的值已经变成了 5。因此，所有 goroutine 都打印了 5。这就是典型的数据竞争场景。

豆包AI编程

豆包推出的AI编程助手

483

查看详情

解决方案：显式传递参数

为了解决这个问题，我们需要确保每个 goroutine 拥有 i 变量的独立副本。一种简单有效的方法是将 i 作为参数传递给匿名函数：

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 作为参数传递给匿名函数。现在，每个 goroutine 接收到的是 i 的一个副本，而不是共享同一个变量。这样，每个 goroutine 都会打印出它被启动时的 i 的值，从而避免了数据竞争。

代码解释：

go func(i int) { ... }(i)：这行代码定义了一个匿名函数，它接受一个名为 i 的整数参数。括号中的 (i) 表示在启动 goroutine 时，将当前循环中的 i 的值传递给这个匿名函数。
在匿名函数内部，fmt.Println(i) 打印的是传递进来的 i 的值，而不是外部循环中的 i。

注意事项与总结