js垃圾回收机制

1. 垃圾回收的定义和目的

垃圾回收（Garbage Collection）是指计算机程序中自动管理内存的一种机制。它的主要目的是回收不再使用的内存空间，以便该空间可以被重新分配给其他需要使用的对象。

在计算机程序中，动态分配内存是很常见的操作。当我们创建新的对象或数据结构时，需要为它们分配内存空间。然而，当这些对象或数据结构不再被程序所使用时，如果不进行垃圾回收，这些不再使用的内存空间将一直占用系统资源，导致内存泄漏的问题。

垃圾回收的定义是自动检测和释放不再被使用的内存空间，以便系统可以重新利用该空间。它通过识别不再被程序所引用的对象，并将其标记为垃圾，然后释放相关的内存空间。这样可以提高系统的内存利用率和性能，并减少内存泄漏和内存溢出等问题的发生。

2.标记清除

JavaScript 最常用的垃圾回收策略是标记清理（mark-and-sweep）。当变量进入上下文，比如在函数 内部声明一个变量时，这个变量会被加上存在于上下文中的标记。而在上下文中的变量，逻辑上讲，永 远不应该释放它们的内存，因为只要上下文中的代码在运行，就有可能用到它们。当变量离开上下文时， 也会被加上离开上下文的标记。

给变量加标记的方式有很多种。比如，当变量进入上下文时，反转某一位；或者可以维护“在上下 文中”和“不在上下文中”两个变量列表，可以把变量从一个列表转移到另一个列表。标记过程的实现 并不重要，关键是策略。

垃圾回收程序运行的时候，会标记内存中存储的所有变量（记住，标记方法有很多种）。然后，它 会将所有在上下文中的变量，以及被在上下文中的变量引用的变量的标记去掉。在此之后再被加上标记的变量就是待删除的了，原因是任何在上下文中的变量都访问不到它们了。随后垃圾回收程序做一次内 存清理，销毁带标记的所有值并收回它们的内存。

到了 2008 年，IE、Firefox、Opera、Chrome 和 Safari 都在自己的 JavaScript 实现中采用标记清理（或 其变体），只是在运行垃圾回收的频率上有所差异

3. 引用计数

另一种没那么常用的垃圾回收策略是引用计数（reference counting）。其思路是对每个值都记录它被 引用的次数。声明变量并给它赋一个引用值时，这个值的引用数为 1。如果同一个值又被赋给另一个变 量，那么引用数加 1。类似地，如果保存对该值引用的变量被其他值给覆盖了，那么引用数减 1。当一 个值的引用数为 0 时，就说明没办法再访问到这个值了，因此可以安全地收回其内存了。垃圾回收程序 下次运行的时候就会释放引用数为 0 的值的内存。

4. 分代式回收

分代式垃圾回收（Generational Garbage Collection）是一种垃圾回收策略，主要用于管理具有不同生命周期的对象。

通常情况下，对象的生命周期可以划分为不同的阶段。例如，大部分对象在创建后很快就变得不再使用，而只有少数对象具有较长的生命周期。基于这种观察，分代式垃圾回收将堆内存分为不同的代，每一代代表了对象的不同生命周期阶段。

一般来说，分代式垃圾回收可以将堆内存划分为新生代（Young Generation）和老年代（Old Generation）两个部分，有时还可能存在一个中年代或者更多的代。具体的代划分方式可能因不同的垃圾回收器而有所不同。

新生代一般用于存放新创建的对象，这些对象的生命周期较短。为了提高垃圾回收的效率，新生代采用了一些高效的垃圾回收算法，比如复制算法（Copying）或者标记-清除算法（Mark and Sweep）等。由于新生代中的对象往往是大量产生和销毁的，通过频繁回收新生代的垃圾，可以提高垃圾回收的效率。

老年代则用于存放长时间存活的对象，这些对象的生命周期较长。由于老年代中的对象相对稳定，垃圾回收频率相对较低。一般情况下，老年代采用了更成熟和稳定的垃圾回收算法，比如标记-压缩算法（Mark and Compact）等。

分代式垃圾回收的优点在于通过将内存按对象的生命周期划分成不同的代，可以根据不同代的特点采用不同的垃圾回收策略和算法，提高垃圾回收的效率和性能。同时，对于大部分对象的短生命周期，新生代的回收机制能够更快地释放内存空间，减少整个堆内存的压力。

然而，实际的分代式垃圾回收算法和具体的代划分方式会因不同的编程语言、垃圾回收器和运行时环境而有所不同。因此，在具体使用时，需要根据实际情况选择和调整垃圾回收的参数和策略。

5. 内存泄露

写得不好的 JavaScript 可能出现难以察觉且有害的内存泄漏问题。在内存有限的设备上，或者在函 数会被调用很多次的情况下，内存泄漏可能是个大问题。JavaScript 中的内存泄漏大部分是由不合理的 引用导致的。

意外声明全局变量是最常见但也最容易修复的内存泄漏问题。下面的代码没有使用任何关键字声明 变量：

function setName() { name = 'Jake'; }

此时，解释器会把变量 name 当作 window 的属性来创建（相当于 window.name = 'Jake'）。 可想而知，在 window 对象上创建的属性，只要 window 本身不被清理就不会消失。这个问题很容易 解决，只要在变量声明前头加上 var、let 或 const 关键字即可，这样变量就会在函数执行完毕后离 开作用域。

定时器也可能会悄悄地导致内存泄漏。下面的代码中，定时器的回调通过闭包引用了外部变量：

let name = 'Jake'; setInterval(() => { console.log(name); }, 100);

只要定时器一直运行，回调函数中引用的 name 就会一直占用内存。垃圾回收程序当然知道这一点， 因而就不会清理外部变量。

使用 JavaScript 闭包很容易在不知不觉间造成内存泄漏。请看下面的例子：

let outer = function() { let name = 'Jake'; return function() { return name; }; };

调用 outer()会导致分配给 name 的内存被泄漏。以上代码执行后创建了一个内部闭包，只要返回 的函数存在就不能清理 name，因为闭包一直在引用着它。假如 name 的内容很大（不止是一个小字符 串），那可能就是个大问题了