2) 所有被var的变量声明 都要被提到作用域的顶部.考虑一个简单的例子:
alert("a" in window);
var a;
这个结果会弹出true;尽管变量定义在后面. 这是因为javascript引擎首先扫描定义的变量并把他的作用域提到顶部. 所以上面的代码近似于这样:
var a;
alert("a" in window);
读这段代码,你就会更清楚为什么弹出的是true.

3) 你需要知道咱们测试例子 当变量作用域定义并提前了.但却并没有初始化.下面这句是定义变量并初始化
var a = 1;
你可以分开看定义变量和初始化:
var a; //定义
a = 1; 初始化
但JS引擎解析一个合并的var a = 1;是自动将其分离的.所以可以将定义被提前.但为什么值不提前呢? 因为值会影响到后面的值而导致不可预知的结果出现.

所以.知道了上面这三点.重新思考下刚才的例子.其实就可以分解为
var a;
if (!("a" in window)) {
    a = 1;
}
alert(a);
这样就可以看出if检测的时候a已经被定义了 默认为undefined所以分支不会走 最后弹出了'undefined'

这个例子看上去要比实际复杂.这个结果显示1. 主要是看哪个a最后被实例化了.这个问题也需要搞清3个知识点.

1) 就是定义的变量作用域被提前.这个在实例1已经讲解了.

2) 就是所有的function定义的作用域也随着var变量定义一起提前.但必须搞清楚的是.一个函数定义是这样子的:
function functionName(arg1, arg2){
    //function body
}
这个要区别于函数表达式.函数表达式是赋予一个变量,是这样的:
var functionName = function(arg1, arg2){
    //function body
};
要搞清楚的是.函数表达式不会作用域提前.这样应该意识到.如果将value初始化值,从代码的一段移到另一段会产生影响.

3) 就是要必须理解记住函数声明重写的是变量声明.但不是变量初始化.理解这句话考虑下面的例子
function value(){
    return 1;
}
var value;
alert(typeof value);    //"function"
尽快变量声明在函数声明的后面.但函数声明会吧优先权让给变量声明.但是经过变量初始化你将会得到不同的结果
function value(){
    return 1;
}
var value = 1;
alert(typeof value);    //"number"
因为value = 1变量赋值的时候又覆盖了 函数声明 所以变成了1

回归到咱们的测试题 其实可以简化成下面这样:
var a = 1,
    b = function(x) {
        x && b(--x);
    };
alert(a);
显而易见 就是弹出1

For each non-negative integer, arg, less than the value of the length property, a property is created with name ToString(arg) and property attributes { DontEnum }. The initial value of this property is the value of the corresponding actual parameter supplied by the caller. The first actual parameter value corresponds to arg = 0, the second to arg = 1, and so on. In the case when arg is less than the number of formal parameters for the Function object, this property shares its value with the corresponding property of the activation object. This means that changing this property changes the corresponding property of the activation object and vice versa.

尤其最后这一句
This means that changing this property changes the corresponding property of the activation object and vice versa.
当arguments的属性值改变那么活动对象的对应属性也跟着变.反之亦然.
简而言之就是arguments的属性和相对性对象的属性 是值共享的 两者总是保持着相同的值.

所以由于arguments[2] = 10了 所以对应的活动对象属性也为10.