闭包使变量在堆中常驻而非被复制，因内层函数活引用外层局部变量，阻止垃圾回收；每次调用外层函数生成独立词法环境，确保闭包实例间变量隔离。
闭包让变量“不消失”，不是因为它被复制了，而是因为执行上下文栈清空后，变量仍被内层函数活引用，从而保留在堆内存中——这是词法作用域 + 引用计数 + 垃圾回收机制共同作用的结果。
执行上下文栈退出 ≠ 变量销毁
普通函数执行完，其执行上下文（EC）会从调用栈弹出，对应的变量对象（VO）本该被回收。但若该函数内部定义的另一个函数（内层函数）被返回并赋值给外部变量，且该内层函数引用了外层函数的局部变量，那么这个局部变量就无法被垃圾回收器释放
- 引擎发现：仍有活跃的闭包函数持有着对它的引用
- 于是变量对象不会被销毁，而是从栈迁移至堆，由闭包的 [[Environment]] 内部槽持续指向
- 注意：不是“复制值”，是保留原始内存地址的引用
闭包的内存拓扑结构：三层嵌套引用链
以 Python 或 JavaScript 中典型闭包为例（如 makeAdder(5)），其内存布局可拆解为：
-
全局环境记录 → 持有
add5函数对象引用 -
add5 函数对象 → 其
[[Environment]] 指向一个<strong>词法环境（LexicalEnvironment）</strong>，该环境包含一个<strong>环境记录（EnvironmentRecord）</strong>
-
环境记录 → 实际存储
x: 5，且该记录生命周期与 <code>add5绑定，驻留堆中
这个结构使变量脱离了原函数执行上下文栈的生命周期约束，形成“栈外存活”的拓扑关系。
如何验证变量确在堆中常驻？
不同语言提供不同观测手段，核心都是检查闭包是否持有对外部变量的cell 引用或closure 对象：
- Python：打印
inner.__closure__，非None即存在闭包；每个cell对象封装一个变量的堆地址 - JavaScript：在 DevTools 的 Memory 面板中录制堆快照，搜索闭包函数名，可定位其关联的上下文对象及其中变量
- 关键信号：变量不再出现在栈帧中，却能在多次调用闭包时稳定读取、甚至修改——说明它已升格为堆上独立实体
为什么多个闭包实例互不干扰？
每次调用外层函数（如 makeAdder(5) 和 makeAdder(10)），都会创建全新的词法环境实例，各自拥有独立的环境记录和变量存储位置：
- 不是共享同一块内存，而是生成多份堆中副本
- 因此
add5(3)和add10(3)分别读取各自的x，互不影响 - 这种“隔离性”正是闭包能模拟私有状态的基础
