本文详解 go 并发编程中变量共享的核心机制，重点剖析 for 循环中 goroutine 捕获循环变量的常见陷阱，通过内存地址验证、竞态检测和参数传递三种方式，说明如何安全、可靠地在 goroutine 间传递变量值。
本文详解 go 并发编程中变量共享的核心机制，重点剖析 for 循环中 goroutine 捕获循环变量的常见陷阱，通过内存地址验证、竞态检测和参数传递三种方式，说明如何安全、可靠地在 goroutine 间传递变量值。
在 Go 中，goroutine 之间不直接“共享变量”，而是通过显式传递值或使用同步原语保护共享内存来协作。初学者常误以为 goroutine 会自动捕获循环变量的“当前值”，实则它们捕获的是变量的内存地址（引用）——这正是两类代码行为差异的根本原因。
? 问题本质：闭包捕获的是变量，而非值
第一段代码中：
for i := 0; i < 5; i++ {
wg.Add(1)
x := i // 每次迭代创建新变量 x（栈上独立分配）
go func() {
defer wg.Done()
fmt.Println(x) // 闭包捕获的是该次迭代的 x 的副本地址
}()
}x := i 在每次循环中声明一个新的局部变量 x，Go 为每个 x 分配独立的内存地址（可通过 &x 验证）。因此每个 goroutine 实际访问的是各自专属的 x 副本，输出 0–4（顺序不定，但值正确）。
而第二段代码：
for i := 0; i < 5; i++ {
wg.Add(1)
go func() {
defer wg.Done()
fmt.Println(i) // ❌ 所有 goroutine 共享同一个 i 变量！
}()
}i 是 for 循环的单一变量，其内存地址在整个循环中不变。所有 goroutine 的闭包都捕获了这个 i 的地址。当循环快速结束（i 最终变为 5），goroutines 才陆续执行，读取到的几乎总是 i == 5 —— 这就是典型的数据竞争（Data Race）。
运行 go build -race && ./program 会明确报出：
WARNING: DATA RACE
Read at 0x... by goroutine 6:
main.main.func1()
...
Previous write at 0x... by main goroutine:
main.main()
...✅ 正确做法：三种安全传值方式
方式 1：显式传参（推荐 ✅）
将循环变量作为参数传入匿名函数，确保每个 goroutine 拥有独立副本：
for i := 0; i < 5; i++ {
wg.Add(1)
go func(val int) { // 参数 val 是 i 的拷贝
defer wg.Done()
fmt.Println(val)
}(i) // 立即调用，传入当前 i 值
}✅ 无竞态、语义清晰、性能高效（仅一次整数拷贝）。
方式 2：循环内声明局部变量（等效 ✅）
如第一段代码，用 x := i 创建新变量，本质是为每次迭代提供独立作用域：
for i := 0; i < 5; i++ {
wg.Add(1)
x := i // 显式绑定当前值
go func() {
defer wg.Done()
fmt.Println(x)
}()
}✅ 安全，但不如传参直观；适用于需在 goroutine 内多次引用该值的场景。
方式 3：使用 sync.Mutex / channels（适用于真正共享状态）
若需多个 goroutine 协同修改同一变量（如计数器），必须加锁或通过 channel 通信：
// ✅ 使用互斥锁保护共享变量
var counter int
var mu sync.Mutex
for i := 0; i < 5; i++ {
wg.Add(1)
go func() {
defer wg.Done()
mu.Lock()
counter++
mu.Unlock()
}()
}
// ✅ 或更地道的 Go 风格：用 channel 汇总结果
ch := make(chan int, 5)
for i := 0; i < 5; i++ {
go func(val int) {
ch <- val * 2 // 处理后发送
}(i)
}
for j := 0; j < 5; j++ {
fmt.Println(<-ch)
}⚠️ 关键注意事项
- 永远不要在 goroutine 闭包中直接引用 for 循环变量（如 i），除非你明确需要其最终值。
- go build -race 是检测竞态的必备工具，开发阶段务必启用。
- Go 的 := 声明在循环内每次都会创建新变量（作用域为本次迭代），这是 Go 1.22+ 的规范行为，也是上述 x := i 安全的底层保障。
- 闭包捕获的是变量的地址，不是值 —— 这一原则适用于所有 Go 版本。
掌握变量绑定时机与内存模型，是写出健壮并发 Go 代码的第一步。记住：并发安全 = 明确所有权 + 显式通信/同步。
