Go 中 goroutine 循环捕获切片的常见陷阱与深拷贝解决方案-Golang-PHP中文网

Go 中 goroutine 循环捕获切片的常见陷阱与深拷贝解决方案

在 go 的循环中启动 goroutine 时，若直接传递引用类型（如切片）变量，可能因底层底层数组被后续迭代覆盖而导致所有 goroutine 读取到错误或一致的旧值——本质是共享底层数组引发的数据竞争。

在 go 的循环中启动 goroutine 时，若直接传递引用类型（如切片）变量，可能因底层底层数组被后续迭代覆盖而导致所有 goroutine 读取到错误或一致的旧值——本质是共享底层数组引发的数据竞争。

这个问题的核心在于 Go 切片的内存模型：切片本身是轻量级结构体（包含指针、长度、容量），其数据存储在底层数组中。在您的代码中，Combinations 函数内部复用同一个底层数组 s 来生成每组组合，并通过 emit(s) 将切片 s 传入回调函数。虽然每次调用 emit 时 c 看似是“新”切片，但它始终指向同一块底层数组内存。

关键时间线如下：

Combinations 在递归结束后，将 s 的所有元素设为 5（即 n-1，因 totalHashFields = 6）；
所有 go func(c []int) { ... }(c) 的 goroutine 实际上是在 Combinations 完全退出后才开始执行；
此时 s 已被彻底覆盖，而 c 的底层数组正是 s，因此所有 goroutine 打印出 [5 5 5] 或 [5 5 5 5 5 5] ——并非传参失败，而是数据已被覆盖。

✅ 正确做法：在启动 goroutine 前，对切片进行深拷贝（deep copy），即分配新底层数组并复制元素：

Golang Uber Dig

使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等

下载

Combinations(totalHashFields, i, func(c []int) {
    fmt.Println("Outside goroutine:", c)
    // 创建独立底层数组的副本
    cpy := make([]int, len(c))
    copy(cpy, c)
    go func(c []int) {
        fmt.Println("Inside goroutine:", c)
    }(cpy)
})

⚠️ 注意事项：