变量对象

From AI

在 JavaScript 中，变量对象（Variable Object）是指在执行上下文创建阶段被创建的一个特殊对象，它用来存储当前执行上下文中的变量、函数声明和函数参数等信息。在执行上下文创建完毕后，变量对象会被添加到作用域链的顶部，成为当前执行上下文的活动对象（Active Object）。

变量对象的创建过程是 JavaScript 引擎在执行代码时自动完成的，它包括以下几个步骤：

建立 arguments 对象：如果当前执行上下文是函数执行上下文，则在变量对象中创建一个 arguments 对象，用来存储函数参数的值。
建立函数声明：如果当前执行上下文中存在函数声明，则在变量对象中创建一个与函数名相同的属性，并将其值设置为函数对象。
建立变量声明：如果当前执行上下文中存在变量声明，则在变量对象中创建一个与变量名相同的属性，并将其值初始化为 undefined。

在变量对象创建完毕后，变量对象会被添加到当前执行上下文的作用域链的顶部，成为活动对象(AO)。在后续的代码执行过程中，变量对象中的属性可以被访问和修改，但是变量对象本身不可被直接访问。

变量对象是 JavaScript 中非常重要的一个概念，它是作用域、作用域链和闭包等概念的基础。了解变量对象的创建和作用可以帮助我们更好地理解 JavaScript 中的变量、函数和作用域等概念，并且可以帮助我们更好地理解代码的执行过程。

前言

在上篇《JavaScript深入之执行上下文栈》中讲到，当 JavaScript 代码执行一段可执行代码(executable code)时，会创建对应的执行上下文(execution context)。

对于每个执行上下文，都有三个重要属性：

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

注意对应关系：ECS执行上下文栈包含很多一个EC执行上下文，EC又包含VO、Scope、this属性。

今天重点讲讲创建变量对象的过程。

变量对象

变量对象是与执行上下文相关的数据作用域，存储了在上下文中定义的变量和函数声明。

因为不同执行上下文内的变量对象稍有不同，所以我们来聊聊全局上下文下的变量对象和函数上下文下的变量对象。

全局上下文

我们先了解一个概念，叫全局对象。在 W3School 中也有介绍：

全局对象是预定义的对象，作为 JavaScript 的全局函数和全局属性的占位符。通过使用全局对象，可以访问所有其他所有预定义的对象、函数和属性。在顶层 JavaScript 代码中，可以用关键字 this 引用全局对象。因为全局对象是作用域链的头，这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询。例如，当JavaScript 代码引用 parseInt() 函数时，它引用的是全局对象的 parseInt 属性。全局对象是作用域链的头，还意味着在顶层 JavaScript 代码中声明的所有变量都将成为全局对象的属性。

如果看的不是很懂的话，容我再来介绍下全局对象:

1.可以通过 this 引用，在客户端 JavaScript 中，全局对象就是 Window 对象。

console.log(this);

2.全局对象是由 Object 构造函数实例化的一个对象。

console.log(this instanceof Object);

3.预定义了一堆，嗯，一大堆函数和属性。

// 都能生效
console.log(Math.random());
console.log(this.Math.random());

4.作为全局变量的宿主。

var a = 1;
console.log(this.a);

5.客户端 JavaScript 中，全局对象有 window 属性指向自身。

var a = 1;
console.log(window.a);

this.window.b = 2;
console.log(this.b);

花了一个大篇幅介绍全局对象，其实就想说：

全局上下文中的变量对象就是全局对象呐！

函数上下文

在函数上下文中，我们用活动对象(activation object, AO)来表示变量对象。

活动对象和变量对象其实是一个东西，只是变量对象是规范上的或者说是引擎实现上的，不可在 JavaScript 环境中访问，只有到当进入一个执行上下文中，这个执行上下文的变量对象才会被激活，所以才叫 activation object 呐，而只有被激活的变量对象，也就是活动对象上的各种属性才能被访问。

AO就是激活的VO，也就是说，当进入一个函数执行上下文时，他里面的VO就是AO，而其他没有被执行的函数里的执行上下文中还是VO。

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

执行过程

执行上下文的代码会分成两个阶段进行处理：分析和执行，我们也可以叫做：

进入执行上下文
代码执行

进入执行上下文

当进入执行上下文时，这时候还没有执行代码，

变量对象会包括：

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

举个例子：

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

  b = 3;

}

foo(1);

在进入执行上下文后，这时候的 AO 是：

AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,
    b: undefined,
    c: reference to function c(){},
    d: undefined
}

代码执行

在代码执行阶段，会顺序执行代码，根据代码，修改变量对象的值

还是上面的例子，当代码执行完后，这时候的 AO 是：

AO = {
    arguments: {
        0: 1,
        length: 1
    },
    a: 1,
    b: 3,
    c: reference to function c(){},
    d: reference to FunctionExpression "d"
}

到这里变量对象的创建过程就介绍完了，让我们简洁的总结我们上述所说：

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

思考题

最后让我们看几个例子：

1.第一题

function foo() {
    console.log(a);
    a = 1;
}

foo(); // ???

// ---------------

function bar() {
    a = 1;
    console.log(a);
}
bar(); // ???

第一段会报错：Uncaught ReferenceError: a is not defined。第二段会打印：1。

这是因为函数中的 "a" 并没有通过 var 关键字声明，所有不会被存放在 AO 中。

第一段执行 console 的时候， AO 的值是：

AO = {
    arguments: {
        length: 0
    }
}

没有 a 的值，然后就会到全局去找，全局也没有，所以会报错。当第二段执行 console 的时候，全局对象已经被赋予了 a 属性，这时候就可以从全局找到 a 的值，所以会打印 1。

2.第二题

console.log(foo);

function foo(){
    console.log("foo");
}

var foo = 1;

会打印函数，而不是 undefined 。

这是因为在进入执行上下文时，首先会处理函数声明，其次会处理变量声明，如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性。

考点：var声明的变量不会覆盖函数声明，同时因为函数提升，所以上面打印出来的是函数。

文章来源

作者：冴羽

链接：https://github.com/mqyqingfeng/Blog/issues/5

著作权归原作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

变量对象

前言​

变量对象​

全局上下文​

函数上下文​

执行过程​

进入执行上下文​

代码执行​

思考题​

前言

变量对象

全局上下文

函数上下文

执行过程

进入执行上下文

代码执行

思考题