JavaScript的词法作用域

<JavaScript权威指南>中,对于JS词法作用域的描述是:

JavaScript中的函数是通过词法来划分作用域的,而不是动态地划分作用域的.这意味着,它们在定义它们的作用域里运行,而不是在执行它们的作用域里运行.

咋看之下貌似明白了,但细想一下,又貌似有点含糊.

还是用例子来显示一下吧.

[javascript]
var i = 1; 
function a() { 
    alert(i); // 1  
} 
a();  
var i = 1;
function a() {
    alert(i); // 1
}
a(); 

上面,变量 i 就是一个全局变量,它的作用域就是整个js文件.

其实,我们可以把上面的代码,理解为一个全局的函数,如下:

[javascript]
(function () { 
    var i = 1; 
    function a() { 
        alert(i); // 1  
    } 
    a();  
})(); 
(function () {
    var i = 1;
    function a() {
        alert(i); // 1
    }
    a();
})();

这样并没有体现出JS词法作用域的特别之处;

我们来看看下面的代码:

[javascript]
(function () { 
    var i = 1; 
    function a() { 
        alert(i); // undefined  
        var i = 2; 
        alert(i); // 2  
    } 
    a();  
})(); 
(function () {
    var i = 1;
    function a() {
        alert(i); // undefined
        var i = 2;
        alert(i); // 2
    }
    a();
})();令人意外的,第一个弹出的警告居然不是1,而是undefined.
这显然有点不可思议.

其实这就是所谓的:它们在定义它们的作用域里运行,而不是在执行它们的作用域里运行.

因为在定义函数 a() 的时候定义了 var i = 2 ;这样函数 a() 中所调用的变量 i 的作用域只限于函数 a() 里面的.

当调用函数时,第一个 alert(i) 触发的时候,变量 i 还没有定义,所以弹出undefined的警告,

而当第二个 alert(i) 触发时, 变量 i 已经被赋值为2.

代码其实和下面的等价:

[javascript]
(function () { 
    var i = 1; 
    function a() { 
        var i; 
        alert(i); 
        i = 2; 
        alert(i); 
    }