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

先来看一个经典问题:在循环中创建闭包,结果所有闭包都输出了同一个最终值。这背后的核心机制其实很明确——闭包捕获的是变量的引用,而非创建瞬间的值。只要被捕获的变量地址没变,后续读取到的就永远是它的最新状态。这个原理在 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,选择哪种,往往取决于你的目标运行环境和代码风格偏好。
