上一篇聊的,变量提升并不会真正的在物理层面移动到代码的最前面,而实际上变量和函数声明在代码里的位置是不会改变的,而且是在编译阶段被 JavaScript 引擎放入内存中。一段 JavaScript 代码在执行之前需要被 JavaScript 引擎编译,编译完成之后,才会进入执行阶段,js代码的大致执行的过程如下图:
接下来就聊一聊这几个阶段:
1.编译阶段
那么编译阶段和变量提升存在什么关系呢?
为了搞清楚这个问题,可以把之前的代码分成两部分。
第一部分:变量提升部分的代码。
var test = undefined
function fighting() {
console.log('函数被执行')
}
第二部分:执行部分的代码。
fighting();
console.log(test)
test = 'good'
下面我们就可以把 JavaScript 的执行流程细化,如下图所示:
从上图可以看出,输入一段代码,经过编译后,会生成两部分内容:执行上下文(Execution context)和可执行代码。
那什么是执行上下文? 执行上下文就是 JavaScript 执行一段代码时的运行环境,比如调用一个函数,就会进入这个函数的执行上下文,确定该函数在执行期间用到的诸如 this、变量、对象以及函数等。不懂没有关系,后续会再详细解释
接下来我们可以看到在执行上下文中存在一个变量环境的对象(Viriable Environment),该对象中保存了变量提升的内容,比如上面代码中的变量 test 和函数 fighting,都保存在该对象中。你可以简单地把变量环境对象看成是如下结构:
VariableEnvironment:
test -> undefined,
gighting ->function : {console.log(函数被执行)}
也就是说在编译过程中,将变量的提升的内容放在了执行上下文的变量环境中。这就是正确的理解变量提升。
了解完变量环境对象的结构后,接下来,我们再结合下面这段代码来分析下是如何生成变量环境对象的。
fighting();
console.log(test)
var test = 'good'
function fighting() {
console.log('函数被执行')
}
我们可以一行一行来分析上述代码:
第 1 行和第 2 行,由于这两行代码不是声明操作,所以 JavaScript 引擎不会做任何处理;
第 3 行,由于这行是经过 var 声明的,因此 JavaScript 引擎将在环境对象中创建一个名为 test 的属性,并使用 undefined 对其初始化;
第 4 行,JavaScript 引擎发现了一个通过 function 定义的函数,所以它将函数定义存储到堆 (HEAP)中,并在环境对象中创建一个 fighting 的属性,然后将该属性值指向堆中函数的位置(不了解堆也没关系,JavaScript 的执行堆和执行栈我会在后续文章中介绍)。
这样就生成了变量环境对象。接下来 JavaScript 引擎会把声明以外的代码编译为字节码,你可以类比如下的模拟代码:
fighting()
console.log(test)
test = 'good'
好了,现在有了执行上下文和可执行代码了,那么接下来就到了执行阶段了。
2. 执行阶段
JavaScript 引擎开始执行“可执行代码”,按照顺序一行一行地执行。下面我们就来一行一行分析下这个执行过程:
- 当执行到 fighting 函数时,JavaScript 引擎便开始在变量环境对象中查找该函数,由于变量环境对象中存在该函数的引用,所以 JavaScript 引擎便开始执行该函数,并输出“函数 fighting 被执行”结果。
- 接下来打印“test”信息,JavaScript 引擎继续在变量环境对象中查找该对象,由于变量环境存在test 变量,并且其值为 undefined,所以这时候就输出 undefined。
- 接下来执行第 3 行,把“极客时间”赋给 test 变量,赋值后变量环境中的 test 属性值改变为“good”,变量环境如下所示:
VariableEnvironment:
test -> " good ",
showName ->function : {console.log("函数被执行")