JavaScript 内存管理探秘 ​

本译文已征得原作者 Felix Gerschau 授权翻译。授权记录可点击此链接查看。

如果你想阅读原文，也可点击 此链接 查看原文。

相信你读完后也能对 JS 内存管理有新的见解

摘要 ​

大多数情况下，作为一名 JavaScript 开发者，你可能不需要了解关于内存管理的任何知识。毕竟，javaScript 引擎会自动帮我们去做这些事情。

然而，有时你总会遇到内存管理相关的问题，例如内存泄露，这时只有当你了解内存分配的工作原理才能知道如何去解决。

在这篇文章中，我将向你介绍 内存分配 和 垃圾回收 的工作原理，并且教你如何避免一些常见的内存泄露问题。

内存生命周期 ​

在 JavaScript 中，当我们创建了变量、函数或者任何你可以想得到的东西，JS 引擎都会对其进行内存分配并且一旦不再需要时对其释放内存。

分配内存 是在内存中保留空间的过程，而释放内存是为了腾出空间用于其他目的。

每次我们给变量赋值或者创建一个函数，内存分配都将经历以下几个阶段：

• 分配内存
  • JavaScript 为我们处理了这件事，它为我们创建的对象分配了需要的内存。
• 使用内存
  • 使用内存是我们在代码中明确做的事情：读取和写入内存仅仅只是读取变量和写入变量。
• 释放内存
  • 这一步由 JS 引擎处理，一旦分配的内存被释放，它就能被用于新的地方。

备注： 内存管理上下文中的“对象”不仅是 JS 中的对象，还包括了函数以及函数作用域。

内存中的堆和栈 ​

现在我们知道了在 JS 中定义的一切变量都会由 JS 引擎分配内存，一旦我们不再需要它的时候自动进行释放。

浮现在我脑海里的下一个问题是：数据被存储在了哪里？

JS 引擎有两个可以存储数据的地方：堆和栈，栈和堆是 JS 引擎用于将数据存储在不同场合的两种数据结构。

栈：静态内存分配 ​

所有的值都会被存储在栈中，因为它们都是原始值

栈是 JS 用来存储静态数据的数据结构，引擎在编译的时候就能确定静态数据的大小。在 JS 中，这包括了原始值 string,number,boolean，null 和 undefined 和指向对象和函数引用。

由于引擎知道值的大小不会改变，所以它会为每个值分配固定数量的内存。

在执行之前分配内存的过程称之为静态内存分配。因为引擎会为那些值分配固定的内存，所以原始值的大小是有限的。

分配内存的大小取决于不同的浏览器各自的实现。

堆：动态内存分配 ​

堆是一个存储数据的不同空间，JS 在其中存储对象和函数。与栈不同，引擎不会为这些对象和函数分配固定的内存空间。相反，将根据需要分配更多的内存空间，这种分配内存的方法也称之为按需分配。

为了方便对比，下面列出了一个表格比较两种数据结构的区别：

示例 ​

让我们来看一些代码案例

const pesrson = {
    name: "John",
    age: 24,
}

JS 会为这个 person 对象在堆中分配内存，但是 person 这个变量实际上还是存储在栈中，栈中的变量的值指向的是存储在堆中的引用

const hobbies = ['hiking', 'reading'];

数组和对象同样如此，这就是为什么它们存储在堆中的原因

let name = 'John'; // allocates memory for a string
const age = 24; // allocates memory for a number

name = 'John Doe'; // allocates memory for a new string
const firstName = name.slice(0,4); // allocates memory for a new string

原始值是不可变的，这意味着当你改变原始值话，JS 会创建一个新值覆盖掉旧值。

JavaScript 中的引用 ​

JS 中所有的变量都首先指向栈，如果变量的值是一个非原始值，那么栈中会指向一个在堆中的对象的引用。

被分配在堆中的内存是不按顺序存储的，这也就是为什么我们需要在栈中保留对堆中的引用。你可以将引用看作成一个个地址，存储在堆中的对象看作为这些地址所属的房屋。

在这张图中，我们可以看到不同的值是如何被存储的。注意, person 和 new Person实际上指向的是同一个对象。

示例 ​

const person = {
  name: 'John',
  age: 24,
};

这会在堆中创建了一个新的对象，并且在栈中创建一个指向这个对象的引用。

垃圾回收（GC） ​

现在，我们知道了 JS 是如何为各种对象分配内存的，但是如果你还记得上文提到的内存生命周期一图，我们还少了最后一步：释放内存。

就像内存分配那样，JS 引擎也会为我们处理这一步。更具体的来说，这一步由垃圾收集器(garbage collector) 负责处理这个问题。

一旦 JS 引擎识别到了给定的变量或者函数不再被需要了，那么就会释放其占用的内存。

听起来似乎很完美，但这里的主要问题在于，内存是否仍然需要是一个不可判定的问题，这意味着不可能有一种算法能够在内存不再需要时精确地收集所有多余的内存。

一些算法为这个问题提供了一个折中的解决方案。在本节中，我将讨论使用最广泛的两种算法：引用计数算法和标记清除算法。

引用计数 ​

这是最简单的一种方案，引用计数算法的核心在于收集那些没有指向它们引用的对象。

让我们看看下面的例子：

注意，这段视频的结尾只有 hobbies 保留在了堆中，因为只有它被栈中的 hobbies 变量所引用。

周期 ​

这个算法的核心问题在于它并没有考虑到循环引用, 当一个对象或者多个对象相互引用对方，但不能再通过代码访问它们时，就会发生问题。

先来看一个例子，认识什么是循环引用

let son = {
  name: 'John',
};

let dad = {
  name: 'Johnson',
}

son.dad = dad;
dad.son = son;

son = null;
dad = null;

根据上面的示例，变量son.dad 引用了 dad 对象，同时变量 dad.son 也引用 son 对象。这就是循环引用，互相引用自身。

代码最后两行各自将变量赋值为 null，想触发引用计数搜集对象（前面我们提到过引用计数关键在于收集那些没有指向它们引用的对象）。

按理来说 son 和 dad 赋值为 null 后，栈中已经没有任何变量指向堆中的这两个对象了，真实情况并非如此。

son和dad对象在堆中相互指向对方，引用计数算法不会释放分配的内存。我们已经没有任何办法访问这两个对象了。

标记清除 ​

标记清除算法可以解决循环依赖的问题，它不再是简单的计算给定对象的引用次数，而是检测它们是否可以从根对象上访问。

如何理解这个根对象呢？

在浏览器中，根对象即window，而在 node runtime 中则是 Global。

标记清除将那些永远无法到达的对象当作垃圾清理（收集），根对象永远不会被收集。

译者注：如何理解永远无法到达的对象很重要，"永远无法到达的对象" 指的是 JavaScript 代码中无法通过任何方式（例如变量、函数调用等）访问到的对象。这些对象不再被程序使用，因此可以将其视为垃圾，可以清理回收

这样，循环依赖就变得容易解决了。在前面的例子中，dad 和 son 都不能从根访问。因此，它们都将被标记为垃圾并被收集。

自 2012 年以来，该算法已在所有现代浏览器中实现。仅对性能和实现进行了改进，但并未对算法的核心思想本身进行改进。

内存泄露 ​

你已经了解了所有这些关于内存管理的知识，接下来让我们来看看最常见的内存泄漏问题。您会发现，如果了解幕后发生的事情，就可以轻松避免这些问题。

全局变量 ​

将数据存储在全局变量中可能是最常见的内存泄漏类型。例如，在浏览器中，如果您使用 var 而不是 const 或 let 或者完全省略关键字, 那么 JS 引擎会将声明的变量挂载到 window 对象。

使用 function 关键字定义的函数也会发生同样的情况。

user = getUser();
var secondUser = getUser();
function getUser() {
  return 'user';
}

user、secondUser 和 getUser 这三个变量都将挂载到 window 对象。

这仅适用于在全局范围内定义的变量和函数。如果您想了解更多相关信息，请查看这篇 JavaScript 作用域的文章。

我们可以开启严格模式，避免此类问题。

除了不小心将变量挂载到根对象外，大多数情况下你可能是故意这样做的。您当然可以使用全局变量，但请确保在不再需要数据时释放空间。

window.user = null;

被遗忘的定时器和回调函数 ​

遗忘的定时器 ​

忘记清理定时器和回调函数会导致你的应用程序内存使用量不断增加。尤其在 SPA 应用中，动态添加事件侦听器和回调时必须小心。

const object = {};
const intervalId = setInterval(function() {
  // everything used in here can't be collected
  // until the interval is cleared
  doSomething(object);
}, 2000);

上面的代码会每隔 2 秒 执行一次回调函数，如果你在项目中有出现过这样类似的代码，你可能不需要一直运行它。

如果不取消该定时器，那么定时器执行的回调函数里的对象将永远不回被执行垃圾回收。所以请确保在不需要的时候清除定时器。

clearInterval(intervalId);

在单页面应用程序中，这点非常重要。即便导航到其他页面，这个定时器仍然会在后台不断调用。

被遗忘的回调函数 ​

假设你为 button 按钮添加了一个 onclick 方法，后来这个按钮被删除了。

这种情况下，旧浏览器无法收集 button 的 listener 从而导致内存泄露，但现在，这不再是问题了。

在现代浏览器中，当 dom 元素从 DOM 树上被移除时，GC 能够收集到注册的监听器。不过，一旦您不再需要事件侦听器，最好删除它们最为稳妥。

const element = document.getElementById('button');
const onClick = () => alert('hi');

element.addEventListener('click', onClick);

element.removeEventListener('click', onClick);
element.parentNode.removeChild(element);

丢失的 DOM 引用 ​

这种内存泄露的情况和上一个相似，这发生在当在 JS 中存储 DOM 元素时。

const elements = [];
const element = document.getElementById('button');
elements.push(element);

function removeAllElements() {
  elements.forEach((item) => {
    document.body.removeChild(document.getElementById(item.id))
  });
}

在上面的代码中，我们调用 removeAllElements() 方法从 body 节点移除指定的 button 元素。虽然这些 DOM 元素的确从文档中移除了。但是这些 DOM 节点仍然被 elements 这个数组所引用。所以 GC 无法对其执行收集操作。

以下是改进后的代码

const elements = [];
const element = document.getElementById('button');
elements.push(element);

function removeAllElements() {
  elements.forEach((item, index) => {
    document.body.removeChild(document.getElementById(item.id));
    elements.splice(index, 1);
  });
}

总结 ​

在本文中，我总结了 JavaScript 中内存管理的核心概念。

写这篇文章帮助我理清了一些我不完全理解的概念，我希望这篇文章能很好地概述内存管理在 JavaScript 中的工作原理。