js执行环境相关

Js执行过程

	如果一个文档中存在多个代码段 
		步骤一：读入第一个代码段(js引擎并非一行一行执行，而是一段一段分析执行)
		步骤二：做词法分析和语法分析，有错则报语法错误（比如括号不匹配等），并跳转到步骤5     
		步骤三：对【var】变量和【function】定义做“预解析“（永远不会报错的，因为只解析正确的声明）
		步骤四：执行代码段 ，有错则报错（比如变量未定义）
		步骤五：如果还有下一代码段，则读入下一代码段，重复步骤二
		步骤六：结束

通过步骤二 js会先生成一个语法分析树(SyntaxTree)

语法分析树可以理解为记录变量集作用域集方法集的数据库一样的东西。

/**
* 模拟建立一棵语法分析树，存储function内的变量和方法
*/

var  SytaxTree = {
    
        window={
           variables:{
                name:{value:'HEBO'}   //假设我们全局变量中有一个name
            },
            functions:{
                 sayName:this.sayName
            }
       },
        sayName:{
             scope:this.window,
             function:{}
     }
}

//在这一步的时候   变量集中 只有变量定义，没有变量值，这时候的变量值全部为“undefined”
//

词法作用域：变量在定义的时候形成作用域，而不是在执行的时候。

在进入上下文时声明，在执行上下文赋值

function test(){
  
   var a =0;   //定义的时候决定了作用域
      
}

console.log(a); // a is not defined

执行环境与活动对象

我们调用每一个方法的时候，JS 引擎都会自动为其建立一个执行环境和一个活动对象，它们和方法实例的生命周期保持一致，为方法执行提供必要的执行支持

执行环境ExecutionContext：记录了当前方法的外部描述信息，比如类型，名称，参数和活动对象（activeObject）

var ExecutionContext = {
    window: {
        type: "global",
        name: "global",
        body: ActiveObject.window    
    },
 
    a:{　　　　　　　　　　　　　　//记录了a方法的 一些执行上下文信息
        type: "function",
        name: "a",
        body: ActiveObject.a,     //指向当前方法的活动对象
        scopeChain: this.window.body    //作用域链  它指向的是 对应方法的活动对象 ，既window.body(ActiveObject.window ) 变量查找就是跟着这条链条查找的
     }
 };

在执行的时候才生成活动对象 ,活动对象的北部变量集、内嵌函数集是从语法分析树复制过来的

活动对象ActiveObject: 记录了当前方法的内部描述信息，内部变量集（variables）、内嵌函数集（functions）、实参（arguments）、作用域链（scopeChain）等执行所需信息

var ActiveObject={
     
       window:{},
       
       a:{                       //这里的a 对应上文的 ActiveObject.a
           variables:{
                x: {value:4}
            },
            functions:{
                b: SyntaxTree.b
            },
            parameters:{         //形参

　　 　　　 　},
　　　　　　arguments:[]          //实参

      }  
}

一个方法的执行过程：

创建活动对象，从语法分析树复制方法的内部变量集（variables）和内嵌函数集（functions）
方法开始执行时：活动对象- 内部的变量全部被重置为undefined 。
创建形参（parameters）和实参（arguments）对象，同名的实参，形参和变量之间是【引用】关系
执行方法内的赋值语句：内部的变量才会被赋值。
变量查找规则：现在当前的ActiveObject查找，找不到则顺着 scopeChain 指向的活动对象继续，直到找到最顶点 ActiveObject.window
方法执行完毕以后：内部变量不会被重置
方法内变量的生存周期取决于方法实例是否存在活动引用，如没有就销毁活动对象

6.7 是使闭包能够访问到外部变量的根本原因

Now or nerver .