标记清除是javaScript垃圾回收的核心机制,通过从根对象(如全局对象、执行栈变量等)出发标记可达对象,再清除未标记的“孤儿”对象;它能处理循环引用,因只依赖路径可达性而非引用计数。

标记清除是 javascript 垃圾回收的核心机制,现代引擎(如 V8)主要靠它来判断哪些对象该被释放。它不看“用了多久”,而是看“还能不能被找到”——只要从根出发还能顺着引用链访问到,就认为这个对象还在用;否则,就是垃圾。
根对象从哪来?
根是一组天然可达的起点,比如:
标记阶段:只找“活的”,不删东西
垃圾回收器会暂停 js 执行(或分小块增量执行),从所有根开始,沿着每个对象的属性、闭包变量、数组元素等递归向下遍历,把所有能碰到的对象打上“存活”标记。这个过程不释放任何内存,只是做记号。
例如:let a = {x: 1}; let b = a; a = NULL; —— 虽然 a 被赋值为 null,但 b 还指着那个对象,所以它仍会被标记为存活。
立即学习“Java免费学习笔记(深入)”;
清除阶段:批量回收没标记的内存
标记完后,引擎扫描整个堆内存,把所有没被打标记的对象所占的空间统一回收。这些对象可能曾被变量引用过,但后来引用被切断,又没被其他活跃对象连着,就成了真正的“孤儿”。
- 清除不是立刻归还给操作系统,而是放回空闲内存池,供后续 new 对象或字面量复用
- 有些引擎还会在清除后做内存压缩(compact),把存活对象挪到一起,减少碎片
它为什么能处理循环引用?
和引用计数不同,标记清除不依赖“被引了多少次”,而依赖“能不能从根到达”。两个对象 A ↔ B 循环引用,但若没有外部变量或全局引用指向它们中的任何一个,那从根出发根本走不到它们——它们就不会被标记,自然会在清除阶段被一并回收。
基本上就这些。理解关键就两点:根是起点,标记是路径可达性检查。