Go并发编程中的数据竞争：理解循环变量的陷阱-Golang-PHP中文网

Go并发编程中的数据竞争：理解循环变量的陷阱

DDD

发布： 2025-10-16 12:59:22

原创

353人浏览过

go并发编程中的数据竞争：理解循环变量的陷阱

本文深入探讨了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：

豆包AI编程

豆包推出的AI编程助手

483

查看详情

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的情况。

注意事项