本译文已征得原作者 Felix Gerschau 授权翻译。授权记录可点击此链接查看。
如果你想阅读原文，也可点击 此链接 查看原文。
相信你读完后也能对 JS 内存管理有新的见解
摘要
大多数情况下，作为一名 JavaScript 开发，你可能不需要了解关于内存管理的任何知识。毕竟，javaScript 引擎会自动帮我们去做这些事情。
然而，有时你总会遇到内存管理相关的问题，例如内存泄露，这时只有当你了解内存分配的工作原理才能知道如何去解决。
在这篇文章中，我将向你介绍 内存分配 和 垃圾回收 的工作原理，并且教你如何避免一些常见的内存泄露问题。
内存生命周期
在 JavaScript 中，当我们创建了变量、函数或者任何你可以想得到的东西，JS 引擎都会对其进行内存分配并且一旦不再需要时对其释放内存。
分配内存 是在内存中保留空间的过程，而释放内存是为了腾出空间用于其他目的。
每次我们给变量赋值或者创建一个函数，内存分配都将经历以下几个阶段：
- 分配内存
- JavaScript 为我们处理了这件事，它为我们创建的对象分配了需要的内存。
- 使用内存
- 使用内存是我们在代码中明确做的事情：读取和写入内存仅仅只是读取变量和写入变量。
- 释放内存
- 这一步由 JS 引擎处理，一旦分配的内存被释放，它就能被用于新的地方。
备注： 内存管理上下文中的“对象”不仅是 JS 中的对象，还包括了函数以及函数作用域。
内存堆和栈
现在我们知道了在 javaScript 中我们定义的每个变量、函数，都会由 JS 引擎分配内存，并在我们不再需要它的时候自动进行释放。
浮现在我脑海里的下一个问题是：这些变量或函数被存储到了哪里？
JavaScript 引擎有两个可以存储数据的地方：堆和栈，栈和堆是引擎用于不同目的的两种数据结构。
栈：静态内存分配
备注： 你可能已经了解到栈是在本系列的第一部分中介绍的调用栈和事件循环中的一个概念，其中我重点介绍了栈如何用于跟踪 JS 解释器需要调用的函数。
所有值都被存储在栈中，因为它们都包含原始值
栈是 JavaScript 用来存储静态数据的数据结构，引擎在编译的时候就能确定静态数据的大小。在 JavaScript 中，这包括了原始值 (string,number,boolean，null 和 undefined) 和引用，它们都指向对象和函数。
由于引擎知道原始值的大小不会改变，所以它会为每个值分配固定数量的内存。
在执行之前分配内存的过程称之为静态内存分配。因为引擎会为那些值分配固定的内存，所以原始值的大小是有限的。
分配内存的大小取决于不同的浏览器各自的实现。
堆：动态内存分配
堆是存储数据的另一种数据结构，JavaScript 在堆中存储对象和函数。
与栈不同，引擎不会为这些对象和函数分配固定的内存空间。相反，将根据需要分配更多的内存空间，这种分配内存的方法也称之为动态内存分配。
为了方便对比，下面列出了一个表格比较两种数据结构的区别：
| 栈 | 堆 |
|---|---|
| 原始值和指向对象与函数的引用 | 对象和函数 |
| 在编译时确定分配内存大小 | 在运行时确定分配大小 |
| 分配固定的内存 | 没有大小限制 |
示例
让我们看几个代码示例：
const pesrson = {
name: "John",
age: 24,
}
JavaScript 会为这个 person 对象在堆中分配内存，但是 person 对象里的属性的值仍然是原始值，这就是它们存储在栈中的原因。
const hobbies = ['hiking', 'reading'];
数组和对象同样如此，这就是为什么它们存储在堆中的原因
let name = 'John'; // 为字符串分配内存
const age = 24; // 为 number 分配内存
name = 'John Doe'; // 为一个新的字符串分配内存
const firstName = name.slice(0,4); // 为一个新的字符串分配内存
备注： 原始值是不可变的，这意味着当你尝试改变原始值话，javaScript 实际上会创建一个新值覆盖掉旧值。
JavaScript 中的引用
JavaScript 中所有的变量首先指向栈，如果这个变量的值是非原始值，那么栈中会包含对堆中的对象的引用。
被分配在堆中的内存是不按顺序存储的，这也就是为什么我们需要在栈中保留对堆中的引用。你可以将引用看作成一个个地址，存储在堆中的对象看作这些地址所属的房屋。
备注： 记住，javaScript 为对象和函数分配的内存都会放在堆中，而原始值和引用存储在栈内。
在上面这张图中，我们可以看到不同的值是如何被存储的。注意, person 和 new Person实际上指向的是同一个对象。
示例
const person = {
name: 'John',
age: 24,
};
这将在堆中创建一个新对象，并在栈中创建对它的引用。
垃圾回收（Garbage Collection）
现在，我们知道了 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 年以来，该算法已在所有现代浏览器中实现。仅对性能和实现进行了改进，但并未对算法的核心思想本身进行改进。
权衡利弊
自动垃圾回收使我们可以专注于构建应用程序，而不是浪费时间进行内存管理。然而，我们需要意识到一些权衡利弊。
内存使用
由于垃圾回收算法无法知道何时内存不再需要，因此 JavaScript 应用程序可能会使用比实际需要更多的内存。
尽管对象被标记为垃圾，但是收集分配的内存以及何时收集是由垃圾回收器决定的。
如果您需要使您的应用程序尽可能具有内存效率，则最好使用低级语言。但请记住，这也有其自身的权衡利弊。
性能
为我们收集垃圾的算法通常定期运行以清除未使用的对象。
但问题在于，我们作为开发人员不知道这会在什么时候发生。收集大量垃圾或经常收集垃圾可能会影响性能，因为这需要一定的计算能力来完成。
不过，这对用户或开发人员来说是不会被察觉的。
内存泄露
你已经了解了所有这些关于内存管理的知识，接下来让我们来看看最常见的内存泄漏问题。你会发现，如果了解幕后发生的事情，就可以轻松避免这些问题。
全局变量
将数据存储在全局变量中可能是最常见的内存泄漏类型。例如，在浏览器中，如果你使用 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 中的工作原理。