javascript变量生命周期是动态链路:从声明绑定作用域(var提升、let/const受tdz约束)、到内存分配与可达性存活(含闭包延长),最终由gc基于标记-清除机制回收不可达对象。
javascript 变量生命周期不是一段静态时间,而是一条由语法行为、执行环境和引擎机制共同驱动的动态链路。它从代码书写时的声明开始,经历作用域绑定、内存分配、可访问性控制(如 tdz)、实际使用,最终在不可达时被垃圾回收器(gc)清理。真正理解它,关键在于把“声明—绑定—存活—释放”串成一条可验证、可推演的逻辑线。
声明与作用域绑定:决定变量“出生地”和“活动范围”
变量的起点不是赋值,而是声明语句本身——但不同关键字触发的行为截然不同:
-
var:在函数或全局作用域顶部被“提升”,仅声明被提升,初始化(赋值)留在原位;绑定到函数作用域或全局对象(如
window) -
let/const:绑定到最近的块级作用域(
{}),但不会被提升到块顶;它们进入一个“暂时性死区(TDZ)”,直到声明语句执行完成 - 未用关键字直接赋值(如
a = 1):隐式创建全局属性,不推荐,破坏封装且易污染全局命名空间
TDZ 不是错误,而是访问权限的“缓冲带”
TDZ(Temporal Dead Zone)本质是 JavaScript 引擎对 let/const 安全性的强制保障机制。它不是运行时异常区域,而是语法层面的访问禁令窗口:
- 在声明语句执行前,任何对该变量的读写(包括
typeof)都会抛出ReferenceError - TDZ 范围严格按代码块界定:哪怕在
if (false) { let x; }中,只要该声明出现在块内,整个块都受 TDZ 约束 - 函数参数也存在 TDZ:例如
function f(x = y, y) {}中,y在默认值表达式里尚未初始化,会报错
存活期 = 作用域活跃期 × 引用可达性
变量何时“活着”,取决于两个条件同时成立:
-
作用域仍存在:函数执行未退出、块未结束、模块未卸载;一旦作用域销毁(如函数返回),其内部
var变量立即不可访问,let/const同样失效 - 仍有活跃引用:若变量被闭包捕获、被对象属性持有、被数组/Map/Set 存储,即使原始作用域已退出,它仍保持“逻辑存活”
- 典型陷阱:事件监听器、定时器回调、未清理的 DOM 引用,都可能意外延长局部变量生命周期,导致内存滞留
GC 回收不是“定时清理”,而是“可达性判定”
现代 JS 引擎(V8、SpiderMonkey)普遍采用标记-清除(Mark-and-Sweep)机制,回收过程完全基于“是否还能从根对象访问到”:
- 根对象包括:全局对象、当前执行上下文中的变量对象、正在调用的函数的活动对象等
- 引擎从根出发,递归标记所有可到达的对象;未被标记的对象即为“垃圾”,后续被统一回收
-
null、undefined或重新赋值(如obj = null)只是切断引用,不触发立即回收;GC 在下一次周期中识别并清理 - 无法手动触发 GC,
console.memory和 Chrome DevTools 的 Memory 面板可用于观察堆快照与对象保留路径
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











