javascript作用域，作用域链，[[scope]]属性

对于Javascript程序员来说，闭包总会让你觉得既熟悉又陌生，然而它对于开发人员来说却非常重要，javascript里的许多设计模式中都用到了闭包，此处以函数作用域为例。

//示例代码
    var a=1;
    function foo(){
        var b=2;
        console.log(a);
        function bar(){
            var c=123;
            console.log(b);
        }
        bar();
    }
    foo();

任何函数定义的时候，都会创建一个[[scope]]属性，这个对象对应的是一个对象的列表，列表中的对象仅能javascript内部访问，没法通过语法访问，用代码可以表示为：
1.函数定义时
在全局环境下定义了一个foo函数，此时foo函数的[[scope]]属性中只包含一个全局对象GO(global object)

    //伪代码
    //js代码默认进入全局执行环境，所以foo在初始时就被定义
    foo.[[scope]]={
        GO:{
        this:window,
        window:{...},
        document:{...},
        a:undefined   //此处是预编译，所以a并没有赋值
        ....
        }
    }
   //当进入foo执行环境时，bar函数才被定义
   bar.[[scope]]={
        AO(foo):{
            this:window,
            arguments:[],
            b:undefined
        },
        GO:{
            this:window,
            window:{...},
            document:{...},
            a:1
        }
    }

2.函数被调用时
执行环境
在函数执行时，会创建一个叫做执行环境/执行上下文（execution context）的内部对象
它定义了一个函数执行时的环境
函数每次执行时的执行环境独一无二
多次调用函数就多次创建执行环境
并且函数执行完毕后，执行环境就会被销毁
执行环境有自己的作用域链，用于解析标识符

所以当foo函数被调用的时候，会创建foo执行环境，每个执行环境对应一个变量对象。首先会创一个它自己的活动对象【Activation Object】（这个对象中包含了this、参数(arguments)、局部变量(包括命名的参数)的定义，当然全局对象是没有arguments的）和一个变量对象的作用域链[[scope chain]]，然后，把这个执行环境的[[scope]]按顺序复制到[[scope chain]]里，最后把这个活动对象推入到[[scope chain]]的顶部。这样[[scope chain]]就是一个有序的栈，这样保了对执行环境有权访问的所有变量和对象的有序访问。

    //foo函数被调用时
    foo.EC={         //foo的执行环境
      AO:{           //foo的活动对象
        this:window,
        arguments:[],
        b:undefined
        }，
      [[scope chain]]:{
            AO:AO,   //推入作用域链顶部的活动对象
            GO:{...} //通过复制foo.[[scope]]得到的全局对象
        }
      ...
    }
    //函数的作用域链
    foo.EC.[[scope chain]]={
        AO:{
            this:window,
            arguments:[],
            b:undefined
        },
        GO:{
            this:window,
            window:{...},
            document:{...},
            a:1
        }
    }

   //当bar函数被调用时
    bar.EC={
        AO:{
            this:window,
            arguments:[],
            c:undefined
        },
        [[scope chain]]:{
            AO:AO     //推入作用域链顶部的活动对象
            AO:{...}  //foo活动对象
            GO:{...}  //全局活动对象
        }
    }
    

3.函数代码执行阶段
var b=2 实际上就是对作用域链AO对象中的b进行赋值，当执行console.log(a)时候，遇到标识符a,就会根据标识符的名称在执行环境(Execution Context)的作用域链中进行搜索。从作用域链的第一个对象（该函数的Activation Object对象）开始，如果没有找到，就搜索作用域链中的下一个对象，如此往复，直到找到了标识符的定义。如果在搜索完作用域中的最后一个对象，也就是全局对象(Global Object)以后也没有找到，则会抛出一个错误，提示undefined。

正式由于作用域链的这种关系，我们就不难理解，为什么this和arguments不能通过作用域链向上搜索，因为对this和arguments的搜索在当前执行函数的活动对象就停止了。

以上是个人对于js作用域的理解， 如有错误欢迎讨论，本文未涉及with等改变作用域的行为
参考文章
http://www.cnblogs.com/pigtai...
http://blog.csdn.net/liujie19...
http://www.cnblogs.com/vadar/...
http://blog.csdn.net/q1056843...