执行上下文在函数执行结束时立即弹出并销毁，是javascript引擎同步、确定性完成的底层栈操作，与垃圾回收无关；销毁时变量绑定失效、上下文数据释放，但堆对象是否回收取决于gc对可达性的判断。
执行上下文在函数执行结束时立即弹出并销毁，这个过程和垃圾回收（GC）完全无关——它不靠 GC 触发，也不等 GC 扫描，是 JavaScript 引擎同步、确定性完成的底层行为。
执行上下文的销毁是栈结构的自然退出
JavaScript 使用调用栈（Call Stack）管理执行上下文。每当函数被调用，引擎就为其创建一个执行上下文，并压入栈顶；函数执行完毕（遇到 return 或自然走到末尾 }），该上下文立刻从栈顶弹出。
此时发生三件事：
- 该上下文所绑定的 变量对象（VO）或词法环境（LE）失效，内部声明的 let/const/var 变量全部不可访问；
- this、arguments、作用域链 等上下文专属数据全部释放，引擎不再持有任何引用；
- 局部变量的“绑定”消失，但它们指向的堆内存对象是否释放，要另看——这一步才轮到 GC 决定。
局部变量销毁 ≠ 堆对象回收
函数内声明的变量只是“指针”，真正占用内存的是它们所引用的对象（比如对象字面量、数组、函数等），这些对象存在堆中。
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
执行上下文销毁后：
- 如果这些对象 没有其他引用（比如没被闭包捕获、没赋值给全局变量、没传给定时器或事件监听器），那它们就变成“不可达”，等待 GC 下次运行时清理；
- 如果存在外部引用（例如闭包保留了对
let a = {x: 1}的访问），那么即使函数已执行完、上下文早已销毁，a指向的对象仍存活，GC 不会动它。
为什么不能靠 GC 来销毁执行上下文？
执行上下文是栈上分配的轻量级运行时结构，生命周期由控制流严格决定，必须即时释放：
- 它不存于堆中，GC 只扫描堆，根本“看不见”执行上下文；
- 若等 GC 回收上下文，就会导致变量在函数结束后还能被意外读取，破坏语言语义和内存安全性；
- 栈空间有限，不及时弹出会导致“栈溢出（RangeError: Maximum call stack size exceeded）”。
一个直观的例子
看这段代码：
function createData() {const obj = { name: 'Alice' };
const arr = [1, 2, 3];
return obj;
}
const ref = createData();
执行流程是：
-
createData调用 → 新执行上下文入栈； - 函数执行完 → 上下文立即弹出销毁 →
obj和arr这两个局部绑定消失； - 但
obj被 return 出去并赋给了ref，所以{ name: 'Alice' }仍有引用，保留在堆中； -
arr没被传出，也无其他引用 → 成为不可达对象 → 后续 GC 清理它。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
