JS进阶之---执行上下文,变量对象,变量提升
一、结构顺序大体介绍
JavaScript代码的整个执行过程,分为两个阶段,代码编译阶段与代码执行阶段。
编译阶段由编译器完成,将代码翻译成可执行代码,这个阶段作用域规则会确定。
执行阶段由引擎完成,主要任务是执行可执行代码,执行上下文在这个阶段创建。执行上下文也分为创建阶段和执行阶段。
1.首先进入全局环境,创建一个全局执行上下文,全局变量对象window,全局作用域Global,确定this指向,this==window。
2.在执行阶段,会完成变量赋值,函数引用,以及执行其他代码等。浏览器的断点调试只能用于执行阶段。
3.在执行阶段,如果遇到函数引用,会进入函数环境,创建一个执行上下文。而在这个执行上下文中,也分为创建阶段和执行阶段。接下来我们主要讨论函数环境的创建阶段和执行阶段,不考虑全局环境,因为全局环境也可以理解为在一个大的函数环境中。行为基本一致。
二、执行上下文
每次当Js引擎转到可执行代码的时候,就会进入一个执行上下文。执行上下文可以理解为当前代码的执行环境,它会形成一个作用域。JavaScript中的运行环境大概包括三种情况。
- 全局环境:JavaScript代码运行起来会首先进入该环境
- 函数环境:当函数被调用执行时,会进入当前函数中执行代码
- eval
当代码在执行过程中,遇到以上三种情况,都会生成一个执行上下文,放入栈中,我们称其为函数调用栈(call stack)。栈底永远都是全局上下文,而栈顶就是当前正在执行的上下文。处于栈顶的上下文执行完毕之后,就会自动出栈。
注意:函数中,遇到return能直接终止可执行代码的执行,因此会直接将当前上下文弹出栈。
执行上下文特点:
• 单线程
• 同步执行,只有栈顶的上下文处于执行中,其他上下文需要等待
• 全局上下文只有唯一的一个,它在浏览器关闭时出栈
• 函数的执行上下文的个数没有限制
• 每次某个函数被调用,就会有个新的执行上下文为其创建,即使是调用的自身函数,也是如此。
当调用一个函数时,一个新的执行上下文就会被创建。而一个执行上下文的生命周期可以分为两个阶段。
创建阶段
:在这个阶段中,执行上下文会分别创建变量对象,建立作用域链,以及确定this的指向。
代码执行:阶段
创建完成之后,就会开始执行代码,这个时候,会完成变量赋值,函数引用,以及执行其他代码。
三、变量对象
在执行上下文的创建阶段,会进行变量对象的创建。
而变量对象的创建过程又分为:
1.参数对象创建。建立arguments对象,检查当前上下文中的参数,建立该对象下的属性与属性值。
2.函数声明。检查当前上下文的函数声明,也就是使用function关键字声明的函数。在变量对象中以函数名建立一个属性,属性值为指向该函数所在内存地址的引用。如果函数名的属性已经存在,那么该属性将会被新的引用所覆盖。
function声明会比var声明优先级更高一点。
3.变量声明。检查当前上下文中的变量声明,每找到一个变量声明,就在变量对象中以变量名建立一个属性,属性值为undefined。如果该变量名的属性已经存在,为了防止同名的函数被修改为undefined,则会直接跳过,原属性值不会被修改。
在执行上下文的执行阶段,进行变量对象的赋值,函数的引用等。
进入执行阶段之前,变量对象中的属性都不能访问!但是进入执行阶段之后,变量对象转变为了活动对象,里面的属性都能被访问了,然后开始进行执行阶段的操作。
变量对象和活动对象其实都是同一个对象,只是处于执行上下文的不同生命周期。
四、举个例子:
function test() { var a = 1; function foo() { return 2; } } test();
我们直接从test()的执行上下文开始理解。全局作用域中运行test()
时,test()的执行上下文开始创建。为了便于理解,我们用如下的形式来表示。
创建阶段:
testEC = {
// 变量对象
VO: {},
scopeChain: {},
this: {}
}
// 因为本文暂时不详细解释作用域链和this,所以把变量对象专门提出来说明
// VO 为 Variable Object的缩写,即变量对象
VO = {
arguments: {...}, //参数对象。注:在浏览器的展示中,函数的参数可能并不是放在arguments对象中,这里为了方便理解,我做了这样的处理
foo: <foo reference> // 表示foo的地址引用
a: undefined
}
执行阶段:
VO -> AO // Active Object 即活动对象
AO = {
arguments: {...},
foo: <foo reference>,
a: 1
}
五、变量提升
变量提升是将变量声明提升到它所在作用域的最开始的部分。如:
console.log(a); //undefined
console.log(b); //Uncaught ReferenceError: b is not defined
var a = 1;
代码执行分为创建和执行两个阶段,代码开始执行的时候,创建阶段已经完成,所以变量对象已经创建完成。此时a是undefined,而b是没有的。
所以也就解释了变量提升的现象,因为在执行的时候,所有的变量对象早已创建完成,只是还没有被赋值。