导语
如果你已经接触了一段时间的JavaScript,你或多或少地会接触到一个名为“执行上下文”的术语。跟我们在进行文学鉴赏时涉及的“上下文”不同,执行上下文(Execution Context)指的是JavaScript引擎解析可执行代码片段时创造的一种环境,因此,执行上下文也被称为执行环境。
但是,“由JavaScript引擎创造的一种环境”?好像理解起来还是有些抽象:它是以什么机制创造的?创造了什么样的环境?有这些疑惑很正常,这也正是本文所要解决的问题。
让我们先从古老的 ECMAScript 3 规范 中的执行上下文了解起:
执行上下文的类型
上面提到,执行上下文是JavaScript引擎在解析可执行代码片段时创造的一种环境,可执行代码有三种类型:
全局代码
函数代码
Eval代码
因此,执行上下文(执行环境)也有三种类型:
全局执行上下文
函数执行上下文
Eval函数执行上下文
全局执行上下文
全局执行上下文,是执行上下文中最基础的执行上下文,在程序运行时,它会一直存在于执行上下文栈(Execution Context Stack, ECS)的底部,直到程序运行结束它才会出栈。全局执行上下文的 变量对象(VO)(这一概念我们将在稍后介绍)是全局对象,在客户端环境,你可以在顶层代码中通过 this
来访问这个对象。但无论是客户端还是服务端,最好还是使用 globalThis
,以免出现意料之外的情况。
全局执行上下文的表现大致如下:
对于图中的有些术语(如 scope chain
),你可能会有些许陌生,但别担心,目前为止还不需要你深入理解每个部分的组成。你只需要了解全局执行上下文在执行上下文栈中的位置以及其大致组成即可。
函数执行上下文
每次函数被调用,JavaScript引擎都会同时创建一个新的函数执行上下文,并将该函数执行上下文压入ECS栈顶,正如下图中所演示的:
当函数执行完毕,该函数执行上下文便被弹出,控制权被交回此时位于栈顶的上下文(图中是 globalContext
)。
eval() 函数执行上下文
如果你忘了 eval()
函数是什么:
eval()
函数计算 JavaScript 字符串,并把它作为脚本代码来执行。如果参数是一个表达式,eval()
函数将执行表达式。如果参数是Javascript语句,eval()
将执行 Javascript 语句。
如 函数执行上下文 中所述,一般的函数调用会创建“函数执行上下文”并将其压入ECS栈顶,然而,对于 eval()
函数,这一过程有些特殊。
跟一般的函数类似,当 eval()
函数被调用时,也会创建一个函数执行上下文,但被压入ECS栈顶的不仅仅是该函数执行上下文,而是一个同时包含函数执行上下文以及调用上下文(Calling Context)的对象。调用上下文与调用者的执行上下文完全一致,帮助 eval()
函数执行脚本代码时确认作用域链、变量对象、以及 this
的指向。在没有调用上下文的情况下(如调用 eval()
函数的引用),调用上下文的表现与全局执行上下文一致。
具体样例,观察以下代码:
eval('var a = 1');
当调用 eval('var a = 1')
时,ECS将发生以下变化:
ECS.push(
evalContext,
callingContext: globalContext
);
但万万要记住的是,永远都别使用 eval()
函数!相同的功能不使用它也同样可以实现,而且安全程度、执行效率都更高!
执行上下文的内容
当我们在上面介绍 全局执行上下文 时,我们曾提到其大致组成:
事实上,所有执行上下文都拥有上图右侧中所演示的三个部分,而以下内容组成了这三个部分:
变量对象(Variable Object, VO)
活动对象(Active Object, AO)
作用域链 (Scope Chain)
调用者信息 (this)
变量对象 (Variable Object)
Every execution context has associated with it a variable object. Variables and functions declared in the source text are added as properties of the variable object. For function code, parameters are added as properties of the variable object.
“每个执行上下文都有一个变量对象与之相关联。在源代码中声明的函数以及变量,都将被添加到变量对象对应的属性中。对于函数代码,函数的参数也被作为变量对象的属性被添加。”
以上是ECMAScript 3 规范对于变量对象特性的定义,再结合原文中其他相关的规范描述,我们发现变量对象包括以下内容:
- 函数形参
- 函数声明
- 变量声明
还是有些抽象,让我们来看个具象的例子
观察以下代码:
function foo(a) {
var b = 2;
function c() {}
var d = function() {};
b = 3;
}
foo(1);
在引擎分析代码时(亦即进入执行上下文时),变量对象大体是这样的:
VO = {
//函数参数
arguments: {
0: 1,
length: 1
},
a: 1,
//变量声明
b: undefined,
//函数声明
c: reference to function c(){},
//函数表达式(仍然属于变量声明)
d: undefined
}
可以发现,正如规范中所描述的那样,在源代码中声明的变量、函数( b
, c
, d
)以及函数的参数( a
)都作为属性被添加到变量对象中了,唯一有点难懂的是 arguments
,它是哪里来的?
事实上,在学习有关函数的内容时,我们接触过以下知识:
调用函数时,会为其创建一个
Arguments
对象,并自动初始化局部变量arguments
,指代该Arguments
对象。所有作为参数传入的值都会成为Arguments
对象的数组元素
原来如此! arguments
指代一个类数组对象!在这个例子中, arguments
对象中的属性 0
指代的是传入该函数的第一个参数 a
, length
代表该函数接收到的参数个数(不一定与函数定义中的形参个数相同)。
让我们回到正题。当我们以上的代码由分析阶段进入到执行阶段后,变量对象的具体内容也会发生变化。现在,变量对象大体是这样的:
VO = {
//函数参数
arguments: {
0: 1,
length: 1
},
a: 1,
//变量声明
b: 3,
//函数声明
c: reference to function c(){},
//函数表达式(仍然属于变量声明)
d: reference to FunctionExpression "d"
}
可以看到现在被初始化的变量/函数不仅仅包含Arguments对象中的变量,还包括在函数代码中声明并初始化的变量 b
, c
, d
。
综合两个阶段中变量对象的内容,以及ECMAScript 3规范我们可以得出以下结论:
函数执行上下文中,在代码分析阶段,变量对象中会添加变量、函数以及函数形式参数的标识符作为属性
函数执行上下文中,在代码分析阶段,变量对象中只有Arguments对象与形参会被初始化,其他属性值将为
undefined
。但是,如果函数调用方未提供完整的参数,缺失的参数将为undefined
函数执行上下文中,在代码执行阶段,会根据代码修改变量对象的属性值
关于以上第一点,有一些事情需要注意的。观察以下代码:
function foo() {
console.log(b);
var b = 3;
function b() {}
}
foo();
输出如下:
[Function: b]
输出为函数而非 undefined
,这是因为在分析代码(进入执行上下文)时,首先会处理函数声明,其次会处理变量声明,如果变量名称跟已经声明的形式参数或函数相同,则变量声明不会干扰已经存在的这类属性。因此,在执行到语句 var b = 3
前,变量对象中属性 b
对应的值是函数而非 undefined
。
顺带一提:全局对象
以上我们介绍的都是变量对象在函数执行上下文中的表现,在“执行上下文的类型”中,我们提到全局执行上下文中的变量对象为全局对象。全局对象较上述函数执行上下文中的变量对象不同,主要有以下特征:
在顶层代码中可以通过
this
引用,或在任何地方通过globalThis
引用内部预定义了大量的函数与属性。正因如此,
Math.random()
与globalThis.Math.random()
才能实现同样的功能通过
var
关键字定义的全局变量以及顶层代码中的函数都会被挂载为全局对象的属性全局对象是作用域链(稍后将会介绍)的头
活动对象 (Active Object)
ECMAScript 3对活动对象(Active Object, AO)的描述如下:
When control enters an execution context for function code, an object called the activation object is created and associated with the execution context. The activation object is initialised with a property with name arguments and attributes { DontDelete }. The initial value of this property is the arguments object described below. The activation object is then used as the variable object for the purposes of variable instantiation
简单来说,当函数进入执行阶段,原来不能被访问的变量对象(VO)就会被激活为一个活动对象(AO),如此这般,我们才能访问到变量对象中的各种属性。变量对象与活动对象实际上是同一个东西,只是处于执行上下文的不同生命周期中。
作用域链 (Scope Chain)
我们知道,作用域确定当前执行代码对变量的访问权限。在ECMAScript 3规范下,当需要查找变量时,会先从当前执行上下文的变量对象中寻找,若查找无果,则从父级执行上下文的变量对象中查找,若仍然无果,则继续向上查找,直到获取到该变量或已查找到全局执行上下文的变量对象( globalThis
)。而作用域链就是以各级执行上下文的变量对象作为节点,并将其以一定顺序链接而组成的链表。
为了深入理解执行上下文,有必要对作用域链的形成过程进行介绍: 对于以下代码:
function func() {
var a = 1;
}
func();
- 当一个函数被创建,会将所有父变量对象保存到一个名为
[[scope]]
的函数属性中
func.[[scope]] = globalContext.VO;
- 当该函数被调用,JavaScript引擎创建该函数的执行上下文,并将其压入执行上下文栈栈顶
ECStack = [
funcContext,
globalContext
];
- JavaScript引擎复制该函数的
[[scope]]
属性,在函数执行上下文中创建作用域链
funcContext = {
scopeChain: func.[[scope]],
}
- 使用
arguments
创建变量对象(VO),随后按照前面提到的顺序,初始化活动对象,加入形参、函数声明、变量声明
funcContext = {
VO: {
arguments: {
length: 0
},
a: undefined
},
scopeChain: func.[[scope]],
}
- 变量对象(VO)被激活为活动对象(AO),并被压入作用域链的表头
funcContext = {
AO: {
arguments: {
length: 0
},
a: undefined
},
scopeChain: [AO, func.[[scope]]],
}
至此,函数 func
的完整作用域链创建完成。
调用者信息(this)
如果当前函数作为对象方法调用,或使用 bind
call
apply
等方法调用,则引擎会将对应的调用者信息( this
)存入当前执行上下文中。否则,调用者信息将默认地被设置为全局对象( globalThis
)。
以上只是对确认 this
的笼统概括。囿于篇幅,关于 this
的细节我们将在另一篇博文中介绍。
总结:执行上下文内容
综上所述,执行上下文的内容大致如下:
executionContext = {
[Variable Object | Activation Object]: {
arguments,
variables: [...],
funcions: [...]
},
scopeChain: VO|AO.concat([[scope]]),
thisValue: context object
}
执行上下文的生命周期
执行上下文的生命周期分为以下阶段:
创建阶段
执行阶段
销毁阶段
在创建阶段,变量对象(VO)、作用域链(Scope Chain)以及调用者信息(this)依次被创建;在执行阶段,JavaScript引擎利用作用域链及执行上下文栈,一条条地执行代码。 事实上,执行上下文各个部分在“创建阶段”以及“执行阶段”的细节,我们已在 执行上下文的内容 中熟悉;而对于“销毁阶段”,我们还比较陌生。
销毁阶段
当一个函数执行完毕,它的执行上下文将从执行上下文栈中弹出,并于特定时期被垃圾回收,控制权被交给此时位于执行上下文栈栈顶的执行上下文。
然而,这只是一般情况。在实际开发中,我们或多或少还会遇到另一种情况:闭包。
闭包 是指一个函数可以记住其外部变量并可以访问这些变量。
基于垃圾回收机制的知识,我们知道:当一个对象不再可达后(如果一个值可以通过引用链从根访问任何其他值,则认为该值是可达的),将会被JavaScript引擎中的垃圾回收器删除。而一个函数执行完毕后,即使它的执行上下文从栈中弹出,也不一定要被垃圾回收,因为它不一定是不可达的。也就是说,一个函数可以在仍然可达的状态下执行完毕,如以下代码:
function wrapper() {
var outer = 1;
return function() {
console.log(outer);
}
}
var spy = wrapper();
spy();// 1
当函数 warpper
执行完成,它的执行上下文就要从栈中被弹出,执行上下文中的作用域链也将被销毁。然而,函数 spy
仍然在引用 warpper
函数的变量对象,亦即 warpper
函数的变量对象可达,因此,垃圾回收器不会将其销毁。
总结
基于以上的学习,我们现在知道:
- 执行上下文分为三种类型:全局执行上下文、函数执行上下文、Eval函数执行上下文
- 无论是哪种执行上下文,都包含了变量对象或活动对象、作用域链、调用者信息三部分内容
- 无论是哪种执行上下文,都要经历构建、执行、销毁三个阶段