Revan1i

vuePress-theme-reco revan1i    2019 - 2020
Revan1i Revan1i

Choose mode

  • dark
  • auto
  • light
Home
TimeLine
Category
  • javascript
  • css
  • react
  • js
  • how
  • math
  • regexp
  • algorithm
  • feeling
Tag
Contact
  • GitHub
author-avatar

revan1i

25

文章

20

标签

Home
TimeLine
Category
  • javascript
  • css
  • react
  • js
  • how
  • math
  • regexp
  • algorithm
  • feeling
Tag
Contact
  • GitHub

Javascript基础之变量对象

vuePress-theme-reco revan1i    2019 - 2020

Javascript基础之变量对象


revan1i 2019-10-27 22:23:56 javascript base

# 介绍

我们知道,当 JavaScript 引擎执行一段可执行代码(executable code)时, 会创建对应的执行上下文(execution context)。

对于每一个执行上下文,都有三个重要的属性:

  • 变量对象(Variable object, VO)
  • 作用域链(Scope chain)
  • this

这篇文章主要讲创建变量对象的过程。

# 变量对象

变量对象(variable object, 简称VO)是与执行上下文相关的数据作用域,储存了在上下文中定义的变量、函数声明和函数形参。
根据不同的执行上下文,对应的变量对象稍有不同,主要分为全局上下文下的变量和函数上下文下的变量对象。

# 全局上下文的变量对象

引用汤姆大叔的深入理解JavaScript系列(12):变量对象(Variable Object) ,给全局对象一个明确的定义:

全局对象(Global object)是在进入任何执行上下文之前就已经创建了的对象; 这个对象只存在一份,它的属性在程序中的任何地方都可以访问,全局对象的生命周期终止于程序退出的那一刻。

全局对象具有以下几个特点:

  1. 初始创建阶段将Math、String、Date、parseInt作为自身属性,属性初始化之后,也可以额外创建其他对象作为属性。
global = {
  Math: <...>,
  String: <...>,
  ...
  ...
  window: global  // 引用自身
}
1
2
3
4
5
6
7
  1. 访问全局对象通常会忽略前缀,因为全局对象不能通过名称直接访问,不过可以通过全局上下文的this来访问全局对象,同样也可以递归引用自身,比如DOM中的window
String(10)  // <=> global.String(10)

// 带有前缀
window.a = 10;  // === global.window.a = 10 === global.a = 10;
this.b = 20  // global.b = 20
1
2
3
4
5
  1. 全局对象是由 Object 构造函数实例化的一个对象。
console.log(this instanceof Object) // true
1

综上,全局上下文中的变量对象就是全局对象。

# 函数上下文的变量对象

在函数上下文中,此时由活动对象(activation object, AO)来代替变量对象(VO)。

为什么用活动对象来代替变量对象,是因为活动对象和变量对象其实是一个东西,只是变量对象是规范上的或者是引擎上实现的, 不能在 JavaScript 运行环境中访问,只有到当进入一个执行上下文时,这个执行上下文的变量对象才会被激活,而被激活的变量对象就 叫做活动对象,这时活动对象上的各种属性才能被访问。

活动对象是在进入函数上下文时刻被创建的,它通过函数的 arguments 属性初始化。arguments 属性值是 Arguments 对象。

# 处理上下文的两个阶段

执行上下文的代码被分为两个基本的阶段来处理

  1. 进入执行上下文
  2. 执行代码

这2个阶段的处理是一般行为,和上下文类型无关,全局上下文和函数上下文中的表现是一样的。

# 进入执行上下文

当进入执行上下文时,这时还没有执行代码,变量对象已经包含了下列属性:

  1. 函数的所有形参(如果是函数执行上下文)
    • 由名称和对应值组成的一个变量对象的属性被创建;
    • 如果没有实参,则创建由名称和 undefined 的值组成的变量对象;
  2. 函数声明
    • 由名称和对应值(函数对象(function-object))组成一个变量对象的属性被创建;
    • 如果变量对象已经存在相同名称的属性,则完全替换这个属性;
  3. 变量声明
    • 由名称和对应值(undefined)组成一个变量对象的属性被创建;
    • 如果变量名称跟已经声明的形式参数或函数相同,则变量声明不会干扰已经存在的这类属性;

举个例子:

function foo(a) {
  var b = 2;
  function c() {};
  var d = function() {};

  b = 3;
}

foo(1)
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
}
1
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">
}
1
2
3
4
5
6
7
8
9
10

# 总结

总的来说,变量对象的创建过程可以概括如下:

  1. 全局上下文的变量对象初始化是全局对象
  2. 函数上下文的变量对象初始化只包括 Arguments 对象
  3. 在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值
  4. 在代码执行阶段,会再次修改变量对象的属性值

# 参考

  1. JavaScript深入之变量对象
  2. 深入理解JavaScript系列(12):变量对象(Variable Object)