javascript的变量、作用域和内存问题

基本类型和引用类型的值

执行环境

垃圾收集

ECMAScript 变量可能包含两种不同数据类型的值：基本类型值和引用类型值。

基本类型值指的是简单的数据段

引用类型值指那些可能由多个值构成的对象

基本数据类型：Undefined、Null、Boolean、Number 和 String。这 5 种基本数据类型是按值访问的，因为可以操作保存在变量中的实际的值。

引用类型的值是保存在内存中的对象，在操作对象时，实际上是在操作对象的引用而不是实际的对象。为此，引用类型的值是按引用访问的。

动态的属性：定义基本类型值和引用类型值的方式是类似的：创建一个变量并为该变量赋值。

但是，当这个值保存到变量中以后，对不同类型值可以执行的操作则大相径庭。

对于引用类型的值，我们可以为其添加属性和方法，也可以改变和删除其属性和方法。

参数传递：ECMAScript 中所有函数的参数都是按值传递的，看下面这个例子：

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

执行环境和作用域：

执行环境（execution context，为简单起见，有时也称为“环境”）是 JavaScript 中最为重要的一个概念。

执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。

每个执行环境都有一个与之关联的变量对象（variable object），环境中定义的所有变量和函数都保存在这个对象中。虽然我们编写的代码无法访问这个对象，但解析器在处理数据时会在后台使用它。

当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）。

作用域链的用途，是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数，则将其活动对象（activation object）作为变量对象。

全局执行环境是最外围的一个执行环境。

在 Web 浏览器中，全局执行环境被认为是 window 对象，因此所有全局变量和函数都是作为 window 对象的属性和方法创建的。

某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁。

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

活动对象在最开始时只包含一个变量，即 arguments 对象（这个对象在全局环境中是不存在的）。作用域链中的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。

标识符解析是沿着作用域链一级一级地搜索标识符的过程。搜索过程始终从作用域链的前端开始，然后逐级地向后回溯，直至找到标识符为止（如果找不到标识符，通常会导致错误发生）。例如下面的例子：

var color = "blue";

function changeColor() {
    if (color === "blue") {
        color = "red";
    } else {
        color = "blue";
    }
}

changeColor();

alert("Color is now " + color);        

在这个例子中，函数 changeColor() 的作用域链包含2个变量对象：第一个变量对象是它自己的 arguments，第二个变量对象是全局的变量对象。

var color = "blue";

function changeColor() {

    var anotherColor = "red";

    function swapColors() {
        var tempColor = anotherColor;
        anotherColor = color;
        color = tempColor;
        // 这里可以访问 color、anotherColor 和 tempColor
    }

    // 这里可以访问 color 和 anotherColor，但不能访问 tempColor
    swapColors();
}

// 这里只能访问 color
changeColor();    

以上代码共涉及 3 个执行环境：全局环境、changeColor()的局部环境和 swapColors()的局部环境。

全局环境中有一个变量 color 和一个函数 changeColor()。

changeColor()的局部环境中有一个名为 anotherColor 的变量和一个名为 swapColors()的函数，但它也可以访问全局环境中的变量 color。

swapColors()的局部环境中有一个变量 tempColor，该变量只能在这个环境中访问到。

延长作用域链

就是当执行流进入下列任何一个语句时，作用域链就会得到加长：

　　try - catch 块的 catch 块中

　　with 语句

这两个语句都会在作用域链的前端添加一个变量对象。

没有块级作用域