闭包是函数与其创建时词法环境的组合,使内部函数能访问外部变量;其本质是堆中环境记录被[[environment]]引用而驻留,与执行上下文栈无关。

函数的执行环境,本质是 JavaScript 引擎为每段可执行代码动态创建的“运行容器”,而执行上下文栈(ECStack)就是管理这些容器进出的机制——它不保存变量,也不延长生命周期,只负责调度谁正在运行、谁该退场。
ECStack 是个纯调度队列,不是变量仓库
每次函数调用,引擎都会新建一个执行上下文(含 LexicalEnvironment、VariableEnvironment、ThisBinding 等引用),并把它压入 ECStack 顶端;函数返回时,这个上下文立即弹出销毁。整个过程极快,栈帧不留痕。
- 全局上下文始终在栈底,浏览器关闭前不会出栈
- 函数上下文只存在“执行中”那一小段时间,return 后立刻消失
- 栈里存的不是变量值,而是指向堆内存中词法环境对象的引用
- 所谓“变量还在”,是因为闭包通过 [[Environment]] 持有堆中环境记录,和栈无关
变量实际存在堆里,不是栈上“卡住”了
很多人误以为闭包让变量“留在栈上”,这是错的。outer 函数执行完,它的执行上下文早已出栈销毁;但其中声明的 let x = 10 实际存储在堆内存的环境记录中,只要 inner 函数还活着,inner.[[Environment]] 就一直指向那个堆位置。
- var / let / const 声明的变量,在闭包场景下都表现为堆中绑定,区别只在初始化时机和作用域规则
- 多个闭包(如 inc 和 get)可共享同一堆环境记录,修改其中一个,另一个立刻可见
- 如果变量是对象,所有闭包访问的是同一个内存地址,不是副本
ECStack 和闭包生命周期没有因果关系
ECStack 决定函数何时开始、何时结束;而闭包能否持续访问外层变量,完全取决于堆中词法环境记录是否被垃圾回收——只要至少一个函数对象通过 [[Environment]] 引用它,它就驻留堆中。
- 没有闭包引用 → 环境记录变垃圾 → 下次 GC 释放
- 哪怕只把闭包赋给一个全局变量,整个外层环境记录就长期存活
- 递归调用会生成多个执行上下文,但每个都独立入栈出栈,互不影响
调试时怎么看 ECStack?
打开 Chrome DevTools,切换到 Sources 面板,设断点后看右侧 Call Stack 区域:最上面是当前正在执行的函数上下文,往下依次是调用链,最底部是 anonymous(全局上下文)。这里显示的就是实时 ECStack 状态。
- 箭头指向的函数即栈顶上下文,正在执行
- 点击某一层可查看其作用域(Scope)面板,看到当前词法环境中的变量绑定
- 注意:Scope 显示的是堆中环境记录的快照,不是栈帧内容











