如何避免闭包在循环中引用同一变量导致的逻辑错误

闭包在循环中引用同一变量：从陷阱到解决方案

先来看一个经典问题：在循环中创建闭包，结果所有闭包都输出了同一个最终值。这背后的核心机制其实很明确——闭包捕获的是变量的引用，而非创建瞬间的值。只要被捕获的变量地址没变，后续读取到的就永远是它的最新状态。这个原理在 Ja vaScript 和 Go 语言中惊人地一致，但解决路径却因语言设计而大不相同。更值得警惕的是，即便你只在循环里“读取”变量而不修改它，这个陷阱依然存在。

Ja vaScript 中 for 循环里用 var 声明变量会出什么问题

问题现象非常典型：所有闭包都共享同一个 i 变量。循环跑完后，i 已经变成了终值（比如 3）。这时候，无论你在 setTimeout、事件回调还是函数数组里调用这些闭包，它们输出的清一色都是 3。

根源出在哪儿？var 是函数作用域，整个循环体其实共享着同一个 i 的绑定。而闭包呢，它抓住的是这个变量的“活链接”，而不是某个时刻的“静态快照”。

• 常见错误现象：console.log(i) 在异步回调中整齐划一地输出最终值。
• 典型使用场景：注册多个定时器、为一批元素绑定事件、或者构建一个函数数组。
• 性能影响：倒不会产生额外开销，但程序逻辑会完全错乱，这可比性能问题严重多了。

Go 语言中 for range 的变量复用陷阱

Go 语言里的循环变量（比如 i 或 s）在每次迭代中并不会新建内存地址，它只是简单地更新同一块内存里的值。这就导致了一个结果：所有在循环内创建的闭包（包括常见的 go func() { ... }()）都指向了同一块内存。最终，它们读到的全是循环结束时的那个值。

举个例子：for _, s := range []string{"a", "b", "c"} { funcs = append(funcs, func() { println(s) }) } 执行后，会输出三个 c，而不是预期的 a, b, c。

• 关键区别：Go 没有块级作用域的概念，所以 Ja vaScript 里用 let 解决的那套方法在这里不适用。
• 正确做法：在循环体内加一行 s := s，这能强制为每次迭代创建一个新的变量绑定。
• goroutine 场景同样适用——用 go func(s string) { println(s) }(s) 传递参数也行，但相比之下，在循环内使用短变量声明（s := s）通常更简洁。

为什么 forEach 和 map 能绕过这个问题

这要归功于它们的工作机制：每次执行回调函数，都会进入一个全新的函数作用域，并且传入的参数是当次迭代的独立值。这种设计天然就实现了变量隔离。

比如这段代码：[0,1,2].forEach(i => setTimeout(() => console.log(i), 100))，输出结果就是清晰有序的 0、1、2。

• 适用前提：你的目标就是遍历数组，并且可以接受改用高阶函数的方式。
• 注意点：这个方法对类数组对象或者 for in 循环不适用；它也不能解决 for of 或原生 for 循环中的类似问题。
• 兼容性：ES5 及以上环境都支持，但在一些非常古老的环境里可能需要 polyfill，或者退回到我们马上要讲的 IIFE 方案。

立即执行函数（IIFE）在 ES5 环境下的实操写法

IIFE 的本质，就是手动打造一个新的作用域。把当前循环变量的值作为参数传进去，这样闭包捕获的就是这个参数副本，而不是外部那个一直在变的变量本身。

标准写法长这样：(function(j) { setTimeout(() => console.log(j), 100); })(i)。

• 必须使用 function 声明，因为箭头函数无法形成独立的作用域。
• 参数名（比如 j）最好和循环变量名区分开，避免意外遮蔽造成混淆。
• 现代代码中已较少使用，除非项目有明确要求需要支持 IE8/9 这类老版本浏览器。

说到底，理解闭包捕获的是“变量绑定”而非“值快照”，是避开这类陷阱的关键。不同的语言和语法提供了不同的解决方案，从 Go 的 s := s，到 Ja vaScript 的 let、高阶函数，再到经典的 IIFE，选择哪种，往往取决于你的目标运行环境和代码风格偏好。