第四章 变量、做用域和内存问题

按照ECMA-262定义，JavaScript的变量松散类型的本质，决定了：

• 它还只是在特定时间用于保存特定值的一个名字而已。

• 变量的值及其数据类型能够再脚本的生命周期内改变。

4.1 基本类型和引用类型的值

• 基本类型

  • 简单的数据段(Undefined、Null、Bollean、Number和String)；

  • 基本类型变量按值进行访问，由于能够操做保存在变量中的实际的值。

• 引用类型

  • 可能由多个值构成的对象；

  • 是保存在内存中的对象；

  • 与其它语言不一样，JavaScript不容许直接访问内存中的位置，即不能直接操做对象所在的内存空间。实际操做时，是在操做对象的引用而不是实际的对象。这就是所谓的 引用类型的值是按引用访问的。（书中注释提出：这种说法不严密，当复制保存这对象的某个变量时，操做是对对象的引用。但在为对象添加属性时，操做的是实际的对象。----图灵社区"壮壮的前端之路"注）

4.1.1 动态的属性

参考：http://segmentfault.com/a/1190000002789651

基本类型和引用类型变量定义方式相同：建立一个变量并为该变量赋值。
而不一样类型值可执行操做则截然不同，例如只能给引用类型值动态地添加属性：

• 引用值类型

  var person = new Object();
  person.name = "Nicholas";
  alert(person.name); //"Nicholas"
  //若是对象不被销毁或name属性不被删除，则这个属性将永远存在。

• 基本类型

  var name = "Nicholas";
  name.age = 27;
  alert(name.age); //undefined
  //为基本类型变量添加属性不会报错，但没法访问。

4.1.2 复制变量值

• 基本类型

  • 基本类型的变量存放在栈区（内存中的栈内存）的。

  • 从一个变量向另外一个变量复制时，会在变量对象上建立一个新值，而后把该值复制到为新变量分配的位置上。两个变量能够参与任何操做而不相互影响。例如：

var num1 = 5;
    var num2 = num1;
    num1= 6;
    console.log(num2); //5

• 引用类型

  • 引用类型的值同时保存在栈内存和堆内存中。栈区保存变量标识符和指向对内存中该对象的指针。

  • 从一个变量向另外一个变量复制时，会将存储在变量对象中的只复制一份放到为新变量分配的空间中。但，这个值其实是一个指针，这个指针指向存储在堆中的一个新对象。复制结束后，两个变量实际上将引用同一个对象。改变其中一个变量，就会影响另外一个，例如：

var obj1 = new Object();
    var obj2 = obj1;
    obj1.name = "Nicholas";
    alert(obj2.name); //"Nicholas"

4.1.3 传递参数

ECMAScript中全部函数的参数都是按值传递的。即把函数外部的值赋值给函数内部的参数，等价于把值从一个变量复制到另外一个变量同样。能够把ECMAScript函数的参数理解为局部变量。例如：

• 基本类型

function addTen(num){
        num += 10；
        return num;
    }
    var count = 20;
    var result = addTen(count);
    alert(count); //20
    alert（result）; //30

• 引用类型

function setName(obj){
        obj.name = "Nicholas";
        obj = new Object();
        obj.name = "Greg";
    }
    var person = new Object();
    setName(person);
    alert(person.name); //"Nicholas"

    //即便在函数内部修改了参数的值，希望是的引用仍然保持不变。
    //实际上，当在函数内部重写obj时，这个变量引用改的就是一个局部对象了。而这个局部对象会在函数执行完毕后当即被销毁。

4.1.4 检测类型

• typeof 检测基本数据类型

var s = "Nicholas";
var b = true;
var i = 22;
var u;
var n = null; //注意：使用typeof操做符，null返回object
var o = new Object;

alert(typeof s); //string
alert(typeof b); //bollean
alert(typeof i); //number
alert(typeof u); //undefined
alert(typeof n); //object
alert(typeof o); //object

• instanceof 检测引用值类型值是何种类型的对象

语法：result = variable instanceof constructor

若是变量是给定引用类型（根据它的原型链来识别，见第6章）的实例，instanceof返回true.

var person = new ();
    var color = ["blue","yellow","red"];

    alert(person instanceof Object);//true
    alert(color instanceof Array); //true

4.2 执行环境及做用域

执行环境 定义了变量或函数有权访问的其余数据，决定了他们各自的行为。每一个执行环境都有一个与之关联的变量对象(variable object), 环境中定义的全部变量和函数都保存在这个对象中。（这个对象咱们没法访问，解析器在处理数据时在后台使用。）

全局执行环境 表示最外围的执行环境。在Web浏览器中，全局环境被认为是window对象（详见第7章）。所以全部全局变量和函数都是做为window对象的属性和方法建立的。某个执行环境中的全部代码执行完毕后，该环境被销毁，保存在其中的全部变量和函数定义也随之销毁（全局执行环境知道应用程序退出---例如关闭网页或浏览器时才会被销毁）。

每一个函数都有本身的执行环境。当执行流进入一个函数时，函数的环境会被推入一个环境栈中。而函数执行以后，栈将其弹出，把控制权返回给以前的执行环境。ECMAScript程序中的执行流正是由这个方便的机制控制着。

做用域链(scope chain)---代码在一个环境中执行时，会建立变量对象的做用域链。用于保证对执行环境有权访问的全部变量和函数的有序访问。做用域链的前端，始终都是当前执行的代码所在环境的变量对象，若是是个函数，则将其活动对象(activation object)做为变量对象。活动对象在最开始时只包含一个变量，即arguments对象（这个对象在全局环境中不存在）。做用域链中的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局环境 ；全局执行环境的变量始终都是自做用域链中的最后一个对象。

标识符解析 是沿着做用域链一级一级地搜索标识符的过程。搜索过程始终从更做用域链的前端开始，而后逐级地向后回溯，知道找到标识符位置（若找不到，一般会致使错误）。

例如：

var color = "blue";

function changeColor(){
    if(color === "blue"){
        color = "red";
    }else{
        color = "blue";
    }
}
//changeColor()的做用域链包含两个对象：他本身的变量对象（其中定义着arguments对象）和全局环境的变量对象。
//能够在函数内部访问变量color，就是由于能够在这个做用域中找到它。

changeColor();
alert("Color is now" + color);

此外，在局部做用域定义的变量能够再局部环境中与全局变量互换使用。例如：

var color = "blue";

function changeColor(){
    var anotherColor = "red";

    function swapColors(){
        var tempColor = anotherColor;

        anotherColor = color;
        color = tempColor;
        //这里能够访问color,anotherColor和tempColor
    }
    //这里能够访问color和anotherColor, 但不能访问tempColor
}
//这里只能访问color
changeColor();

• 内部环境能够经过做用域链访问全部的外部环境，但外部环境不能访问内部环境中的任何变量和函数；

• 这些环境之间是线性的、由次序的；

• 每一个环境均可以向上搜索做用域链，以查询变量和函数名，但任何环境都不能经过向下搜索做用域链而进入另外一个执行环境；

• 函数参数也被看成变量来对待，所以访问规则与执行环境中的其余变量相同。

4.2.1 延长做用域链

下列两个语句能够再做用域链的前端临时增长一个变量对象，该变量对象会在代码执行后被移除。具体来讲，就是当执行流进入下列任一语句时，做用域链就会获得加长。

//try-catch语句的catch块;
//with语句;

例如：

function buildUrl(){
    var qs = "?debug=true";

    with(location){
        var url = href + qs;
    }
    return url;
}

• with语句接受了一个location对象，所以其变量对象中就包含了location对象的全部属性和方法，而这个变量对象被添加到了做用域链的前端。

• buildUrl()函数中定义了了一个变量qs.当在with语句中引用变量href时（实际引用的是location.href），能够再当前执行环境的变量对象中找到。当引用了变量qs时，引用改的则是在buiildUrl()中定义的那个变量，而该变量位于函数换进改的变量对象中。

• 至于with语句内部，则定义了一个名为url的变量，于是url变量就成了函数执行环境的一部分，因此能够做为函数的值被返回。

4.2.2 没有块级做用域

1. 声明变量

• 使用var声明的变量会自动被添加到最接近的环境中。在函数内部，最接近的环境就是函数的局部环境；在with语句中，最接近的环境是函数环境。

• 若是初始化变量时没有使用var, 改变两会自动被添加到全局变量。

例如：

function add(num1, num2){
    var sum = num1 + num2;
    return sum;
}
var result = add(10, 20); //30
alert(sum); //报错

//若省略第二行的var, 那么add()执行完毕后，sum依然能够被访问到，alert(sum)返回30.

在严格模式下，初始化未声明变量会致使错误。

2. 查询标识符

查询标识符过程：
当在某个环境中为了读取或写入而引用一个标识符时，必须经过搜索来肯定该标识符实际表明什么。搜索过程从做用域链的前端开始，向上 逐级查询与给定名字匹配的标识符。若是在局部环境中找到了该标识符，搜索过程中止，变量就绪。若是在局部环境没有找到该变量名，则继续沿做用域链向上搜索。搜索过程一直追溯到全局环境的变量对象。

例如：

var color = "blue";
function getColor(){
    return color;
}

alert(getColor()); //"blue"

调用getColor()时，用到了变量color.为了肯定变量color的值，将开始搜索：

1. 搜索getColor()的变量对象，查找其中是否包含一个名为color的标识符，没找到，进行第2步；

2. 向上继续搜索到了定义这个变量的变量对象（全局环境的变量对象），找到了名为color的标识符。

注：在这个过程当中，若是存在一个局部的变量的定义，则搜索自动中止，再也不进入另外一个变量对象。即若是局部环境中存在着同名标识符，就不会使用位于父环境中的标识符。

例如：

var color = "blue";

function getColor(){
    var color = "red";
    return color;
}

alert(getColor()); //"red"

查询变量是有代价的。很明显，访问局部变量要比访问全局变量更快，由于不用向上搜索做用域链。JavaScript引擎在优化标识符查询方面作得不错，所以这个差异在未来恐怕就能够忽略不计了。

4.3 垃圾收集

JavaScript具备自动垃圾收集机制。（执行环境会负责管理代码执行过程当中使用的内存）

函数中局部变量的正常生命周期：

1. 局部变量只在函数执行的过程当中存在。而在这个过程当中，会为局部变量在栈（或堆）内存上分配相应的空间，以便存储他们的值；

2. 而后在函数中使用这些变量，直至函数执行结束；

3. 此时，即可以释放局部变量的内存以供未来使用。

不一样浏览器，一般有两个策略：标记清除、引用计数。

4.3.1 标记清除

JavaScript中最经常使用的垃圾收集方式是标记清除(mark-and-sweep). 当变量进入环境（例如，在函数中声明一个变量）时，就将这个变量标记为“进入环境”。从逻辑上说，永远不能释放进入环境的变量所占用的内存，由于只要执行流进入相应的环境，就可能会用到他们。而当变量离开环境是，则将其标记为“离开环境” 。

可使用任何方式来标记变量。好比，经过翻转某个特殊的位来记录一个变量什么时候进入环境，或者使用一个“进入环境的”变量列表一个“离开环境的”变量列表来跟踪那个变量发生了变化。采起什么策略好比何标记更重要。

垃圾收集器的内存清除工做：

1. 垃圾收集器 在运行的时候会给存储在内存中的全部变量都加上标记（固然，可使用任何标记方式）；

2. 它会去掉环境中的变量以及被环境中的变量引用的变量的标记；

3. 而在此以后再被加上标记的变量将被视为准备删除的变量。由于环境中的变量已经没法访问到这些变量了；

4. 最后，垃圾收集器完成内存清除工做，销毁那些表明及的值并回收他们所占用的内存空间。

注：到2008年为止，IE、Firefox、Opera、Chrome和Safari的JavaScript实现使用的都是标记清除是的垃圾回收策略（或相似的策略），只不过垃圾收集的时间间隔互有不一样。

4.3.2 引用计数

（不太常见）跟踪记录每个值被引用的次数。

当生命了一个变量并将一个引用类型值赋给该变量是，则这个值的引用次数就是1. 在赋给另外一个变量，引用次数再+1. 相反，若是包含对这个值引用的变量又取得了另一个值，则这个值的引用次数-1. 当这个值的引用次数变成0时，说明没办法在访问这个值，于是就能够将其占用的内存回收回来。如此，当垃圾收集器再次运行时，他就会释放哪些引用次数为0的值所占用的内存。

这种方式可能遇到循环引用的问题，例如Netscape Navigator 3.0是最先使用引用计数策略的浏览器：

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

    objectA.someOtherObject = objectB;
    objectB.someOtherObject = objectA;
}
//当problem()函数执行完毕后，objectA和objectB引用次数为2. 若函数反复调用，便会致使大量内存的不到回收。
//Netscape在Navigator4.0以后便改用标记清除策略。

IE9+，把BOM和DOM对象都转换成了真正的JavaScript对象。避免了两种垃圾收集算法并存致使的问题，也消除了常见的内存泄露现象。

4.3.3 性能问题

垃圾回收机制是周期性运行的，并且 若是为变量分配的内存数量很可观，那么回收工做量也是至关大的。此时，肯定垃圾回收间隔时间很是重要。

在有的浏览器中能够触发垃圾收集机制，但不建议这么作。在IE中，调用window.CollectGarbge()方法会当即执行垃圾收集。在Opera7及更高版本中，调用window.opera.collect()也会启动垃圾收集机制。

4.3.4 管理内存

• 分配给Web浏览器的可用内存数量一般比分配给桌面应用程序的少。主要是出于安全方面的考虑，防止运行JavaScript的网页耗尽所有系统内存致使系统崩溃。

• 内存限制问题不只会影响给变量分配内存，也会影响调用栈以及在一个线程中可以同时执行的语句数量。

• 优化内存占用的最佳方式，就是为执行中的戴嘛只保存必要的数据。一旦数据不在游泳，最好经过最好将其设置为null来释放其引用----- 解除引用 (dereferencing)。适用于大多数全局变量和全局对象的属性。

例如：

function createPerson(name){
    var localPerson = new Object();
    localPerson.name = name;
    return localPerson;
}

var  globalPerson = createPerson("Nicholas")；

globalPerson = null;//手动解除globalPerson的引用

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