【JavaScript】垃圾回收机制详解

JavaScript 是一种高级、动态的编程语言，其内存管理大多由引擎自动处理，垃圾回收机制（Garbage Collection，GC）是其关键功能之一。本文将详细介绍 JavaScript 中的垃圾回收机制，包括它的工作原理、常见的算法以及开发者在日常编码中需要注意的事项。

一、垃圾回收机制概述

1. 什么是垃圾回收？

在编程语言中，内存管理是一个非常重要的方面。JavaScript 作为一种高级语言，开发者不需要手动管理内存的分配和释放。垃圾回收机制是 JavaScript 引擎中的一部分，负责自动回收那些不再被使用的内存，确保内存资源得到有效利用，避免内存泄漏。

简单来说，当程序中某些对象不再被引用时，这些对象所占用的内存就会被视为“垃圾”，垃圾回收器会负责释放这些内存，使其可以被重新利用。

2. 为什么需要垃圾回收？

由于 JavaScript 是动态分配内存的语言，当创建变量、对象、函数等时，都会占用一定的内存。如果这些占用的内存长期不被释放，就会造成内存泄漏，最终可能导致程序崩溃或性能问题。因此，垃圾回收的核心作用就是自动检测不再使用的内存并释放它们，以保持程序的高效运行。

二、JavaScript 的垃圾回收算法

JavaScript 的垃圾回收机制主要基于“引用计数”和“标记-清除”两种算法。接下来，我们将逐一详细介绍这些算法的工作原理。

1. 引用计数算法

1.1 工作原理

引用计数（Reference Counting）是最简单的一种垃圾回收算法。它的基本原理是：每个对象都有一个引用计数器，当有一个引用指向该对象时，计数器加 1；当一个引用不再指向该对象时，计数器减 1。如果某个对象的引用计数变为 0，则表示该对象不再被任何地方引用，可以安全地释放。

1.2 示例

let obj1 = { name: 'Alice' }; // obj1 的引用计数为 1
let obj2 = obj1; // obj1 的引用计数为 2
obj1 = null; // obj1 的引用计数为 1
obj2 = null; // obj1 的引用计数为 0，此时对象可以被垃圾回收

1.3 缺陷

虽然引用计数算法很直观，但它有一个明显的缺陷——循环引用。如果两个对象互相引用，即使它们不再被其他对象引用，它们的引用计数也不会归零，导致内存无法被释放。

function createCycle() {
    let obj1 = {};
    let obj2 = {};
    obj1.ref = obj2; // obj1 引用 obj2
    obj2.ref = obj1; // obj2 引用 obj1
    return obj1;
}
createCycle();

在上述代码中，obj1 和 obj2 互相引用，导致它们的引用计数永远不会归零，从而无法被垃圾回收。这种情况称为内存泄漏。

2. 标记-清除算法

2.1 工作原理

为了克服引用计数算法的缺陷，大多数现代 JavaScript 引擎使用的是标记-清除（Mark-and-Sweep）算法。这种算法的工作流程如下：

1. 标记阶段：垃圾回收器从根对象（通常是全局对象或局部作用域的变量）开始，递归地标记所有可以被引用到的对象为“活动对象”。
2. 清除阶段：对于那些没有被标记为“活动”的对象，它们被认为是不可达的，垃圾回收器会释放它们所占用的内存。

2.2 示例

let obj1 = { name: 'Alice' };
let obj2 = { name: 'Bob' };
let obj3 = { name: 'Charlie' };

obj1.friend = obj2; // obj1 引用 obj2
obj2.friend = obj3; // obj2 引用 obj3
obj1 = null; // 断开 obj1 的引用

在这个例子中，obj1 被置为 null 后，obj2 和 obj3 仍然被引用，因此它们不会被回收。然而，假如 obj2 和 obj3 的引用也被断开，它们将被标记为不可达对象，最终会在清除阶段被回收。

3. 增量垃圾回收和分代回收

为了提高垃圾回收的效率，现代 JavaScript 引擎（如 V8）引入了更复杂的回收机制，如增量垃圾回收和分代回收。

3.1 增量垃圾回收

标记-清除算法虽然有效，但在处理大量对象时可能会导致应用程序卡顿。为了解决这个问题，V8 引擎采用了增量垃圾回收，即将垃圾回收的工作分成多个小步骤，分散在程序的执行过程中。这样可以避免长时间的卡顿，提升用户体验。

3.2 分代回收

分代回收的思想是将内存分为两代：新生代和老生代。新创建的对象被放置在新生代中，如果这些对象能够长期存活，则被移动到老生代。垃圾回收器会更加频繁地清理新生代中的对象，而老生代的对象因为生命周期较长，则不需要频繁清理。这种方式大大提高了垃圾回收的效率。

三、垃圾回收中的内存泄漏问题

虽然 JavaScript 的垃圾回收机制极大地简化了内存管理，但某些情况下，内存泄漏仍然是开发者需要注意的问题。

1. 常见的内存泄漏场景

1.1 未清理的事件监听器

当你为 DOM 元素添加事件监听器时，如果不在适当的时机移除监听器，可能会导致内存泄漏。

let button = document.getElementById('myButton');
button.addEventListener('click', function() {
    console.log('Button clicked!');
});
// 记得在不再需要时移除事件监听器
button.removeEventListener('click', listenerFunction);

1.2 闭包引发的内存泄漏

闭包可以保留对其外部变量的引用，如果这些引用不被适时释放，也会导致内存泄漏。

function createClosure() {
    let bigArray = new Array(10000).fill(0);
    return function() {
        console.log(bigArray.length);
    };
}
let closure = createClosure();

在上面的例子中，虽然 bigArray 已经不再需要，但由于闭包的存在，它的内存不会被回收，除非 closure 本身也被释放。

1.3 DOM 元素的循环引用

在某些情况下，JavaScript 对象和 DOM 元素之间的循环引用可能会阻止垃圾回收。例如，JavaScript 对象持有 DOM 元素的引用，而 DOM 元素的属性也引用了 JavaScript 对象。

四、如何优化垃圾回收

1. 避免全局变量

全局变量在程序的整个生命周期中都不会被回收，因此尽量避免使用全局变量，或在不再需要时将其设置为 null。

2. 合理使用闭包

虽然闭包是 JavaScript 中强大的功能，但应避免不必要地持有对外部变量的引用，以减少内存泄漏的风险。

3. 使用弱引用

JavaScript 提供了 WeakMap 和 WeakSet，它们不会阻止垃圾回收。使用这些数据结构可以减少内存泄漏的可能性。

五、总结

JavaScript 的垃圾回收机制是自动内存管理的重要组成部分，它通过回收不再使用的对象来保证程序的内存使用效率。理解垃圾回收的工作原理和常见的内存泄漏场景，能够帮助开发者编写更高效、健壮的代码。掌握引用计数、标记-清除、分代回收等核心概念，以及如何避免内存泄漏，将是提升 JavaScript 编程能力的关键。

推荐：

• JavaScript
• react
• vue

---