作用域 作用域链 执行环境

是什么

一句话概括可以说，作用域是可访问变量的集合。作用域是在运行时代码中的某些特定部分中变量，函数和对象的可访问性。换句话说，作用域决定了代码区块中变量和其他资源的可见性。作用域就是一个独立的地盘，让变量不会外泄、暴露出去。也就是说作用域最大的用处就是隔离变量，不同作用域下同名变量不会有冲突

 

全局作用域和函数作用域

全局作用域：

• 在代码最外侧声明的变量
• 未定义直接赋值的变量
• window对象的属性

          var a=1  //最外层声明，全局变量

          function f1(){
              b=2 //未定义直接赋值，全局变量
          }

弊端：污染全局命名空间, 容易引起命名冲突

 

函数作用域

是指声明在函数内部的变量，和全局作用域相反，局部作用域一般只在固定的代码片段内可访问到，最常见的例如函数内部。

        function f2(){
              var c=3  //函数内定义，函数作用域
            function f3(){
                  var d=4  //函数内定义，函数作用域
                  console.log(c);   //输出3
            }
            console.log(d); //报错
        }

上例中，c,d 皆为函数作用域中的变量，但函数f3中可以访问到c，函数f2则不能访问到d。这说明作用域是分层的，内层作用域可以访问外层作用域的变量，反之则不行。

 

块级作用域

ES6当中新增了块级作用域的概念，任何一对花括号 {} 中的语句集都属于一个块，在这之中定义的所有变量在代码块外都是不可见的，我们称之为块级作用域。注意要用let/const声明。

		if(true){
             let e=5        //块级作用域中的变量        
             console.log(e) //s        
        }
        console.log(e) //报错

 

作用域链

查找变量的时候，会先从当前上下文的变量对象中查找，如果没有找到，就会从父级(词法层面上的父级)执行上下文的变量对象中查找，一直找到全局上下文的变量对象，也就是全局对象。这样由多个执行上下文的变量对象构成的链表就叫做作用域链。

        function f2(){
              var c=3  //函数内定义，函数作用域
            function f3(){
                  var d=4  //函数内定义，函数作用域
                  console.log(c);   //输出3
            }
            console.log(d); //报错
        }

前面用到的这个例子即可说明此现象。

 

执行环境

 

每个函数在调用的时候，都会创建一个执行环境（执行上下文）及相应的作用域链。

执行环境的组成：

• 变量对象（Variable object，VO）: 变量对象即包含变量的对象，除了我们无法访问它外，和普通对象没什么区别
• [[Scope]]属性:作用域即变量对象，作用域链是一个由变量对象组成的带头结点的单向链表，其主要作用就是用来进行变量查找。而[[Scope]]属性是一个指向这个链表头节点的指针。
• this: 指向一个环境对象，注意是一个对象，而且是一个普通对象，而不是一个执行环境。

 

执行环境与作用域的区分：

执行环境在运行时确定，随着程序的运行可以改变；作用域在定义时就确定了，并且不会改变