关于js中变量作用于和变量提升的那些事

一个变量的作用域（scope）是程序源代码中定义这个变量的区域。
全局变量拥有全局作用域，在javaScript代码中任何地方都有定义的。
然而在函数内声明的变量只是在函数内部有定义，他们是局部变量，作用域也只是在局部。

在函数体内，局部变量的优先级要高于全局变量。如果在函数体内重新声明一个与局部变量重名的变量，局部变量就会覆盖全局变量的值。

 var scope="全局变量";
    function checkscope(){
        var scope="局部变量";
        function nested(){
            var scope = "嵌套作用域内的局部变量";
            alert(scope);//输出：嵌套作用域内的局部变量
        }
        nested();
        alert(scope);//输出：局部变量
    }
    checkscope();
    alert(scope);//输出：全局变量

从上面的例子中可以看出，局部变量的作用域仅仅在函数内部，出了函数体之后，局部变量就会被销毁。
在nested（）函数中，虽然又声明了一个scope，但是nested()中的scope是局部变量，只是与全局变量的名字相同，并不是全局变量，所以，虽然在该函数中把scope赋值为”嵌套作用域内的局部变量”，但这仅仅是一个与全局变量名称相同的一个变量而已，并没有改变全局变量的值。

我们可以通过以下这个例子来进一步理解函数作用域的问题。

var scope="全局变量";
    function checkscope(){
        var scope="局部变量";
        function nested(){
            scope = "嵌套作用域内的局部变量";
            alert(scope);//输出：嵌套作用域内的局部变量
        }
        nested();
        alert(scope);//输出：嵌套作用域内的局部变量
    }
    checkscope();
    alert(scope);//输出：全局变量

看到这里是不是有一些懵逼了，这和刚才不是一样的吗，为什么第二次弹框不一样了呢？
上面这部分代码中，在nested()函数中，我们并没有用var来声明scope，所以，在这里的scope的作用域就被提升了，即我们将checkscope中的scope的值重置了，所以在输出的时候输出的结果为嵌套作用域内的局部变量。

之前学习过c或java等其他编程语言的童鞋会知道，在c语言中会有块级作用域这个概念。
C语言中块级作用域是以成对的花括号来界定的，也就是说除了函数代码块外，if、for等结构也属于块级作用域。
下面这个例子可以帮助我们理解一下：

#include   
int main() {  
    int x = 1;  
    printf("%d, ", x); // 1  
    if (1) {  
        int x = 2;  
        printf("%d, ", x); // 2  
    }  
    printf("%d\n", x); // 1  
}  

在c或c++、java中，变量的作用域是由成对的花括号来界定的，比如if中的x，在if中，x的值为2。但是，当程序运行出了if花括号以后，if中的变量x的作用域就结束了，并不会对if以外的x造成影响。但是这在js中是不一样的~

弄明白了变量的作用域之后再来考虑变量提升就简单多了。

在Javascript中，函数及变量的声明都将被提升到函数的最顶部。

在js中，变量的声明会被解析器悄悄的提升到方法体的最顶部，但是需要注意的是，提升的仅仅是变量的声明，变量的赋值并不会被提升。

function foo() {  
    if (false) {  
        var x = 1;  
    }  
    return;  
    var y = 1;  
}  
function foo() {  
    var x, y;  
    if (false) {  
        x = 1;  
    }  
    return;  
    y = 1;  
}  

其实上面两段代码是一模一样的。

变量的声明会被提升，赋值不会被提前。我们需要注意的是，函数的声明与变量的声明是不一样的。函数的函数体也会被一起提升。但是，函数的声明我们可以用两种方法。

function test() {  
    var test1 = function () { // 变量指向函数表达式  
        alert("this is test1!");  
    }  
    function test2() { // 函数声明 函数名为test2  
        alert("this is test2!");  
    }  
}  
test();

在上面这个例子中，对于test1来说，是声明了一个变量，这个变量指向这个函数表达式，所以解析是会将var test1 提升，而后面对变量的赋值不会被提升。对于test2，解析是会把整个函数体一起提升。所以如果我们在函数体的开始运行两个函数，test1报错TypeError “test1 is not a function” ，test2则会弹出this is test2!。

我们可以用这个例子加深一下理解。

<script language="javascript" type="text/javascript">    
    //在全局对象中声明两个全局函数,反模式  
    function foo()  
    {  
        alert("global foo");  
    }  

    function bar()  
    {  
        alert("global bar");  
    }  

    //定义全局变量  
    var v = "global var";  

    function hoistMe()  
    {  
        alert(typeof foo); //function  
        alert(typeof bar); //undefined  
        alert(v); //undefined  

        //为什么bar函数和变量v是未定义而不是全局变量中定义的相应的函数变量呢？  
         //因为函数里面定义了同名的函数和变量，无论在函数的任何位置定义这些函数和  
         //和变量，它们都将被提升到函数的最顶部。  

        foo(); //local foo  
        bar(); //报错，TypeError "bar is not a function"

        //函数声明，变量foo以及其实现被提升到hoistMe函数顶部  
        function foo()  
        {  
            alert("local foo");  
        }  

        //函数表达式,仅变量bar被提升到函数顶部，实现没有被提升  
        var bar = function()  
        {  
            alert("local bar");  
        };  


        //定义局部变量  
         var v = "local";  
    }  

    (function()  
    {  
        hoistMe();  

    })();  

   //函数表达式和变量表达式只是其声明被提升，函数声明是函数的声明和实现都被提升。  
    /**由于函数提升的效果，hoistMe方法相当于 
    function hoistMe() 
    { 
        //函数声明，变量foo以及其实现被提升到hoistMe函数顶部 
        function foo() 
        { 
            alert("local foo"); 
        } 

         //函数表达式,仅变量bar被提升到函数顶部，实现没有被提升(同变量提升) 
        var bar = undefined; 

        //变量声明被提升 
         var v = undefined; 

        alert(typeof foo); //function 
        alert(typeof bar); //undefined 

        foo(); //local foo 
        bar(); //报错，缺少对象 

        bar = function() 
        { 
            alert("local bar"); 
        }; 

       v = "local"; 

    } 
    */  
script>