重学JavaScript深入理解系列（二）

声明新的变量和函数的过程其实就是在VO中创建新的和变量以及函数名对应的属性和属性值的过程。

首先，有必要对全局对象(Global object)作个定义。

全局对象是一个在进入任何执行上下文前就创建出来的对象；此对象以单例形式存在；它的属性在程序任何地方都可以直接访问，其生命周期随着程序的结束而终止。

在函数的执行上下文中，VO是不能直接访问的。它主要扮演被称作活跃对象(activation object) 简称AO的角色

活跃对象会在进入函数上下文的时候创建出来，初始化的时候会创建一个arguments属性， 其值就是Arguments对象:

AO = {
    arguments:
}
复制代码

Arguments对象是活跃对象上的属性，它包含了如下属性:

• callee -- 对当前函数的引用
• length -- 实参的个数
• properties-indexes(数字，转换成字符串)其值是函数参数的值(参数列表中，从左到右)。properties-indexes的个数 == arguments.length; arguments对象的properties-indexes的值和当前实际传参的形参是共享的。

如下所示:

function foo(x, y, z) {
 
  // 定义的函数参数（x,y,z）的个数
  alert(foo.length); // 3
 
  // 实际传递的参数个数
  alert(arguments.length); // 2
 
  // 引用函数自身
  alert(arguments.callee === foo); // true
 
  // 参数互相共享
 
  alert(x === arguments[0]); // true
  alert(x); // 10
 
  arguments[0] = 20;
  alert(x); // 20
 
  x = 30;
  alert(arguments[0]); // 30
 
  // 然而，对于没有传递的参数z，
  // 相关的arguments对象的index-property是不共享的
 
  z = 40;
  alert(arguments[2]); // undefined
 
  arguments[2] = 50;
  alert(z); // 40
 
}
 
foo(10, 20);
复制代码

至此，也就到了本文最核心的部分了。处理执行上下文代码分为两个阶段:

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

对变量对象的修改和这两个阶段密切相关。

一旦进入执行上下文(在执行代码之前)， VO就会被一些属性填充(在此前已经描述过了):

• 函数的形参(当进入函数执行上下文时)
  --变量对象的一个属性，其属性名就是形参的名字，其值就是实参的值；对于没有传递的参数，其值为undefined
• 函数声明(FunctionDeclaration, FD)
  --变量对象的一个属性，其属性名和值都是函数对象创建出来的；如果变量对象已经包含了相同名字的属性，则替换它的值
• 变量声明(var, VariableDeclaration)
  --变量对象的一个属性，其属性名即为变量名，其值为undefined；如果变量名和已经声明的函数名或者参数名相同，则不会影响已经存在的属性。

看下面这个:chestnut::

function test(a, b) {
  var c = 10;
  function d() {}
  var e = function _e() {};
  (function x() {});
}
 
test(10); // call
复制代码

当以10位参数进入"test"函数上下文的时候，对应的AO如下所示:

AO(test) = {
  a: 10,
  b: undefined,
  c: undefined,
  d: 
  e: undefined
};
复制代码

此时， AO/VO的属性已经填充好了。(尽管大部分属性都还没有赋予真正的值，都是初始化时候的undefined值)。 继续以上一例子为例，到了执行代码阶段，AO/VO就会修改成如下形式:

AO['c'] = 10;
AO['e'] = <指向函数表达式"_e">；
复制代码

再次注意到，这里函数表达式"_e"仍在内存中，这是因为它被保存在声明的变量"e"中，而同样是函数表达式的"x"却不在AO/VO中：如果尝试在定义前或者定义后调用"x"函数，这时会发生"x未定义"的错误。未保存的函数表达式只有在定义或者递归时才能调用。

如下是更加典型的例子:

alert(x); // function
 
var x = 10;
alert(x); // 10
 
x = 20;
 
function x() {};
 
alert(x); // 20
复制代码

上述例子中，为何“x”打印出来是函数呢？为何在声明前就可以访问到？又为何不是10或者20呢？原因在于，根据规则——在进入上下文的时候，VO会被填充函数声明； 同一阶段，还有变量声明“x”，但是，正如此前提到的，变量声明是在函数声明和函数形参之后，并且，变量声明不会对已经存在的同样名字的函数声明和函数形参发生冲突， 因此，在进入上下文的阶段，VO填充为如下形式：

VO = {};
 
VO['x'] = 
 
// 发现var x = 10;
// 如果函数“x”还未定义
// 则 "x" 为undefined, 但是，在我们的例子中
// 变量声明并不会影响同名的函数值
 
VO['x'] = 
复制代码

随后，在执行代码阶段，VO被修改为如下所示：

VO['x'] = 10;
VO['x'] = 20;
复制代码

如下例子再次看到在进入上下文阶段，变量存储在VO中（因此，尽管else的代码块永远都不会执行到，而“b”却仍然在VO中）：

if (true) {
  var a = 1;
} else {
  var b = 2;
}
 
alert(a); // 1
alert(b); // undefined, but not "b is not defined"
复制代码

大多数讲JavaScript的文章甚至是JavaScript的书通常都会这么说：“声明全局变量的方式有两种，一种是使用var关键字（在全局上下文中），另外一种是不用var关键字（在任何位置）”。 而这样的描述是错误的。要记住的是： 使用var关键字是声明变量的唯一方式

如下赋值语句：

a = 10;
复制代码

仅仅是在全局对象上创建了新的属性（而不是变量）。“不是变量”并不意味着它无法改变，它是ECMAScript中变量的概念（它之后可以变为全局对象的属性，因为VO(globalContext) === global，还记得吧？）

不同点如下所示：

alert(a); // undefined
alert(b); // "b" is not defined
 
b = 10;
var a = 20;
复制代码

接下来还是要谈到VO和在不同阶段对VO的修改（进入上下文阶段和执行代码阶段）： 进入上下文：

VO = {
  a: undefined
};
复制代码

我们看到，这个阶段并没有任何“b”，因为它不是变量，“b”在执行代码阶段才出现。（但是，在我们这个例子中也不会出现，因为在“b”出现前就发生了错误）

将上述代码稍作改动：

alert(a); // undefined, we know why
 
b = 10;
alert(b); // 10, created at code execution 执行时创建
 
var a = 20;
alert(a); // 20, modified at code execution 修改时创建
复制代码

这里关于变量还有非常重要的一点：与简单属性不同的是，变量是不能删除的{DontDelete},这意味着要想通过delete操作符来删除一个变量是不可能的。

a = 10;
alert(window.a); // 10
 
alert(delete a); // true
 
alert(window.a); // undefined
 
var b = 20;
alert(window.b); // 20
 
alert(delete b); // false
 
alert(window.b); // still 20
复制代码

但是，这里有个例外，就是“eval”执行上下文中，是可以删除变量的：

eval('var a = 10;');
alert(window.a); // 10
 
alert(delete a); // true
 
alert(window.a); // undefined
复制代码