2019-07-21

JS作用域链

当代码在一个环境中执行时，会创建变量对象的一个作用域链来保证对执行环境有权访问的变量和函数的有序访问。

在作用域链的前端始终都是当前执行的代码所在的执行环境的变量对象（这个环境如果是函数，会把它的活动对象作为变量对象，活动对象最开始只包含一个变量，也就是arguments对象），作用域链中的下一个变量对象来自外部包含环境，在下一个变量对象时来自下一个包含环境一直延伸到全局执行环境，即全局执行环境始终都是作用域链的最后一个对象。
例1：

var test = 'Hello';
function f() {
    if(test == 'Hello') {
        test = 'hi';
    }
    else {
        test = 'Hello';
    }
}

f();
console.log(test);

//输出：hi

变量名的解析的过程实际就是沿着作用域链一层一层搜索标识符的过程，开始是从作用域链的前端进行，然后逐级向后直至找到为止。
例如：在上面这个小例子中函数f()的作用域上有两个对象，一个是自己的变量对象，一个就是全局环境的变量对象，当在函数中使用test变量时会先从作用域链的前端，也就是当前执行环境寻找，没有找到，会往后倒全局执行环境中寻找，而test变量是在全局执行环境中定义的，所以会在全局执行环境中找到这个变量（如果没有找到，证明这个标识符未被定义，浏览器会Uncaught ReferenceError）。
例2：

var test = 'test';
function f() {
    var anotherTest = 'another';
    function f2() {
        var tempTest = 'temp';
        anotherTest = test;
        test = tempTest;

        //这里可以访问test和anotherTest和tempTest
    }
    //这里可以访问test和anotherTest，不能访问tempTest

    f2();
}

//这里只能访问test
f();

通过上面的例子可以说明，内部环境可以通过作用域访问所有的外部环境，但是外部环境不能访问内部环境中的任何变量和函数，每个环境都可以向上搜索作用域链，但任何环境都不能通过向下搜索作用域链而进入另一个环境。这样也就解释了上面我们所说的如果局部环境中存在同名的标识符，那么会覆盖全局变量。