活动对象(ao)在函数执行结束后销毁,但若被闭包通过作用域链引用其背后的词法环境记录,则该记录驻留堆中不被回收,变量仍可访问。

函数执行上下文销毁后,活动对象(AO)仍能被访问,并非因为它“没被删”,而是因为它的内存没有被回收——关键在于闭包通过作用域链持有了对它背后词法环境记录的引用。
活动对象不是变量本身,而是一个管理容器
AO 是函数执行时临时构建的内部对象,包含 arguments、形参、var 声明等。它本身不可见、不可直接访问,只服务于执行过程。函数执行结束,AO 所在的执行上下文从执行栈弹出,AO 就不再被上下文引用。但若内部函数被返回并形成闭包,这个内部函数的 [[Environment]] 内部槽会静态绑定到外层函数创建的那个堆中的词法环境记录(不是 AO 本身,而是 AO 所映射的底层数据结构)。
真正存活的是堆里的环境记录,不是栈上的 AO
JS 引擎把变量实际存储在堆内存中,AO 只是执行期间对这些堆数据的一层“视图”或“代理”。当 outer() 执行完,它的执行上下文和 AO 都被销毁,但堆中那个保存 let x = 10 的环境记录依然存在——只要 inner 函数还活着,且 inner.[[Environment]] 指向它,垃圾回收器就判定该记录“可达”,不会释放。
闭包访问变量靠的是作用域链,不是 AO 的残留
每次调用 inner() 时,引擎会基于它的 [[Environment]] 构建新的执行上下文,并把那个堆中的环境记录加入作用域链顶端。查找 x 时,引擎沿着作用域链向上找,最终定位到堆中那个未被回收的记录。这不是“AO 还在”,而是“AO 曾经管理的数据,正被另一个函数持续引用着”。
销毁与回收是两件事
- 执行上下文销毁 → 栈帧清空,AO 解绑
- 变量是否回收 → 取决于堆中对应环境记录是否还有活跃引用(比如闭包的 [[Environment]])
- 没有闭包引用 → 环境记录变垃圾 → 下次 GC 清理
- 有闭包引用 → 环境记录长期驻留 → 变量状态得以延续











