为什么第一个alert “x” 的返回值是function，而且它还是在“x” 声明之前访问的“x” 的？为什么不是10或20呢？因为，根据规范 — 当进入上下文时，往VO里填入函数声明；在相同的阶段，还有一个变量声明“x”，那么正如我们在上一个阶段所说，变量声明在顺序上跟在函数声明和形式参数声明之后，而且，在这个阶段(译者注：这个阶段是指进入执行上下文阶段)，变量声明不会干扰VO中已经存在的同名函数声明或形式参数声明，因此，在进入上下文时，VO的结构如下：
VO = {}; VO['x'] = <reference to FunctionDeclaration "x"> // found var x = 10; // if function "x" would not be already defined // then "x" be undefined, but in our case // variable declaration does not disturb // the value of the function with the same name VO['x'] = <the value is not disturbed, still function>
随后在执行代码阶段，VO做如下修改：
VO['x'] = 10; VO['x'] = 20;
我们可以在第二、三个alert看到这个效果。
在下面的例子里我们可以再次看到，变量是在进入上下文阶段放入VO中的。(因为，虽然else部分代码永远不会执行，但是不管怎样，变量“b”仍然存在于VO中。)(译者注：变量b虽然存在于VO中，但是变量b的值永远是undefined)
if (true) { var a = 1; } else { var b = 2; } alert(a); // 1 alert(b); // undefined, but not "b is not defined"
关于变量通常，各类文章和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 = { 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
关于变量，还有一个重要的知识点。变量相对于简单属性来说，变量有一个特性(attribute)：{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上下文，这个规则并不起作用，因为在这个上下文里，变量没有{DontDelete}特性。
eval('var a = 10;'); alert(window.a); // 10 alert(delete a); // true alert(window.a); // undefined
使用一些调试工具(例如：Firebug)的控制台测试该实例时，请注意，Firebug同样是使用eval来执行控制台里你的代码。因此，变量属性同样没有{DontDelete}特性，可以被删除。
特殊实现: __parent__ 属性前面已经提到过，按标准规范，激活对象是不可能被直接访问到的。但是，一些具体实现并没有完全遵守这个规定，例如SpiderMonkey和Rhino；在这些具体实现中，函数有一个特殊的属性 __parent__，通过这个属性可以直接引用到函数已经创建的激活对象或全局变量对象。
例如 (SpiderMonkey, Rhino)：
var global = this; var a = 10; function foo() {} alert(foo.__parent__); // global var VO = foo.__parent__; alert(VO.a); // 10 alert(VO === global); // true
在上面的例子中我们可以看到，函数foo是在全局上下文中创建的，所以属性__parent__ 指向全局上下文的变量对象，即全局对象。(译者注：还记得这个吧：VO(globalContext) === global)
然而，在SpiderMonkey中用同样的方式访问激活对象是不可能的：在不同版本的SpiderMonkey中，内部函数的__parent__ 有时指向null ，有时指向全局对象。
在Rhino中，用同样的方式访问激活对象是完全可以的。
例如 (Rhino)：