JavaScript的垃圾收集机制-CSDN博客

小伙伴们，好久不见最近偷懒一直没有更新文章，今天我就给大家分享一下，我在红皮书上看到的“JavaScript的垃圾回收机制”。

作用域
垃圾收集
- 标记清除
- 引用计数
- 性能问题
- 管理内存

小伙伴们咱们想要透彻的了解垃圾回收机制，那么咱们就需要知道为什么要有存在垃圾回收机制，垃圾回收机制是用来解决的什么，带着这些疑问咱们看下面的文章。

作用域

什么是执行环境？执行环境是JavaScript中最为重要的一个概念，执行环境定义了变量或者函数有权访问的其他数据，决定了它们各自的行为。每个执行环境都有一个与之关联的变量对象。环境中定义的所有变量和函数都保存在这个对象中。虽然我们编写代码的时候无法访问这个对象，但是解析器在处理数据时会在后台使用这个变量。

全局执行环境是最外围的一个执行环境，根据ECMAScript实现所在的宿主环境不同，表示执行环境的对象也不一样。在web浏览器全局被认为是window对象，因此所有的全局变量和函数都是作为window对象的属性和方法创建的。某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中所有变量和函数定义随之被销毁（当浏览关闭或者关闭网页的时候window就会被销毁）。

每个函数都有自己的执行环境。当执行流进入一个函数时，函数的环境会被推入一个环境栈中。这个环境栈中就是作用域，而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。

当代码在一个环境中执行时，会创建变量对象的一个作用域链，作用域链的用途，是保证对执行环境有权访问的所有变量和函数是有序的访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数，则将其活动对象作为变量对象。活动对象在最开始时只包含一个变量，即arguments对象（这个对象在全局环境中是不存在的）。作用域链中的下一个变量对象来自包含（外部）环境，而在下一个变量对象则来自下一个包含环境。这样一种延续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。

简单来说其实作用域链是大的作用域中嵌套小的作用域，小的作用域嵌套更小的作用域，最小的作用域可以访问它的父级作用域里面的变量和方法，但是不可以访问父级同级的作用域，简单来说在最小的一个作用域中去查找当前最小作用域中没有的变量，那么就会去最小作用域父级的环境中去查找，如果能找到就直接使用，如果没有的话接着去父级的父级去查找，直到window前端最大作用域下去查找，查不到的话，就会出问题（在使用的情况下，赋值的就会在window下面直接添加一个对象，且不会报错），但是父级的不能访问子级的变量

例

const color = 'blue';
const changeColor =()=>{
    const processColor={
        'red':'blue',
        'blue':'red'
    }
    return processColor(color)||''
}
console.log("Color is now " + changeColor());
复制代码

在这个简单示例中，函数changeColor（）的作用域包含两个对象：它自己的变量对象（本身自带arguments对象）和全局环境的变量对象。可以在函数内部访问外部变量color，就是因为可以在这个作用域中找到它。

此外，在局部定义的变量可以和全局的变量相互使用，如下面这个实例：

let color='blue'
const changeColor =()=>{
    const autherColor = 'red';
    const swapColor = ()=>{
        let tempColor = autherColor;
        aitherColor = color;
        //这是最小的作用域 可以访问父级所有变量
    }
    // 这里可以访问父级 color变量和自己的autherColor、swapColor变量
    swapColor()
}
changeColor()
这里只能访问color

复制代码

以上代码共涉及3个执行环境：全局环境、changeColor的局部环境和swapColor()的局部环境。全局环境中有一个变量Color和一个函数changeColor（）。changeColor（）的局部环境中包含autherColor变量和swapColor函数，但它可以访问全局环境中的变量color，swapColor()的局部环境只有一个变量tempColor，该变量只能在本环境中访问到。无论是全局环境还是changeColor的局部环境都无权访问tempColor，然而swapColor可以访问其他两个环境变量，因为这个全局和changeColor都是swapChange的父级环境。看下面作用域链图

上面的矩形图表示特定的执行环境。其中，内部环境可以通过做作用域链访问所有外部环境的变量，但是外部的不能访问内部的任何变量和函数。这些环境之间的联系是线性、有次序的。每个环境都可以向上搜索作用域链，来查找变量和函数名；但是任何环境不能通过向下搜索作用域链而进入另一个执行环境。 函数参数也被当做变量来对待，因此其访问规则和环境变量相同。

没有块级作用域

JavaScript没有块级作用域经常导致理解上的困惑。在其他类c的语言中，又花括号封闭的代码块都有自己的作用域，因而支持根据条件来定于变量。例如，下面的代码在JavaScript中并不会得到想要的结果

if(true){
    var color = 'blue'
}
alert(color) // blue 调用alert都会做一操作 "变量.toString（）""
复制代码

这里是一个if语句中定义了变量color。如果在c、c++或者java中，color会在if语句执行完毕被销毁。但是在javaScript中，if语句中的变量会将变量添加到当前的执行环境中。在使用for语句时尤其要牢记一差异，例如

for(var i=0;i<10;i++){
    dosomething(i);
}
alert(color)// 10 调用alert都会做一操作 "变量.toString（）""
复制代码

对于块级作用域的语言来说，for语句初始化变量的表达式所定义的变量，只会存在在于循环的环境变量中。而JavaScript来说，由for语句创建的变量i即使在for结束后，也依旧存在于循环外部的执行环境

1.声明变量

使用var声明变量会自动被添加到最近的环境中。在函数内部，最近的环境就是函数的局部环境；如果初始化变量时没有使用var声明，该变量就会自动被添加到全局环境，如下

function add (num1,num2){
    var sum=num1+num2;
    return sum;
}
var result  = add (10,20)// 30
alert(sum) // 由于sum不是有效的变量，会导致错误
复制代码

以上代码中的函数add()定义了sum局部变量，该变量包含加法操作的结果。虽然结果值从函数中返回了，但变量sum在函数外部访问不到的。如果省略这个例子中的var关键字，那么当add（）执行完毕后，那么sum也将可以访问到；

function add(num1,num2){
    sum = num1+num2;
    return sum;
}
var result = add(10,20);//30
alert(sum);//30
复制代码

这样例子中的变量sum在被初始化赋值时没有使用var关键字。于是，当调用完add（）之后，添加到全局环境的变量sum将继续存在；即使函数已经执行完毕，后面的代码依旧可以访问它。在编写JavaScript代码过程中，不声明而直接初始化变量是一个常见的错误做法，因为会导致意外。我们建议在初始化变量之前，一定要先声明，这样就可以避免类似问题。在严格模式下，初始化未经声明的变量会导致错误

查询标识符

当中某个环境中为了读取或写入而引入标识符时，必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域的前端开始，（当前作用域最底层），向上逐级查询与给定名字匹配的标识符。如果在局部环境中找到该标识符，搜索停止，变量就绪，如果局部环境中没有找到该变量名，则继续沿作用域链上搜索。搜索过程将一直追溯到全局环境的变量对象。如果全局环境中也没有找到这个标识符，则意味着该变量尚未声明

通过下面示例，可以理解查询标识符的过程：

var color = 'blue';
function getColor(){
    retur color;
}
console.log(getColor().toString())//blue
console.log(getColor().toString())===alert(getColor())
复制代码

调用本例中的函数getColor（）时会引用变量color。为了确定color的值，将开始一个两步的搜索过程。首先，搜索getColor的变量对象，查找其中是否包含一个名为color的标识符。在没有找到的情况下，搜索继续到下一个变量对象（全局变量的变量对象），然后在哪里找到了名为color的标识符，搜索过程宣布结束。

在搜索过程中，如果存在一个局部的变量定义，则就会停止搜索，不会在进入下一个变量对象。如果在当前的局部变量找到就不会去父级环境中查找

垃圾回收集

JavaScript 具有自动垃圾收集机制，也就是说，执行环境会负责管理代码执行过程中使用的内存。而在c、c++之类的语言中，开发人员的一项基本的任务就是手动跟踪内存的使用情况，这是创造许多问题的一个根源。在编写JavaScript程序时，开发人员不用在担心内存问题，所需内存的分配以及无用内存的回收完全实现了自动管理。这种垃圾回收机制的原因含简单：找到那些不在继续使用的变量，然后释放占其内存。为此，垃圾回收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性的执行这一操作。

下面我们来分析一下函数中局部变量的生命周期。局部变量只在函数执行的过程中存在。而这个过程中，会为局部变量在栈（或堆）内存上分配相应的空间，以便存储它们的值。然后在函数中使用这些变量，直到函数执行结束。此时，局部变量就没有存在的必要；单非所有的情况下都这么容易就能得出结论。垃圾回收器必须跟踪那个变量有用那个变量没有用，对于不在有用的变量打上标记，以备将来收回其占用的内存。由于标识无用变量的策略会导致异常，但是浏览器中的实现，则通常有两个策略。

标记清楚

JavaScript中最常用的垃圾收集方式是标记清楚（mark-and-sweep）。当变量进入环境（例如，在函数中声明一个变量）时，就将变量标记为“进入环境”。逻辑上讲，永远不能释放进入环境的变量所占的内存，因为只要执行流入相应的环境，就有可能会用到它们，而变量离开环境时，将其标注为“离开环境”。

可以使用任何的方式来标记变量。比如，可以通过翻转某个特殊的位来记录一个变量发生的变化。说到底，如何标记一个变量其实并不重要，关键的在于采用什么策略。

垃圾收集器在运行的时候会给存在内存的所有变量都加上标记（当然，可以使用任何标记方式）。然后，它会去掉环境中的变量以及被环境中的变量引用的变量标记。而在此之后再被加上标记的变量将视为准备删除的变量，原因是环境中的变量已经无法访问到这个变量了。最后，垃圾收集器完成内存清楚的工作，销毁那些带标记的值并回收它们所占用的内存空间。2008年为止，IE、Firefox、Opera、Chrome和Safari的JavaScript实现使用的都是标记清楚方式的垃圾收集策略，只不过垃圾收集的时间间隔有所不同

引用计数

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

Netscape Navigator3.0 是最早使用引用技术策略的浏览器，但是很快就发现一个严重的问题：循环引用。循环引用指的是对象A中包含对象B的指针，而对象B中也包含一个指针对象A的引用。看下面的例子

function problem(){
    var objectA = new Object();
    var objectB = new Object();
    objectA.someOtherObject = objectB;
    obhectB.someOtherObject = objectA;
}
复制代码

在这个例子中，objectA 和 objectB 通过各自的属性相互引用；也就是说，这两个对象的引用次数都是2.在采用标记清楚策略的实现中，由于函数执行后，这两个对象都离开了作用域，因此这种相互引用不是问题，但是采用计数策略的实现中，当函数执行后，objectA和objectB还将继续存在，因为他们的引用次数永远不会是0.加入这个函数被重复多次调用，就会导致大量的内存得不到回收。为此。Netscape Navigator4.0 放弃了引用计数方式，转而采用了标记清楚来实现其垃圾回收机制，可是引用计数导致的麻烦并未就此终结。

我们知道，IE中有一部分对象并不是原生JavaScript对象，例如， BOM、DOM中的对象就是使用c++以COM（Component Object Model ，组件对象模型）对象的形式实现的，而COM对象的垃圾回收集机制采用的就是引用计数策略。因此，即使IE的JavaScript引擎使用标记清除策略来实现的，单数JavaScript访问COM对象依然是基于计数策略的。只要是涉及到COM对象的使用就有可能存在循环引用的问题，为了解决避免这个循环引用的问题，在IE9一下的版本不要是类似一下的操作

var element = document.getElementById('some_elelment');
var myObject = new Object();
myObject.element = element;
element.someObject =element 
// 如果使用最好有一下操作 ，手动清楚
myObject=null；
element=null；
复制代码

为了解决上面的问题 IE9把BOM和DOM对象都转换成了真正的JavaScript对象，这样就避免了两种垃圾收集算法并存导致的问题，也消除了常见的内存泄露。

性能问题

垃圾收集器是周期性运行的，而且如果变量分配的内存数量很可观，那么回收工作也是相当大的。这种情况下，确定垃圾收集时间间隔是一个非常重要的问题。说道垃圾收集器多长时间运行一次，不禁让人联系到IE因此而名声狼藉的性能问题。IE的垃圾收集器是根据内存分配运行的，具体一点就是256个变量，4096个对象（或者数组）字面量和数组元素（slot）或者64kb的字符串。达到上述任何一个临界值，垃圾收集器就会运行。这种实现方式的问题在于，如果一个脚本包含那么多变量，那么该脚本很有可能会在其生命周期中一直保有那么多的变量。这样一来，垃圾收集器不得不频繁地运行。结果，由此引发的严重性能问题促使IE7重新写了其垃圾收集例程。

随着IE7的发布，JavaScript引擎的垃圾收集例程改变了工作方式：触发垃圾收集的变量分配、字面量和数组元素的临界值被调整为动态修正。IE7中的各项临界值在初始化的与IE6相等。如果垃圾收集例程回收的内存分配量低于15%，则变量、字面量和数组元素的临界就会加倍。如果回收例程在85%的内存分配量，则将各种临界值重置到默认值。这一看似简单的调整，也极大地提升了IE在运行包含大量JavaScript的页面时的性能，实际上，在有的浏览器上可以触发垃圾收集过程，但我们不建议读者这样做。在IE中，调用window.CollectGarbage()方法就会立即执行垃圾收集。在Opera7以及更高的版本中，调用window.opera.collect()也会启动垃圾收集历程

管理内存

使用具备垃圾收集机制的语言编写程序，开发人员一般不必操心内存管理的问题，但是，JavaScript在进行内存管理及垃圾收集时面临的问题还是有点与众不同的。其中一个主要的问题，就是分配web浏览器可用内存的数量通常要比分配桌面应用程序少。这样做的目的主要是出于安全方面的考虑，目的是防止运行JavaScript的网页耗尽全部系统内存而导致系统崩溃。内存限制问题不仅会影响给变量分配内存，同时还影响调用栈以及在一个线程中能够同时执行的语句数量。

因此，确保占用最少的内存可以让页面获得更好的性能。而优化内存占用的最佳方式，就是为执行中的代码只保存必要的数据。一单不在使用，最好使用null来释放其引用----这个叫做解除引用（dereferencing）。这一做法适用于大多数全局变量和全局对象。局部变量会在它们离开执行环境时自动被解除引用，如下面的例子：

function createPerson(name){
    var localPerson = new Object();
    localPerson.name = name;
    return localPerson;
}
var globalPerson = createPerson('Nicholas');
// 手动解除 globalPerson的引用
globalPerson = null；
复制代码

在这个例子中，变量globalPerson取得了createPerson（）函数返回的值。在createPerson（）函数内部，我们创建了一个对象并将其赋给局部变量localPerson，然后又为该对象添加一个属性name。最后，当调用这个函数时，localPerson以函数值的形式返回并赋值给全局变量globalPerson。由于localPerson在createPerson（）执行完毕后就离开了其执行环境，因此无需我们显式地去为它解除引用。但是对于全局变量globalPerson而言，则需要我们在不使用它的时候手工为它解释引用，这也是上面例子中最后一行代码的目的。

不过，解除一个值的引用并不意味着自动回收该值所占用的内存。解除引用的真正作用是让值脱离执行环境，以便垃圾收集器下次运行时将其收回。

小结 JavaScript变量可用来保存两种类型的值：基本类型值和应用类型值，基本类型的值源自以下5中基本类型：Undefined、Null、Boolean、Number、String。基本类型值和引用类型值有一下特点：

基本类型值在内存中占据固定大小的空间，因此保存在栈内存中
从一个变量向另一个变量复制基本类型的值，会创建这个值的副本；
引用类型的值是对象，保存在堆内存中中；
包含引用类型值的变量实际上包含的并不是对象的本身，而是一个指向该对象的指针；
从一个变量向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终指向同一个对象