每個(gè)人都會(huì)犯錯(cuò)——有時(shí)候‘孰能無(wú)過(guò)，過(guò)而能改，善莫大焉’，有時(shí)候知道自己錯(cuò)了卻沒(méi)有機(jī)會(huì)更改。其實(shí)，錯(cuò)了并不僅僅是錯(cuò)了，做錯(cuò)了，除了及時(shí)改正和彌補(bǔ)之外，最重要的是為自己犯的錯(cuò)承擔(dān)所有責(zé)任。

2009年3月14日，我去參加網(wǎng)易互動(dòng)的專(zhuān)場(chǎng)招聘會(huì)，應(yīng)聘網(wǎng)頁(yè)工程師的職位。有幸參加筆試，然后有幸栽在筆試，呵呵。廢話(huà)少說(shuō)，抓出影響極深的一題重新研究研究。

題目大概是：寫(xiě)出如下代碼的輸出結(jié)果并進(jìn)行分析

var tt = 'aa';
function test(){
    alert(tt);
    var tt = 'dd';
    alert(tt);
}
test();

“太簡(jiǎn)單了！”這是我當(dāng)時(shí)看到這個(gè)題目是的***想法，于是輕率答題竟成我的致命之傷。我的答案是——aa和dd，解析：***次輸出全局變量的結(jié)果，然后局部變量tt覆蓋全局變量所引用的值，所以第二次輸出結(jié)果是dd。

任何人見(jiàn)我如此作答，都會(huì)認(rèn)為我是在掃盲——想法及其幼稚（我也這么認(rèn)為）！網(wǎng)易啊，怎么可能會(huì)滿(mǎn)意于這種答案！

正確的答案應(yīng)該是：undefined和dd

為什么***次alert的結(jié)果是undefined呢？要解釋得清楚明白需要用到Javascript的詞法作用域。

Javascript中的函數(shù)“在定義它們的作用域里運(yùn)行，而不是在執(zhí)行它們的作用域里運(yùn)行”，這是權(quán)威指南里抽象而精辟的總結(jié)。

Javascript的邏輯默認(rèn)在一個(gè)全局作用域中執(zhí)行，如以上程序段中的“var tt='aa';”就是定義一個(gè)全局作用域的全局變量（如果以上代碼段不是摘自某個(gè)函數(shù)鏈的話(huà)）。而test()函數(shù)內(nèi)部的邏輯必須在原有的作用域（全局作用域）鏈再添加test函數(shù)本身的作用域（局部性）——這些思想幾乎在每一種語(yǔ)言中都是如此定義的，然而Javascript作用域鏈的特別之處在于函數(shù)內(nèi)部能夠嵌套函數(shù)的定義（這是閉包的基礎(chǔ)。注：在JS中函數(shù)是唯一形式的代碼作用域）

嵌套的內(nèi)部函數(shù)可以調(diào)用外部函數(shù)（被嵌套的函數(shù)）的變量和其他嵌套函數(shù)（函數(shù)是一種數(shù)據(jù)）。如果是在外部函數(shù)內(nèi)調(diào)用嵌套函數(shù)，那么調(diào)用對(duì)象不變，當(dāng)外部函數(shù)執(zhí)行完畢后所有數(shù)據(jù)（包括外部函數(shù)和嵌套的內(nèi)部函數(shù)）都將被垃圾回收機(jī)制收集——這一點(diǎn)還不能體現(xiàn)出‘閉包’的精華。有一種情況，就是Javascript允許外部調(diào)用嵌套的內(nèi)部函數(shù)，即使被嵌套函數(shù)已經(jīng)被‘垃圾收集’——最常見(jiàn)的就是在‘某個(gè)函數(shù)’中用其嵌套的內(nèi)部函數(shù)定義某些元素的響應(yīng)事件，頁(yè)面載入的時(shí)候被嵌套函數(shù)（‘某個(gè)函數(shù)’）已經(jīng)執(zhí)行完畢（被垃圾回收），但當(dāng)事件觸發(fā)的時(shí)候仍然會(huì)有響應(yīng)的動(dòng)作，而且響應(yīng)函數(shù)中還可能調(diào)用到在被嵌套函數(shù)（‘某個(gè)函數(shù)’）中定義的變量最終值（不是被垃圾回收了嗎？）。

關(guān)于閉包的知識(shí)和示例有很多資料可供查詢(xún)，我不想敘述。

本文的重點(diǎn)是以下非常重要的細(xì)節(jié)：

調(diào)用對(duì)象位于作用域鏈的前端，局部變量（在函數(shù)內(nèi)部用var聲明的變量）、函數(shù)參數(shù)及Arguments對(duì)象都在函數(shù)內(nèi)的作用域中——這意味著它們隱藏了作用域鏈更上層的任何同名的屬性。

即，在以上程序片段中，test函數(shù)內(nèi)部的“var tt='dd'”將會(huì)致使“var tt='aa'”在test函數(shù)被調(diào)用時(shí)完全被隱藏。而且，tt是在***個(gè)alert語(yǔ)句之后定義，所以在調(diào)用到***個(gè)alert時(shí)，tt是還沒(méi)有被賦值的。這樣說(shuō)可能會(huì)清楚一點(diǎn)，即，在定義test函數(shù)時(shí)，當(dāng)定義***個(gè)alert(tt)時(shí)，這里會(huì)記錄tt是作用域鏈中的一個(gè)變量但不會(huì)記錄它（tt）的值，函數(shù)定義完畢后tt就添加到作用域里，所以***個(gè)alert語(yǔ)句能夠找到該作用域里的tt（即，相當(dāng)于找到一個(gè)已經(jīng)在函數(shù)內(nèi)部聲明，但未被賦值的tt）。

以上程序片段的執(zhí)行結(jié)果與以下片段的結(jié)果相同：

var tt = 'aa';
function test(){
    var tt;
    alert(tt);
    tt = 'dd';
    alert(tt);
}
test();

Javascript的作用域不可簡(jiǎn)單的用C++等語(yǔ)言的思維來(lái)理解啊！C++在調(diào)用函數(shù)之前必須先聲明或定義，而Javascript沒(méi)必要。在Javascript中可以先調(diào)用函數(shù)，后再定義（不用在調(diào)用之前作任何聲明）。因?yàn)樵谡{(diào)用函數(shù)時(shí)，Javascript是向作用域鏈要函數(shù)的定義（函數(shù)在定義它們的作用域里運(yùn)行，而不是在執(zhí)行它們的作用域里運(yùn)行）

如以上代碼寫(xiě)成：

var tt = 'aa';
test();  //先調(diào)用后再定義
function test(){
    alert(tt);    //undefined
    var tt = 'dd';
    alert(tt);    //dd}

重申一下本文的重點(diǎn)：

函數(shù)在定義它們的作用域里運(yùn)行，而不是在執(zhí)行它們的作用域里運(yùn)行。

調(diào)用對(duì)象位于作用域鏈的前端，局部變量（在函數(shù)內(nèi)部用var聲明的變量）、函數(shù)參數(shù)及Arguments對(duì)象都在函數(shù)內(nèi)的作用域中——這意味著它們隱藏了作用域鏈更上層的任何同名的屬性。

【編輯推薦】

1. 淺談Javascript中的eval與with
2. 詳解Javascript trim()函數(shù)實(shí)現(xiàn)
3. 應(yīng)用最廣的十大Javascript框架