闭包能长期引用外部变量,根本原因是内部函数定义时就记住了词法环境并持续持有引用;只要内部函数存在,引擎就不会回收其依赖的外部变量。

闭包能保持对外部作用域变量的长期引用,根本原因不是“复制”或“快照”,而是内部函数在定义时就记住了变量所在的词法环境,并持续持有对这些变量的引用。只要这个内部函数还存在(比如被赋值给变量、作为回调保存、被对象属性引用),JavaScript 引擎就不会回收它所依赖的外部变量。
词法作用域决定“能访问谁”
函数的作用域在代码写好时就固定了,跟它在哪调用无关。内部函数写在外部函数体内,就天然绑定外部函数的词法环境。引擎会在函数创建时,为其建立一个作用域链,把外部变量的引用存进闭包环境里。
- 变量查找是静态的:执行时按作用域链逐级向上找,不是运行时动态决定
- 哪怕外部函数早已返回,只要内部函数没被销毁,它的作用域链依然有效
- 没被内部函数实际使用的外部变量,不会进入闭包,会被正常回收
垃圾回收机制决定“为什么留得住”
通常函数执行完,其执行上下文和局部变量会立刻被垃圾回收。但闭包打破了这一规则——因为内部函数还在引用那些变量,引擎判定它们“仍被使用”,所以保留对应内存。
- 变量不是“永久存活”,而是和闭包函数共存亡:闭包函数被设为 null 或脱离所有引用后,变量才可能被回收
- 多个闭包可以共享同一个外部变量(如循环中返回多个函数操作同一 count)
- 变量是引用,不是值:外部变量后续被修改,所有闭包看到的都是最新值
必须满足的三个结构条件
不是所有嵌套函数都会形成有效闭包。只有同时满足以下三点,变量才能被真正“留住”:
立即学习“Java免费学习笔记(深入)”;
- 函数嵌套:内部函数定义在外部函数内部
- 实际引用:内部函数体中读取或修改了外部函数的局部变量(或参数)
- 逃逸出作用域:外部函数返回该内部函数,或将其赋值给全局/长期存活的对象属性等
缺一不可。例如只在内部调用一次 inner() 而不返回,外部变量仍会随 outer 执行结束而释放。
let/const 与 var 的行为差异
变量声明方式直接影响闭包捕获的内容:
- let/const:块级作用域,每次循环迭代都新建绑定 → 每个闭包拿到各自独立的变量副本
- var:函数作用域,所有迭代共享同一个变量 → 多个闭包共用一个变量,容易导致意外覆盖(如 for + setTimeout 全输出最后一个值)
这也是为什么现代代码推荐用 let 替代 var 来配合闭包,尤其在定时器、事件监听等异步场景中。


















