每当控制器转到可执行代码的时候,即会进入一个执行上下文。执行上下文可理解为当前代码的执行环境,它会形成一个作用域。
可执行代码类型:全局代码、函数代码、eval代码。
执行上下文类型:全局上下文、函数上下文、eval上下文。
执行上下文的组成:作用域链 Scope chain、this、变量对象 VO (Variable Object)
在一个JS程序中,会产生多个执行上下文,JavaScript引擎会以堆栈的方式处理它们,也就是函数调用栈。栈底永远都是全局上下文,栈顶是当前执行上下文。在代码执行时,总是全局上下文先进栈,函数执行时,函数上下文进栈,之后再依次出栈。
下面结合例子来理解一下:
var a = 1;
function changeNumber(){
var b = 2;
function swapNumber(){
var temp=b;
b=a;
a=temp;
}
swapNumber();
}
changeNumber();
第一步:全局上下文入栈
全局上下文入栈后,其中的可执行代码开始执行,当执行到changeNumber()时,激活函数changeNumber并创建自己的执行上下文。
第二步:changeNumber函数的执行上下文入栈
changeNumber函数执行可执行代码,遇到swapNumber函数又激活它的执行上下文
第三步:swapNumber函数的执行上下文入栈
在swapNumber的可执行代码中,没有激活其他的执行上下文,因此swapNumber执行完毕后出栈。
第四步:swapNumber执行上下文从栈顶弹出
接着执行changeNumber函数的可执行代码,没有遇到其他执行上下文,执行完毕后出栈。
第五步:changeNumber执行上下文出栈
全局上下文在浏览器关闭后弹出。
在JavaScript解释器内部,每次调用执行上下文分为两个阶段:
1、创建阶段(函数被调用,但还未执行代码之前)
创建作用域链
创建变量、函数、形参
建立this指向
2、代码执行阶段
指派变量的值和函数的引用,执行代码
变量对象用来存储:变量、声明式函数、函数形参
变量实例化的时期,就是在执行上下文的第一个阶段,变量实例化的顺序是变量、声明式函数、形参。同名变量优先级:声明式函数、形参、变量。所以说如果变量、形参和声明式函数同时存在且同名,实例化后都是function。这就引出了函数声明提升的问题。
为什么函数声明提升?
在变量实例化的时候,如果遇到同名变量,声明式函数的优先级最高。js没有重载,后面的会覆盖前面的变量。
不仅有函数声明提升,还有变量声明提升。说到变量声明提升,就得提一下作用域。
一些类似C语言的编程语言中,有块级作用域,变量在块级作用域之外是不可见的,JavaScript没有块级作用域,取而代之的使用了函数作用域:变量在声明他们的函数体以及这个函数体嵌套的任意函数体内部都是有定义的。这意味着变量在声明之前甚至已经可用。这个特性被称之为声明提前。
由于函数作用域的特性,局部变量在整个函数体始终是有定义的,也就是说,在函数体内局部变量遮盖了同名全局变量,但是也只是将函数内的变量声明“提前”至函数体顶部,变量初始化还留在原来的位置。