# 介绍
我们知道,当 JavaScript 引擎执行一段可执行代码(executable code)时, 会创建对应的执行上下文(execution context)。
对于每一个执行上下文,都有三个重要的属性:
- 变量对象(Variable object, VO)
- 作用域链(Scope chain)
- this
这篇文章主要讲创建变量对象的过程。
# 变量对象
变量对象(variable object, 简称VO)是与执行上下文相关的数据作用域,储存了在上下文中定义的变量、函数声明和函数形参。
根据不同的执行上下文,对应的变量对象稍有不同,主要分为全局上下文下的变量和函数上下文下的变量对象。
# 全局上下文的变量对象
引用汤姆大叔的深入理解JavaScript系列(12):变量对象(Variable Object),给全局对象一个明确的定义:
全局对象(Global object)是在进入任何执行上下文之前就已经创建了的对象; 这个对象只存在一份,它的属性在程序中的任何地方都可以访问,全局对象的生命周期终止于程序退出的那一刻。
全局对象具有以下几个特点:
- 初始创建阶段将Math、String、Date、parseInt作为自身属性,属性初始化之后,也可以额外创建其他对象作为属性。
global = {
Math: <...>,
String: <...>,
...
...
window: global // 引用自身
}
2
3
4
5
6
7
- 访问全局对象通常会忽略前缀,因为全局对象不能通过名称直接访问,不过可以通过全局上下文的
this
来访问全局对象,同样也可以递归引用自身,比如DOM中的window
String(10) // <=> global.String(10)
// 带有前缀
window.a = 10; // === global.window.a = 10 === global.a = 10;
this.b = 20 // global.b = 20
2
3
4
5
- 全局对象是由 Object 构造函数实例化的一个对象。
console.log(this instanceof Object) // true
综上,全局上下文中的变量对象就是全局对象。
# 函数上下文的变量对象
在函数上下文中,此时由活动对象(activation object, AO)来代替变量对象(VO)。
为什么用活动对象来代替变量对象,是因为活动对象和变量对象其实是一个东西,只是变量对象是规范上的或者是引擎上实现的, 不能在 JavaScript 运行环境中访问,只有到当进入一个执行上下文时,这个执行上下文的变量对象才会被激活,而被激活的变量对象就 叫做活动对象,这时活动对象上的各种属性才能被访问。
活动对象是在进入函数上下文时刻被创建的,它通过函数的 arguments 属性初始化。arguments 属性值是 Arguments 对象。
# 处理上下文的两个阶段
执行上下文的代码被分为两个基本的阶段来处理
- 进入执行上下文
- 执行代码
这2个阶段的处理是一般行为,和上下文类型无关,全局上下文和函数上下文中的表现是一样的。
# 进入执行上下文
当进入执行上下文时,这时还没有执行代码,变量对象已经包含了下列属性:
- 函数的所有形参(如果是函数执行上下文)
- 由名称和对应值组成的一个变量对象的属性被创建;
- 如果没有实参,则创建由名称和 undefined 的值组成的变量对象;
- 函数声明
- 由名称和对应值(函数对象(function-object))组成一个变量对象的属性被创建;
- 如果变量对象已经存在相同名称的属性,则完全替换这个属性;
- 变量声明
- 由名称和对应值(undefined)组成一个变量对象的属性被创建;
- 如果变量名称跟已经声明的形式参数或函数相同,则变量声明不会干扰已经存在的这类属性;
举个例子:
function foo(a) {
var b = 2;
function c() {};
var d = function() {};
b = 3;
}
foo(1)
2
3
4
5
6
7
8
9
在进入执行上下文后,这时候的 AO 是:
AO = {
arguments: {
0: 1,
length: 1,
},
a: 1,
b: undefined,
c: <reference to FunctionDeclaration "c">,
d: undefined
}
2
3
4
5
6
7
8
9
10
# 执行代码
在代码执行阶段,顺序执行代码,修改变量对象的值
从上面的那个例子,代码执行完后,这时候的 AO 是:
AO = {
arguments: {
0: 1,
length: 1
},
a: 1,
b: 2,
c: <reference to FunctionDeclaration "c">,
d: <reference to FunctionExpression "d">
}
2
3
4
5
6
7
8
9
10
# 总结
总的来说,变量对象的创建过程可以概括如下:
- 全局上下文的变量对象初始化是全局对象
- 函数上下文的变量对象初始化只包括 Arguments 对象
- 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值
- 在代码执行阶段,会再次修改变量对象的属性值