闭包不是普通函数的简单变体，其本质是函数代码与捕获的自由变量共同构成的运行时对象，导致变量从栈内存移至堆内存长期驻留，延长生命周期并固化词法环境。
闭包不是普通函数的简单变体，它的内存布局和普通函数有本质区别——关键在于“变量生命周期延长”和“作用域环境固化”。普通函数执行完，其局部变量随执行上下文一起销毁；而闭包会让部分变量脱离原始栈帧，被提升到堆内存中长期驻留。
普通函数的内存布局：栈上分配，用完即弃
函数调用时，JS 引擎在调用栈（call stack）中为其创建执行上下文，包括变量对象（VO）、作用域链（scope chain）和 this。所有局部变量都存于该上下文的栈帧内。函数返回后，栈帧弹出，变量对象被回收——这是默认、高效、不可逆的过程。
- 例如：
function foo() { let x = 100; return x; }中的x只存在于foo执行期间，返回后立即不可访问 - 没有外部引用，GC 可安全清理，不产生额外内存开销
闭包的内存布局：变量被“捕获”并堆化保存
当内部函数引用了外部函数的局部变量，且该内部函数被返回或传递出去，引擎必须保留这些变量——它们不再属于栈帧，而是被移动或复制到堆（heap）中，由闭包对象（closure object）统一持有。这个对象包含两部分：函数代码 + 捕获的自由变量（free variables）的引用。
- 例如：
function makeAdder(n) { return function(x) { return n + x; }; }中，n被makeAdder的返回函数捕获，即使makeAdder已执行完毕，n仍保留在堆中 - 每个闭包实例对应独立的捕获变量副本（如多次调用
makeAdder(1)和makeAdder(2)，会生成两个互不干扰的n） - V8 等引擎会优化：若变量未被实际使用，可能不被捕获；若只读，可能共享；但一旦被修改，必保留可变引用
闭包对象如何组织：词法环境 + 变量绑定
闭包的本质是词法环境（LexicalEnvironment）的具象化。它不是一个语法结构，而是一个运行时对象，内部包含：
- [[Environment]]：指向外层函数创建时的词法环境记录（Environment Record），其中存储着被捕获变量的实际值或引用
- 函数对象本身：包含字节码或 JIT 编译后的代码，以及指向上述环境的指针
- 在 V8 中，闭包对象表现为
JSFunction实例，其shared_function_info描述函数逻辑，而context字段指向捕获的变量环境
内存影响直接体现在引用计数与 GC 周期上
闭包让变量从“短期栈变量”变成“长期堆引用”，这改变了垃圾回收的行为：
- 只要闭包函数还存活（比如被赋值给全局变量、作为事件回调、存在 DOM 引用等），它所捕获的变量就无法被 GC 回收
- 若闭包意外持有了大对象（如 DOM 节点、大型数组），又未及时解除引用，就会造成内存泄漏
- 现代引擎（如 V8）会通过“上下文脱钩（context deoptimization）”尝试释放未使用的捕获变量，但无法完全规避设计不当带来的开销
