JavaScript执行上下文及调用堆栈详解

  本文分享了JavaScript基础的两个方面:执行上下文和调用堆栈。每当JavaScript代码运行时,它都在执行上下文中运行;调用栈则可以在脚本调用多个函数时,跟踪每个函数在完成执行时应该返回的控制点。

什么是执行上下文?

简而言之,执行上下文是评估和执行JavaScript代码的环境的抽象概念。每当Javascript代码在运行的时候,它都是在执行上下文中运行。

执行上下文的类型

JavaScript中有三种执行上下文类型。

全局执行上下文—这是默认或者说基础的上下文,任何不在函数内部的代码都在全局上下文中。它会执行两件事:创建一个全局的window对象(浏览器的情况下),并且设置this的值等于这个全局对象。一个程序中只会有一个全局执行上下文。

函数执行上下文—每当一个函数被调用时,都会为该函数创建一个新的上下文。每个函数都有它自己的执行上下文,不过是在函数被调用时创建的。函数上下文可以有任意多个。每当一个新的执行上下文被创建,它会按定义的顺序(将在后文讨论)执行一系列步骤。

Eval函数执行上下文—执行在eval函数内部的代码也会有它属于自己的执行上下文,但由于JavaScript开发者并不经常使用eval,所以在这里我不会讨论它。

调用栈

调用栈是解析器(如浏览器中的的javascript解析器)的一种机制,可以在脚本调用多个函数时,跟踪每个函数在完成执行时应该返回控制的点。(如什么函数正在执行,什么函数被这个函数调用,下一个调用的函数是谁)

当脚本要调用一个函数时,解析器把该函数添加到栈中并且执行这个函数。

任何被这个函数调用的函数会进一步添加到调用栈中,并且运行到它们被上个程序调用的位置。

当函数运行结束后,解释器将它从堆栈中取出,并在主代码列表中继续执行代码。

如果栈占用的空间比分配给它的空间还大,那么则会导致“栈溢出”错误。

functiongreeting(){

//[1]Somecodeshere

sayHi();

//[2]Somecodeshere

}

functionsayHi(){

return"Hi!";

}

//调用`greeting`方法

greeting();

//[3]Somecodeshere

上面的代码将这样执行:

忽略所有的方法,直到到达 greeting() 方法。

调用 greeting() 方法。

把`greeting`方法加入调用栈列表。

调用栈列表:

-greeting

执行`greeting`方法中的所有代码行。

到达 sayHi() 方法。

把 sayHi() 方法加入调用栈列表。

调用栈列表:

-greeting

-sayHi

执行 sayHi() 函数中的所有代码行,直到结束。

将执行返回到调用 sayHi() 的行,并继续执行 greeting() 函数的其余部分。

把 sayHi() 方法从调用栈列表中删除。

调用栈列表:

-greeting

当 greeting() 函数中的所有内容都执行完之后,返回到它的调用行继续执行其余的JS代码。

把 greeting() 方法从调用栈列表中删除。

调用栈列表:

我们从一个空的调用栈开始,当我们调用一个函数时,它会自动添加到调用栈中,在执行完所有代码之后,它会自动从调用栈中删除。最后,我们也得到了一个空栈。

怎么创建执行上下文?

到现在,我们已经看过JavaScript怎样管理执行上下文了,现在让我们了解JavaScript引擎是怎样创建执行上下文的。

创建执行上下文有两个阶段:1)创建阶段和2)执行阶段。

TheCreationPhase

在JavaScript代码执行前,执行上下文将经历创建阶段。在创建阶段会发生三件事:

this值的决定,即我们所熟知的This绑定。

创建词法环境组件。

创建变量环境组件。

所以执行上下文在概念上表示如下:

ExecutionContext={

ThisBinding=<thisvalue>,

LexicalEnvironment={...},

VariableEnvironment={...},

}

This绑定:

在全局执行上下文中,this的值指向全局对象。(在浏览器中,this引用Window对象)。

在函数执行上下文中,this的值取决于该函数是如何被调用的。如果它被一个引用对象调用,那么this会被设置成那个对象,否则this的值被设置为全局对象或者undefined(在严格模式下)。例如:

letfoo={

baz:function(){

console.log(this);

}

}

foo.baz();//"this"引用"foo",因为"baz"被

//对象"foo"调用

letbar=foo.baz;

bar();//"this"指向全局window对象,因为

//没有指定引用对象

词法环境

官方的ES6文档把词法环境定义为

词法环境是一种规范类型,基于ECMAScript代码的词法嵌套结构来定义标识符和具体变量和函数的关联。一个词法环境由环境记录器和一个可能的引用外部词法环境的空值组成。

简单来说词法环境是一种持有标识符—变量映射的结构。(这里的标识符指的是变量/函数的名字,而变量是对实际对象[包含函数类型对象]或原始数据的引用)。

现在,在词法环境的内部有两个组件:(1)环境记录器和(2)一个外部环境的引用。

环境记录器是存储变量和函数声明的实际位置。

外部环境的引用意味着它可以访问其父级词法环境(作用域)。

词法环境有两种类型:

全局环境(在全局执行上下文中)是没有外部环境引用的词法环境。全局环境的外部环境引用是null。它拥有内建的Object/Array/等、在环境记录器内的原型函数(关联全局对象,比如window对象)还有任何用户定义的全局变量,并且this的值指向全局对象。

在函数环境中,函数内部用户定义的变量存储在环境记录器中。并且引用的外部环境可能是全局环境,或者任何包含此内部函数的外部函数。

环境记录器也有两种类型(如上!):

声明式环境记录器存储变量、函数和参数。

对象环境记录器用来定义出现在全局上下文中的变量和函数的关系。

简而言之,

在全局环境中,环境记录器是对象环境记录器。

在函数环境中,环境记录器是声明式环境记录器。

注意—对于函数环境,声明式环境记录器还包含了一个传递给函数的arguments对象(此对象存储索引和参数的映射)和传递给函数的参数的length。

抽象地讲,词法环境在伪代码中看起来像这样:

GlobalExectionContext={

LexicalEnvironment:{

EnvironmentRecord:{

Type:"Object",

//在这里绑定标识符

}

outer:<null>

}

}

FunctionExectionContext={

LexicalEnvironment:{

EnvironmentRecord:{

Type:"Declarative",

//在这里绑定标识符

}

outer:<Globalorouterfunctionenvironmentreference>

}

}

变量环境:

它同样是一个词法环境,其环境记录器持有变量声明语句在执行上下文中创建的绑定关系。

如上所述,变量环境也是一个词法环境,所以它有着上面定义的词法环境的所有属性。

在ES6中,词法环境组件和变量环境的一个不同就是前者被用来存储函数声明和变量(let和const)绑定,而后者只用来存储var变量绑定。

我们看点样例代码来理解上面的概念:

leta=20;

constb=30;

varc;

functionmultiply(e,f){

varg=20;

returne*f*g;

}

c=multiply(20,30);

执行上下文看起来像这样:

GlobalExectionContext={

ThisBinding:<GlobalObject>,

LexicalEnvironment:{

EnvironmentRecord:{

Type:"Object",

//在这里绑定标识符

a:<uninitialized>,

b:<uninitialized>,

multiply:<func>

}

outer:<null>

},

VariableEnvironment:{

EnvironmentRecord:{

Type:"Object",

//在这里绑定标识符

c:undefined,

}

outer:<null>

}

}

FunctionExectionContext={

ThisBinding:<GlobalObject>,

LexicalEnvironment:{

EnvironmentRecord:{

Type:"Declarative",

//在这里绑定标识符

Arguments:{0:20,1:30,length:2},

},

outer:<GlobalLexicalEnvironment>

},

VariableEnvironment:{

EnvironmentRecord:{

Type:"Declarative",

//在这里绑定标识符

g:undefined

},

outer:<GlobalLexicalEnvironment>

}

}

注意—只有遇到调用函数multiply时,函数执行上下文才会被创建。

可能你已经注意到let和const定义的变量并没有关联任何值,但var定义的变量被设成了undefined。

这是因为在创建阶段时,引擎检查代码找出变量和函数声明,虽然函数声明完全存储在环境中,但是变量最初设置为undefined(var情况下),或者未初始化(let和const情况下)。

这就是为什么你可以在声明之前访问var定义的变量(虽然是undefined),但是在声明之前访问let和const的变量会得到一个引用错误。

这就是我们说的变量声明提升。

执行阶段

这是整篇文章中最简单的部分。在此阶段,完成对所有这些变量的分配,最后执行代码。

注意—在执行阶段,如果JavaScript引擎不能在源码中声明的实际位置找到let变量的值,它会被赋值为undefined。

结论

我们已经讨论过JavaScript程序内部是如何执行的。虽然要成为一名卓越的JavaScript开发者并不需要学会全部这些概念,但是如果对上面概念能有不错的理解将有助于你更轻松,更深入地理解其他概念,如变量声明提升,作用域和闭包。