深入理解javascript作用域系列第三篇——声明提升（hoisting）

前面的话

一般认为，javascript代码在执行时时由上到下一行一行执行的。但是实际上这并不完全正确，主要是因为声明提升的存在。

变量的声明提升

a = 2;
var a;
console.log(a);

直觉上，会认为是undefined，因为var a 声明在a = 2;之后，可能变量被重新赋值了，因为会被赋予默认值undefined。但是，真正的输出结果却是2。
就算是下面的代码这样，还是会输出2.

var a = 2;
var a;
console.log(a);

因为根据编译器在编译阶段的原理：编译器查找作用域是否已经有一个名称为a的变量存在于同一作用域的集合中。如果是，编译器会忽略该声明，继续进行编译；否则它会要求作用域在当前作用域集合中声明一个新的变量，并命名为a。

鉴于上面这些输出，可能认为下面这个代码片段同样会输出2。但是实际上，真正输出的是undefined。
所有这些和观感相违背的原因在于编译器的编译过程。

console.log( a ) ;
var a  =  2 ;

第一篇介绍过作用域的内部原理，引擎会在解释javascript代码之前首先会对其进行编译。编译阶段中的一部分工作就是找到所有的声明，并用合适的作用域将它们关联起来。

包括变量和函数在内的所有声明都会在任何代码被执行前首先被处理。

var a = 2;

这个代码片段实际上包括两个操作：var a 和 a = 2;
第一个定义声明是在编译阶段由编译器进行的。第二个赋值操作会被保留在原地等待引擎在执行阶段执行。

//对变量a的声明提升到最上面后，再执行代码时，控制台输出2
var a;
a = 2 ;
console.log(a);

声明提升是从它们在代码中出现的位置被“移动”当前作用域的最上面，这个过程就叫做提升（hoisting）

【注意点】：每个作用域都会进行提升操作。

console.log(a);
var a = 0;
function fn(){
    console.log(b);
    var b = 1;
    function test(){
        console.log(c);
        var c = 2;
    }
    test();
}
fn();

//变量声明提升后，变成下面这样
var a ;
console.log(a);
a = 0;
function fn(){
    var b;
    console.log(b);
    b = 1;
    function test(){
        var c ;
        console.log(c);
        c = 2;
    }
    test();
}
fn();

其实真正的提升应该是下面这样，但为了便于理解上面的这种表示更能让人接受。

//变量声明提升后，变成下面这样
var a ;
function fn(){
    var b;
    function test(){
        var c ;
        console.log(c);
        c = 2;
    }
    console.log(b);
    b = 1;
    test();
}
console.log(a);
a = 0;
fn();

函数声明提升

声明包括两种：变量声明和函数声明，不仅变量声明可以提升，函数声明也有提升操作。

foo();
function foo(){
    console.log(1);//1
}

上面这个代码片段之所以能够在控制台输出1，就是因为foo()函数声明进行了提升。

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

函数声明会提升，但函数表达式却不会提升。

foo();
var foo = function(){
    console.log(1);//TypeError: foo is not a function
}

上面这段程序中的变量标识符foo被提升并分配给全局作用域，因此foo()不会导致ReferenceError。但是foo此时并没有赋值，foo()由于对undefined值进行函数调用而导致非法操作，因此会抛出TypeError异常。

//变量提升后，代码如下所示：
var foo;
foo();
foo = function(){
    console.log(1);
}

即使是具名的函数表达式也无法被提升。

foo();//TypeError: foo is not a function
var foo = function bar(){
      console.log(1);
};

//声明提升后，代码变为:
var foo;
foo();//TypeError: foo is not a function
foo = function bar(){
      console.log(1);
};

函数表达式的的名称只能在函数体内部使用，而不能在函数体外部使用。

var foo = function bar(){
    console.log(1);
};
bar();//TypeError: bar is not a undefined

函数覆盖

函数声明和变量声明都会被提升，但是，函数声明会覆盖变量声明。

var a;
function a(){}
console.log(a);//'function a(){}' //函数名代表整个函数

但是，如果变量存在赋值操作，则最终的值为变量的值。

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

var a;
function a(){};
console.log(a);//'function a(){}'
a = 1;
console.log(a);//1

【注意点】变量的重复声明是无用的，但函数的重复声明会覆盖前面的声明（无论是变量还是函数声明【不是很理解】）
【1】：变量的重复声明是无用

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

【2】：由于函数声明提升优于变量声明提升【覆盖变量声明还是提升到变量的前面】，所以变量的声明无作用。

var a;
function a(){
    console.log(1);
}
a();//1

【3】：后面的函数声明会覆盖前面的函数声明。

a();//2
function a(){
    console.log(1);
}
function a(){
    console.log(2);
}

所以，应该避免在同一作用域中重复声明。