JavaScript早期引用计数垃圾回收因无法处理循环引用被弃用:对象相互引用时计数永不归零,导致内存泄漏;现代引擎采用标记-清除等混合策略,从根出发标记可达对象,彻底解决该问题。

JavaScript早期的引用计数垃圾回收机制,因无法处理循环引用而被现代引擎弃用。它简单直观但存在根本性缺陷:只要两个或多个对象相互持有对方的引用,即使它们已脱离全局作用域、实际不可达,引用计数也不会归零,导致内存无法释放。
引用计数的基本逻辑
该算法为每个值维护一个“被引用次数”:变量赋值、对象属性赋值、函数传参等操作会使目标值的引用数加1;变量重赋值、属性删除、函数退出等则减1。当计数降为0时,引擎认为该值可安全回收。
- let a = { }; let b = a; → 对象引用数变为2
- a = null; → 引用数减为1,对象仍存活
- b = null; → 引用数归0,对象可回收
循环引用为何让它失效
当对象A的属性指向对象B,同时B的属性又指向A,二者引用计数始终至少为1,即便外部再无任何变量指向它们,它们也无法被回收。
- function createCircular() {
const objA = { };
const objB = { };
objA.ref = objB;
objB.ref = objA;
return 'done';
}
createCircular(); // 执行后objA和objB仍互相引用,引用数均为1 - 在DOM场景中更常见:JS对象引用DOM节点,DOM节点又通过事件处理器或自定义属性反向引用JS对象
现代引擎如何绕过这个问题
V8、SpiderMonkey等主流引擎早已转向“标记-清除”(Mark-and-Sweep)为主、“增量标记”“分代回收”为辅的混合策略。它不依赖引用数字,而是从一组根对象(如全局对象、当前执行栈中的局部变量)出发,递归标记所有可达对象;未被标记的对象即为不可达,直接回收。
立即学习“Java免费学习笔记(深入)”;
- 循环引用只要整体不可达(即没有从根到其中任一对象的路径),就会被完整清理
- WeakMap、WeakSet 和 weak refs 的引入,进一步允许开发者显式表达“非强引用”,避免意外延长生命周期
- 开发者无需手动解引用循环结构,但应避免在长生命周期对象(如缓存、事件总线)中无意保留对短生命周期对象的强引用
引用计数算法本身不复杂,但它的失效点非常典型——它只看局部连接,看不到全局可达性。这也是为什么所有现代JavaScript引擎都放弃了它。










