深入--变量对象

《深入--执行上下文栈》中提到，当javascript执行一堆可执行代码（executable code）时，会创建相应的执行上下文（execution context）

 

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

 

变量对象（Variable Object，VO）

作用域链（Scope Chain）

this

 

这篇重点讲创建变量对象的过程

 

变量对象

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

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

 

全局上下文

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

 

全局对象是预定义的对象，作为javascript的全局对象和全局属性的占位符。通过使用全局对象，可以访问所有其他预定义的对象、函数和属性

在顶层javascript代码中，可以用关键字ths引用全局对象，因为全局对象是作用域链的头，这意味着所有非限定性的变量和函数名都会作为该对象的属性来查询

例如，当javascript代码引用parseInt（）函数时，它引用的是全局变量的parseInt属性。全局对象是作用域链的头，这意味着在顶层javascript代码中声明的所有变量都将称为全局对象的属性

 

如果看的不是很懂的话，可以分成几点来看全局对象

1.在顶层js代码中，可以通过this引用，在客户端js中，全局对象就是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.客户端js中，全局对象有window属性指向自身

var a = 1; 

console.log(window.a);

this.window.b = 2;

console.log(this.b);

 

花了一个大篇幅来介绍全局对象，其实就想说：全局上下文中的变量对象就是全局对象啊！

 

函数上下文

 

在函数上下文中，我们用活动对象（activation object，AO）来表示变量对象

 

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

 

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

 

执行过程

 

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

1.进入执行上下文

2.代码执行

 

进入执行上下文

 

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

变量对象会包括：

1.函数的所有形参（如果是函数上下文）

       由名称和对应值组成的一个变量对象的属性被创建

       没有实参，属性值设为undefined

2.函数声明

       由名称和对应值（函数对象）组成一个变量对象的属性被创建

       如果变量对象以及存在相同名称的属性，则完全替换这个属性

3.变量声明

       有名称和对应值（undefined）组成的一个变量对象的属性被创建

       如果变量名称跟已经声明的形式参数或函数相同，则变量声明不会干扰已经存在的这类属性

 

举个例子

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 funciton c(){},
  d:undefiend
}

 

代码执行

 

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

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

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

 

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

1.全局上下文的变量对象初始化是全局对象

2.函数上下文的变量对象初始化只包括Arguments对象

3.在进入执行上下文时会给变量对象添加形参、函数声明、变量声明等初始的属性值

4.在代码执行阶段，会再次修改变量对象的属性值

 

思考题

最后让我们看几个例子

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中

第二段是从全局对象中找到a的值

如果第一段的声明变成var a = 1的话，结果就是undefined 

 

2.第二题

console.log(foo);

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

var foo = 1;

 会打印函数，而不是undefined

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