在 Go 循环中创建闭包时，若直接引用循环变量（如 i），所有闭包会共享同一变量地址，导致最终都读取到循环结束时的值；通过 i := i 在每次迭代中创建新变量副本，可确保每个闭包捕获独立、不变的值。
在 go 循环中创建闭包时，若直接引用循环变量（如 `i`），所有闭包会共享同一变量地址，导致最终都读取到循环结束时的值；通过 `i := i` 在每次迭代中创建新变量副本，可确保每个闭包捕获独立、不变的值。
这是 Go 开发中一个经典且极易被忽视的闭包陷阱：循环变量被捕获的是变量本身（内存地址），而非其某次迭代的值。
在你的示例中，for i := 0; i
而加入 i := i 后，发生了关键变化：
✅ 每次循环迭代都会在当前作用域内声明并初始化一个全新的局部变量 i（类型推导为 int）；
✅ 该新 i 仅在本次迭代内可见，且值固定为当前循环索引；
✅ 匿名函数闭包捕获的是这个每次迭代独立创建的 i 变量，而非外层循环变量；
✅ 因此，6 个闭包分别绑定了 i=0（两次）、i=1（两次）、i=2（两次），输出 (0+0, 0*0, 1+1, 1*1, 2+2, 2*2) → (0, 0, 2, 1, 4, 4)？等等——注意：实际 Handle(n) 中传入的是 n（索引 0~5），所以计算为：
- 第一对（i=0）：0+0=0, 0*0=0
- 第二对（i=1）：1+1=2, 1*1=1？但原输出是 (0,0,3,3,6,10) ——重新核对逻辑：
elems 共 6 个元素，按顺序插入：
- i=0 → elem₀（加法）、elem₁（乘法）
- i=1 → elem₂（加法）、elem₃（乘法）
- i=2 → elem₄（加法）、elem₅（乘法）
调用时 e.Handler.Handle(n)，n 是 elems 的索引（0 到 5）：
- elem₀: i=0, v=0 → 0+0 = 0
- elem₁: i=0, v=1 → 0*1 = 0
- elem₂: i=1, v=2 → 1+2 = 3
- elem₃: i=1, v=3 → 1*3 = 3
- elem₄: i=2, v=4 → 2+4 = 6
- elem₅: i=2, v=5 → 2*5 = 10
→ 正确输出 (0, 0, 3, 3, 6, 10)。
这清晰印证了 i := i 成功为每个闭包固化了对应迭代的 i 值。
✅ 推荐解决方案（按优先级）
-
显式变量重声明（最常用）
for i := 0; i < 3; i++ { i := i // 创建新绑定 newElem(func(v int) { fmt.Printf("%d, ", i+v) }) newElem(func(v int) { fmt.Printf("%d, ", i*v) }) } -
将闭包逻辑提取为带参数的立即调用函数
for i := 0; i < 3; i++ { newElem(func(i int) handlerFunc { return func(v int) { fmt.Printf("%d, ", i+v) } }(i)) newElem(func(i int) handlerFunc { return func(v int) { fmt.Printf("%d, ", i*v) } }(i)) } -
使用传统 for 循环 + 索引切片（适用于已知数据源）
indices := []int{0, 1, 2} for _, i := range indices { newElem(func(v int) { fmt.Printf("%d, ", i+v) }) newElem(func(v int) { fmt.Printf("%d, ", i*v) }) }
⚠️ 注意事项：
- 此问题在 go run 和 go build 下行为一致，与编译器优化无关，是 Go 语言规范定义的词法作用域行为；
- goroutine 场景下同样适用（如 go func(){...}() 中直接引用 i），且后果更隐蔽（竞态难调试）；
- 不要误以为 &i 取地址或 *(&i) 解引用能解决——闭包捕获的是变量标识符，不是值也不是指针。
掌握这一机制，不仅能写出正确的闭包代码，更是理解 Go 作用域与变量生命周期的关键一步。
