JavaScript垃圾回收机制

JavaScript具有自动垃圾回收机制，也就是说，执行环境会负责管理代码执行过程中使用的内存。在编写JavaScript程序时，开发人员不用担心内存使用问题，所需内存的分配以及无用内存的回收完全实现了自动管理。

1、垃圾回收机制的原理

       这种垃圾回收机制的原理其实很简单：找出那些不在继续使用的变量，然后释放其不在占用的内存。所以，垃圾收集器会按照固定的时间间隔（或代码执行预定的收集时间），周期性的执行这个操作。
       所以我们来具体分析一下函数中局部变量的正常声明周期。局部变量只在函数执行的过程中存在。而在这个过程中，会为局部变量在栈（或堆）的内存上分配相应的空间，以便存储他们的值。
例如：

var a = 20;//在内存中给数值变量分配空间
alert(a+100);//使用内存
a = null;//使用完毕后，释放内存空间

       然后在函数中使用这些变量，直至函数执行结束。此时，局部变量就没有存在的意义了，因此可以释放他们的内存以供将来使用。在这种情况下，很容易判断变量是否含有存在的必要，但不是所有的情况下都这么容易得出结论。垃圾收集器必须跟踪哪个变量有用哪个变量没用。
例如下面这段代码：

let color = 'red'

function change(){
let my_color = 'blue'
color = 'green'
}

change();

       函数change在执行时，声明了一个局部变量my_color，在函数执行完毕后，这个局部变量就没有作用了，所以垃圾回收机制就会将这个没用的局部变量my_color给清除掉。
       对于不在有用的变量打上标记以便将来收回其所占用的内存用于标识无用变量的策略可能会因实现而异，但具体到浏览器的实现，则通常有两个策略。

2、清除策略

1、标记清除

       这是JavaScript中最常用的垃圾回收方式。当变量进入环境（例如，在环境中申明一个变量）时，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为‘离开环境’。
       垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记。然后，他会去掉环境变量中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问到这些变量了。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收他们所占用的内存空间。
例如：

function fn(){
var a = 10;//被标记，进入环境
var b = 20;//被标记，进入环境
}
fn();//执行完毕后，a,b又被标记离开环境

2、引用计数

       另一种不太常见的垃圾收集策略叫做引用计数。引用计数的含义是跟踪记录每个值被引用的次数。当声明了一个变量并将一个引用类型值赋给该变量时，则这个值的引用次数就是1，如果同一个值又被赋给另一个变量，则该值的引用次数加1。相反，如果包含对这个值引用的变量又取得了另一个值，则这个值的引用次数减1.当这个值的引用次数变成0时，则说明没有办法在访问这个值，因而就可以将其所占用的内存空间回收回来。如此，当垃圾收集器下次再运行时，就会释放那些引用次数为0的值所占用的内存。
例如：

const user1 = {age：11}
const user2 = {age：12}
const user3 = {age：13}
const userList = [uaer1.age,user2.age,user3.age]

上述代码中，当执行过一遍后，user1、user2、user3都会被userList引用，所以他们的引用计数不为0，则不会被回收。
再比如：

function fn(){
var num1 = num1;
var num2 = num2;
}
fn();

在上述代码中，当函数执行完毕，num1和num2都是局部变量，执行之后，其引用计数为0，则这样的代码就会被被回收掉。
但是在这里，还有一个问题，即循环引用。
所谓循环引用，就是对象A中包含一个对象B的指针，而对象B中也包含了一个对象A的指针。
如下例：

function promble(){
var objectA = new Object;
var objectB = new Object;

objectA.someOtherObject = objectB;
objectB.anotherObject = objectA;

上例中，objectA和objectB通过各自的属性相互引用；即，这两个对象的引用次数都是2。在采用标记清除策略的实现中，由于函数执行之后，这两个对象都离开了作用域，因此相互引用不是问题。但是在采用引用计数策略的实现中，当函数执行完毕后，，objectA和objectB还将继续存在，因此他们的引用次数不会为0。假如这个函数被重复多次调用，就会导致大量内存得不到回收。

3、性能问题

       垃圾收集器是周期性运行的，而且如果为变量分配的内存数量很可观，那么回收工作量也是相当大的。在这种情况下，确定垃圾收集的时间间隔是一个非常重要的问题。说到垃圾收集器多长时间运行一次，不禁让人联想到IE因此而声名狼藉的性能问题。IE的垃圾收集器是根据内存分配量运行的，具体一点说就是 256个变量、4096 个对象(或数组)字面量和数组元素(slot) 或者64KB的字符串。达到上述任何一个临界值，垃圾收集器就会运行。这种实现方式的问题在于，如果一个脚本中包含那么多变量那么该脚本很可能会在其生命周期中直保有那么多的变量。而这样一来， 垃圾收集器就不得不频繁地运行。结果，由此引发的严重性能问题促使IE7重写了其垃圾收集例程。
       随着IE7的发布，其JavaScript引擎的垃圾收集历程改变了工作方式：触发垃圾收集的变量分配、字面量和数组元素的临界值被调整为动态修正。IE7中的各项临界值在初始时与IE6相等，如果垃圾收集例程回收的内存分配量低于15%，则变量、字面量和数组元素的临界值就会加倍。如果例程回收了85%的内存分配量，则将各种临界值重置为默认值。

4、管理内存

       JavaScript在进行内存管理及垃圾收集时面临的最主要的一个问题是：分配给Web浏览器的可用内存数量通常要比分配给桌面的应用程序少。这样做的目的是出于安全方面的考虑，目的是防止运行JavaScript的网页耗尽全部系统内存而导致系统崩溃。内存限制问题不仅会影响给变量分配内存，同时还会影响调用栈以及在一个线程中能够同时执行的语句数量。
       因此，确保占用最少的内存。可以让页面而优化内存占用的最佳方式就是为执行中的代码，只保存必要的数据。一旦数据不再有用，最好通过将其值设置为null来释放其引用。这个做法叫做解除引用。
       不过，解除一个值的引用并不意味着自动回收该值所占用的内存。解除引用的真正作用是让值脱离执行环境，以便垃圾收集器下次运行时将其回收。