Go 在 for 循环中启动 goroutine 时，若匿名函数直接引用循环变量（如 i），所有 goroutine 会共享同一变量地址，最终打印出循环结束后的终值（如 6），根本原因在于闭包按引用捕获变量而非值。
go 在 for 循环中启动 goroutine 时，若匿名函数直接引用循环变量（如 `i`），所有 goroutine 会共享同一变量地址，最终打印出循环结束后的终值（如 `6`），根本原因在于闭包按引用捕获变量而非值。
在 Go 并发编程中，一个高频且隐蔽的陷阱是：在 for 循环中直接于匿名函数内使用循环变量。以下代码看似直观，实则暗藏风险：
func main() {
var wg sync.WaitGroup
for i := 1; i <p>运行结果并非预期的 1 2 3 4 5（顺序可能不同），而是 <strong>6 6 6 6 6</strong> ——即使 i 的合法取值范围是 1–5，最终却输出了 6。</p><h3>? 为什么会这样？</h3><p>关键在于 Go 闭包的<strong>变量捕获机制</strong>：<br>
✅ Go 的匿名函数形成闭包时，<strong>捕获的是变量的内存地址（引用）</strong>，而非创建瞬间的值；<br>
✅ for i := 1; i 单个变量，在整个循环生命周期内复用其内存位置；<br>
✅ 循环执行极快，而 goroutine 的调度存在延迟——当它们真正开始执行时，外层 for 循环早已结束，此时 i 已自增为 6（因 i
✅ 所有 goroutine 中的 fmt.Println(i) 读取的，都是这个<strong>已稳定为 6 的同一内存地址</strong>。</p><blockquote><p>? 这不是竞态（race）或 bug，而是 Go 语言设计使然：闭包绑定变量引用，以支持状态共享与延迟求值。问题根源在于<strong>未意识到“变量复用”与“执行延迟”的叠加效应</strong>。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/ai/1955" title="Giiso写作机器人"><img
src="https://img.php.cn/upload/ai_manual/001/246/273/68b6d1b886fb3506.png" alt="Giiso写作机器人" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/ai/1955" title="Giiso写作机器人" class="overflowclass">Giiso写作机器人</a>
<p class="overflowclass">一款面向中文内容生产的AI写作工具，可辅助完成新闻资讯、文章和营销等多类型文本创作，提高日常内容编辑效率。</p>
</div>
<a rel="nofollow" href="/ai/1955" title="Giiso写作机器人" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div></blockquote><h3>✅ 正确解决方案（两种等效方式）</h3><h4>方案一：循环内声明同名局部变量（推荐，简洁清晰）</h4><pre class="brush:php;toolbar:false;">for i := 1; i <h4>方案二：将变量作为参数传入匿名函数（显式、语义明确）</h4><pre class="brush:php;toolbar:false;">for i := 1; i <p>两种方案本质相同：<strong>切断闭包对外层循环变量的引用链，确保每个 goroutine 持有独立的值副本</strong>。</p><h3>⚠️ 注意事项与最佳实践</h3>
- 不要依赖 runtime.GOMAXPROCS 或 time.Sleep “修复”此问题：它们无法改变变量捕获语义，仅掩盖症状；
- Go 1.22+ 对 for range 有优化：for _, v := range slice { v := v } 可省略显式复制（但传统 for init; cond; post 仍需手动处理）；
- 多变量场景统一处理：若需捕获 i, name, data 等多个变量，建议封装为结构体或统一用局部副本，避免混合引用与值语义；
- 静态检查辅助：启用 go vet 或 staticcheck（如 SA9003: loop variable captured by func literal）可自动检测此类问题；
- 生命周期意识：被闭包捕获的变量会延长其生命周期（直到闭包不可达），不当使用可能导致内存泄漏。
? 总结
Go 的闭包按引用捕获变量是其函数式能力的基础，但也是并发陷阱的温床。理解 i := i 这行看似冗余的代码背后，是对 Go 内存模型与执行模型的深刻把握。在循环启动 goroutine 时，养成“显式创建值副本”的肌肉记忆，是编写健壮、可维护并发代码的第一道防线。
