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 .