对于开发者来说，JavaScript 的内存治理是自动的、无形的。我们建立的原始值、工具、函数……这一切都市占用内存。

当某个器械我们不再需要时会发生什么？JavaScript 引擎若何发现它、清算它？

可达性

JavaScript 中主要的内存治理观点是可达性。

简而言之，『可达』值是那些以某种方式可接见或可用的值。它们保证存储在内存中。

这里列出固有的可达值基本聚集，这些值显著不能被释放。

比方说：

• 当前函数的局部变量和参数。

• 嵌套挪用时，当前挪用链上所有函数的变量与参数。

• 全局变量。

• 另有一些内部的

这些值被称作根。

若是一个值可以通过引用或引用链，从根值接见到，则以为这个值是可达的。

比方说，若是局部变量中有一个工具，而且该工具具有引用另一个工具的 property，则该工具被以为是可达的。而且它引用的内容也是可达的。下面是详细的例子。

在 JavaScript 引擎中有一个被称作垃圾接纳器的器械在后台执行。它监控着所有工具的状态，并删除掉那些已经不可达的。

一个简朴的例子

这里有一个最简的例子：

// user 引用了这个工具
let user = {
  name: "John"
};

这里的箭头形貌了一个工具引用。全局变量 “user” 引用了工具 {name：”John”}（为简练起见，我们称它为 John）。John 的 “name” 属性存储一个原始值，以是它被写在工具内部。

若是 user 的值被覆盖了，这个引用就没了：

user = null;

现在 John 酿成不可达的了。由于没有引用了，就不能接见到它了。垃圾接纳器会以为它是垃圾数据，然后释放内存。

两个引用

现在让我们想象下，我们把 user 的引用复制给 admin：

// user 对工具有一个引用
let user = { name: "John"};
let admin = user;

现在若是像适才一样：

user = null;

……然后工具仍然可以通过 admin 这个全局变量接见到，以是工具还在内存中。若是我们又覆盖了 admin，工具就会被删除。

相互关联的工具

现在来看一个更庞大的例子。这是个家庭：

function marry(man, woman) {
 woman.hu *** and = man;
 man.wife = woman;
 return {
   father: man,
   mother: woman
 }}
let family = marry(
{
 name: "John"
},
{
 name: "Ann"
});

marry 方式通过两个工具的引用，让它们『娶亲』了，并返回了一个包罗这两个工具的新工具。

由此发生的内存结构：

到现在位置，所有工具都是可达的。

现在让我们移除两个引用：

delete family.father;
delete family.mother.hu *** and;

仅删除这两个引用中的一个是不够的，由于所有的工具仍然可以接见。

然则，若是我们把这两个都删除，那么我们可以看到再也没有对 John 的引用：

对外引用不主要，只有传入引用才可以使工具可达。以是，John 现在无法接见，而且将从内存中释放，同时 John 的所有数据也变得无法接见。

经由垃圾接纳：

无法到达的岛屿

几个工具相互引用，但外部没有对其随便工具的引用，这些工具可能是不可达的，并会从内存中释放。

源工具与上面相同。然后：

family = null;

内存内部状态将酿成：

这个例子展示了可达性观点的主要性。

显而易见，John 和 Ann 仍然连着，都有传入的引用。然则，这样照样不够。

前面说的 “family” 工具已经不再连着根，再也没有引用，以是它将酿成一座『孤岛』而且将被移除。

内部算法

垃圾接纳的基本算法被称为 “mark-and-sweep”。

定期执行以下“垃圾接纳”步骤：

• 垃圾 *** 器找到所有的根，并“符号”（记着）它们。

• 然后它遍历并”符号”来自它们的所有参考。

• 然后它遍历到符号的工具并符号他们的引用。所有被遍历到的工具都市被记着，以免未来再次遍历到同一个工具。

• …一直这样，直到有未接见的引用（从根接见到）。

• 没有被符号的所有工具都被删除。

例如，让我们的工具结构如下所示：

我们可以在右侧清楚地看到一个『无法到达的岛屿』。现在我们来看看”mark-and-sweep”垃圾 *** 器若何处置它。

之一步符号所有的根：

然后他们的引用被符号了：

…若是另有引用的话，继续符号：

现在，这个过程中没有被遍历过的工具将会被删除。

这是垃圾 *** 若何事情的观点。

JavaScript 引擎做了许多优化，使其运行速率更快，而且不会影响代码运行。

一些优化点：

• 分代 *** —— 工具被分成两组：『新的』和『旧的』。许多工具泛起，完成他们的事情并快速释放，他们可以很快被清算。那些历久存活下来的工具会变得『老旧』，而且检查的次数也会削减。

• 增量 *** —— 若是有许多工具，而且我们试图一次遍历并符号整个工具集，则可能需要一些时间并在执行过程中带来显著的延迟。以是引擎试图将垃圾 *** 事情分成几部门来做，然后将这几部门逐一处置。这需要他们之间分外的符号来追踪转变，然则会有许多细小的延迟而不是大的延迟。

• 闲时 *** —— 垃圾 *** 器只会在 CPU 空闲时实验运行，以削减可能对代码执行的影响。

另有其他垃圾 *** 算法的优化和气概。只管我想在这里形貌它们，但我必须打住了，由于差其余引擎会有差其余调整和技巧。而且，更主要的是，随着引擎的生长，情形会发生转变，以是除非必须，我们领会那么多可能就不值得。固然，后面会给出一些链接可以供你领会参考。

总结

主要需要掌握的器械：

• 垃圾接纳是自动完成的，我们不能强制执行或是阻止执行。

• 当工具是可达状态时，它在内存中是可达的。

• 被引用与可接见（从一个根）差别：一组相互连接的工具可能整体都无法接见。

现代引擎实现了垃圾接纳的高级算法。

有一本通用的书，叫《The Garbage Collection Handbook: The Art of Automatic Memory Management》（R. Jones 等人著）讲到了一些。

若是你熟悉低级编程，关于 V8 引擎垃圾接纳器的更详细信息请参阅文章 V8 的垃圾接纳：垃圾接纳。

V8 博客还不时公布关于内存治理转变的文章。固然，为了学习垃圾 *** ，你更好通过学习 V8 引擎内部知识来举行准备，并阅读一个叫 Vyacheslav Egorov 的 V8 引擎工程师的博客。我之以是说『V8』，由于它最容易在互联网上找到文章。对于其他引擎，许多方式是相似的，但在垃圾 *** 上许多方面有所差别。

当你需要低级其余优化时，对引擎的深入领会是很好的。在熟悉了该语言之后，把熟悉引擎作为下一步是明智的。

作者：LeviDing
https://zh.javascript.info/garbage-collection