JavaScript 内存管理与垃圾回收机制详解

结果或目标：理解 JavaScript 内存管理的误区

许多开发者误以为 JavaScript 作为高级语言，其自动垃圾回收机制意味着可以完全忽视内存管理。事实上，虽然内存的回收是自动的，但理解其背后的运作逻辑对于避免性能问题和内存泄漏至关重要。

准备条件：JavaScript 内存生命周期

无论编程语言种类如何，内存的生命周期通常包含三个一致的阶段：

1. 分配：程序请求并使用操作系统分配的内存。
2. 使用：通过读写变量、对象属性或执行操作来利用这些内存。
3. 释放：不再需要的内存被回收，以便重新使用。

在 C/C++ 等低级语言中，第 3 步需要开发者显式执行（如 malloc() 和 free()）。而在 JavaScript 中，第 1 步和第 2 步由开发者感知，第 3 步则由解析器自动完成，因此常常被忽略。

真实操作顺序：内存的分配

JavaScript 引擎会在特定操作发生时自动分配内存。主要场景包括值初始化和函数调用。

第1步：值初始化与声明

当为变量赋值时，JavaScript 会为其分配相应的内存空间。

• 基本类型：为数字和字符串分配内存。
• 对象类型：为包含属性值的对象和数组分配内存。
• 函数：函数本身也是对象，创建函数时会分配内存。
• 事件监听：通过表达式创建的函数同样占用内存。

var n = 123; // 为数字分配内存
var s = "azerty"; // 为字符串分配内存

var o = {
  a: 1,
  b: null
}; // 为对象分配内存

var a = [1, null, "abra"]; // 为数组分配内存

function f(a) {
  return a + 2;
} // 为函数分配内存

someElement.addEventListener('click', function() {
  someElement.style.backgroundColor = 'blue';
}, false); // 匿名函数对象分配内存

第2步：通过函数调用与运算分配

某些函数执行后或字符串/数组操作方法会产生新的对象，从而触发内存分配。

var d = new Date(); // 创建日期对象
var e = document.createElement('div'); // 分配 DOM 元素

var s = "azerty";
var s2 = s.substr(0, 3); // 产生新字符串
// 注意：JavaScript 字符串是不可变的，substr 会创建新字符串

var a = ["ouais", "nan"];
var a2 = ["generation", "nan nan"];
var a3 = a.concat(a2); // 合并数组，生成新数组

完成判断：理解“不再需要”的定义

内存管理的核心难点在于判定内存何时“不再需要”。这在理论上是一个不可判定的问题（停机问题），因此 JavaScript 垃圾收集器只能采用近似策略，而非精确计算。

原文有依据的排错：垃圾回收算法与局限

1. 引用计数算法（Reference Counting）

这是最早期的垃圾回收算法。它跟踪每个值被引用的次数：当声明一个变量并将另一个引用该值的对象赋给它时，引用次数加 1；当包含该引用的变量被其他值覆盖时，引用次数减 1。当引用次数变为 0 时，内存被视为可回收。

var o = { 
  a: {
    b: 2
  }
}; // 创建对象，o 引用内部对象，内部对象又引用 a

var o2 = o; // 引用计数增加
o = 1;      // o 不再引用原对象，引用计数减少

var oa = o2.a; // 内部对象被 oa 引用

o2 = "yo";     // 原对象不再被 o2 引用，但 oa 仍引用内部对象
oa = null;     // 内部对象引用计数归零，可被回收

局限性：循环引用

如果两个对象互相引用，即使它们已脱离全局作用域且不再被使用，它们的引用计数也不会归零，从而导致内存泄漏。

function f() {
  var o = {};
  var o2 = {};
  o.a = o2; // o 引用 o2
  o2.a = o; // o2 引用 o （形成循环）
  return "azerty";
}
f();
// 函数结束后，o 和 o2 无法被回收

历史案例：IE6 和 IE7 中的 DOM 节点使用引用计数，结合 JavaScript 对象的引用计数，极易在 DOM 元素与 JS 对象之间形成循环引用，导致严重的内存泄漏。

2. 标记-清除算法（Mark-and-Sweep）

目前大多数现代浏览器采用的主流算法。它引入了“可达性”（Reachability）的概念：

1. 根（Roots）：作为起始点，通常是全局变量或当前执行的代码帧。
2. 标记阶段：GC 从根出发，遍历所有从根可达的对象，并标记为“活跃”。
3. 清除阶段：清理所有未被标记的内存空间。

优势：只要对象不再被任何根引用（即不可达），即使存在循环引用，也会被识别为可回收对象。例如，当函数执行结束，局部变量不再被引用，GC 会将相关对象标记为不可访问并释放内存。

简要总结

JavaScript 的内存管理依赖于自动垃圾回收，但开发者仍需关注内存生命周期。尽管标记-清除算法解决了循环引用问题，但在长时间运行的应用中，仍需谨慎处理大型对象、闭包和 DOM 引用，以避免潜在的内存压力。了解底层机制有助于编写更高效、更稳定的代码。

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