JavaScript垃圾回收机制详解：从原理到V8引擎优化

为什么需要垃圾回收（GC）

在程序运行过程中，会产生大量的临时数据，如字符串、对象和数组。这些数据所占用的内存在不使用时，必须被释放，以便系统重新分配给其他任务。如果可用内存耗尽或垃圾堆积过多，将导致程序运行速度变慢甚至崩溃。因此，垃圾回收是维持Web应用稳定运行的关键。

什么是垃圾回收

垃圾回收机制（Garbage Collection，简称GC）是JavaScript引擎自动执行的一项功能。它通过特定的算法识别出程序中不再被使用的变量或属性，并周期性地在CPU空闲时释放其所占用的内存空间。这与C/C++中需要程序员手动调用函数来释放内存的方式形成鲜明对比。

垃圾产生的判定标准

当一个对象没有任何变量或属性对其引用，且无法再通过任何路径访问该对象时，该对象即成为“垃圾”。这类对象占据内存却无法被操作，若不及时处理会严重影响系统性能。

例如：

假设先声明一个Person变量指向对象{name: "江流", age: 20}，随后又将Person变量指向另一个对象{name: "心猿", age: 5000}。此时，前一个对象因失去唯一引用而变为无用对象。虽然我们可以通过将不再使用的变量设置为null来辅助GC回收，但现代JS引擎已具备自动化处理能力，开发者应关注如何避免产生不必要的引用而非强行干预。

垃圾回收策略与算法

JS是单线程语言，垃圾回收会导致“全停顿”（Stop-the-world），暂停应用逻辑以执行回收。因此，高效的回收算法对用户体验至关重要。主要策略包括引用计数、标记清除、标记整理和分代回收。

引用计数算法

策略思想：

• 跟踪记录每个引用类型数据的引用次数。
• 当变量指向该对象时，引用次数+1；变量被覆盖或置空时，引用次数-1。
• 当引用次数为0时，垃圾回收器立即销毁该对象并回收内存。

示例代码：

	let a = { name: "江流", age: 20 };	// 引用计数为1
	let b = a;				// 引用计数为2
	a = null;				// 引用计数为1
	b = null;				// 引用计数为0，等待回收

致命缺陷——循环引用：

若两个对象相互引用，即使它们已不再被外部使用，其引用计数也无法降为0，导致内存泄漏。

示例：

function test() {
    let A = new Object();
    let B = new Object();
    A.pointer = B;
    B.pointer = A;
}
test();

上述代码执行完毕后，A和B的计数器均为2，传统引用计数法无法回收它们。解决方法是在函数结束前手动切断引用（设为null），但这违背了自动GC的设计初衷。

引用计数优缺点

• 优点：发现垃圾立即回收，最大限度减少程序暂停。
• 缺点：无法处理循环引用，且维护计数状态本身消耗额外内存。

标记清除算法

这是现代JS引擎（如V8）的基础算法，解决了循环引用问题。

核心流程

• 标记阶段：将所有内存中的对象标记为“未使用”（可视为0）。从根对象（如全局对象、当前执行栈）出发，遍历所有可达对象，将其标记为“已使用”（可视为1）。
• 清除阶段：清理所有未被标记的对象，销毁并回收其内存。
• 重置阶段：将所有保留对象的标记重置为未使用，准备下一轮回收。

优缺点

• 优点：实现简单，能完美解决循环引用问题，是V8最基础的算法。
• 缺点：回收后内存碎片化严重，剩余对象的内存位置不连续，增加后续内存分配的难度。

标记整理算法

为了解决“标记清除”导致的内存碎片问题，标记整理算法（Mark-Compact）在标记完成后，会将存活对象向内存一端移动，然后清理边界外的内存。这样确保了剩余内存空间的连续性。

V8引擎的垃圾回收实战

V8引擎并没有单纯使用某一种算法，而是根据对象的存活周期将内存划分为新生代（New Space）和老生代（Old Space），并采用不同的回收策略，这就是分代回收机制。

新生代对象回收

定义：存活时间短的新生对象，或仅经过一次回收的对象。

算法：主要采用Scavenge算法（复制算法）加标记整理。

• 新生代内存被划分为两部分：From空间和To空间，其中From空间正在使用，To空间为空。
• 回收时，将From空间中存活的对象复制到To空间，确保它们在To空间中是连续排列的。
• 清理掉From空间中的所有对象，然后将From和To空间的角色互换（原To空间变为新的From空间）。

对象晋升机制

当新生代对象经历多次回收仍然存活，或者To空间不足以容纳这些对象时，对象会被晋升到老生代。

老生代对象回收

定义：存活时间较长，经历过一次或多次GC的对象。

算法：主要采用标记清除，辅以标记整理和增量标记。

• 标记清除/整理：由于老生代对象较多，一次性标记和整理开销大。当内存分配不足或触发特定条件时，会使用标记整理来消除碎片。
• 增量标记：为了避免长时间的全停顿，V8将标记过程拆分为多个小步骤，每次执行一小部分标记工作后就暂停，去执行主线程的应用逻辑，如此交替进行。这显著提升了用户体验。

总结

JavaScript的垃圾回收是一个复杂而精妙的过程。从基础的引用计数到更先进的标记清除、复制以及分代回收，V8引擎不断优化以提升性能并减少内存泄漏风险。理解这些底层原理，有助于开发者编写更高效、更健壮的JavaScript代码，特别是在处理大型对象图和长期运行的应用时。

以上就是JavaScript垃圾回收机制的详细分析，更多关于前端性能优化的资料请关注本站其它相关文章！