本文详解 Go 循环中直接闭包捕获循环变量（如 i, j）引发的竞态行为——goroutine 实际读取的是变量最终值而非迭代快照，导致输出错乱；核心问题与互斥锁无关，而在于变量作用域与生命周期的误用。

本文详解 go 循环中直接闭包捕获循环变量（如 `i`, `j`）引发的竞态行为——goroutine 实际读取的是变量最终值而非迭代快照，导致输出错乱；核心问题与互斥锁无关，而在于变量作用域与生命周期的误用。

在 Go 中，当在 for 循环内启动 goroutine 并直接引用循环变量（如 i 或 j）时，这些变量并非按每次迭代独立复制，而是被所有 goroutine 共享同一内存地址。由于 goroutine 是异步调度执行的，而循环本身运行极快，往往在 goroutine 真正开始执行前，外层循环早已结束——此时 i 和 j 已达到终值（i = 5, j = 5），导致大量 goroutine 打印出 5 这样的“越界”值。

以原代码为例：

for i := 1; i 

• i 最终为 5（循环条件 i 失败后退出，<code>i 值仍为 5）；
• j 同样在内层循环末次递增后变为 5，随后循环终止；
• 所有 goroutine 在后续执行时读取的都是这个“过期”的 i=5、j=5，或因调度时机不同读取到中间状态（如 i=4, j=5），造成输出中出现 2 + 5 = 7、3 + 5 = 8 等非预期组合；
• 同时，因 i 和 j 变量被快速覆盖，部分 goroutine 甚至来不及执行就被覆盖，导致 i=1 仅输出 3 行（而非预期的 4 行），本质是竞态下的执行丢失。

✅ 正确做法是：将当前迭代的变量值显式传入 goroutine，通过函数参数实现值拷贝，确保每个 goroutine 拥有独立、确定的副本：

package main

import (
    "fmt"
    "sync"
)

func main() {
    var mutex sync.Mutex // 推荐使用零值初始化，更符合 Go 习惯

    for i := 1; i <p>? 关键要点总结：</p>

• Mutex 不解决变量捕获问题：sync.Mutex 仅保护临界区并发访问，无法约束闭包对共享变量的读取时机；
• 循环变量是单一实例：Go 中 for 的 i, j 在整个循环中复用同一内存位置，不是每次迭代新建；
• 参数传递即快照：go func(i,j int){...}(i,j) 中，i,j 作为参数被复制进新 goroutine 栈帧，完全隔离；
• 务必同步等待：示例中缺少同步机制，真实代码需配合 sync.WaitGroup 阻塞主 goroutine，否则程序可能在 goroutine 打印前就退出。

遵循“显式传参”原则，即可彻底规避循环内 goroutine 的变量捕获陷阱，写出可预测、线程安全的并发代码。