在上一篇文章中，我們將“作用域”定義為一套規(guī)則，這套規(guī)則用來(lái)管理引擎如何在當(dāng)前作用域以及嵌套的子作用域中根據(jù)標(biāo)識(shí)符名稱進(jìn)行變量查找奄侠。大家還可以關(guān)注我的微信公眾號(hào)，蝸牛全棧载矿。
作用域共有兩種主要的工作模型垄潮。第一種是最為普通的，被大多數(shù)編程語(yǔ)言所采用的詞法作用域恢准，我們會(huì)對(duì)這種作用域進(jìn)行深入討論魂挂。另外一種叫做動(dòng)態(tài)作用域甫题，仍有一些編程語(yǔ)言在使用（比如Bash腳本馁筐、Perl中的一些模式等）。
簡(jiǎn)單的說(shuō)坠非，詞法作用域就是定義在詞法階段的作用域敏沉。換句話說(shuō)，詞法作用域就是由你在寫代碼時(shí)將變量和塊作用域?qū)懺谀睦飦?lái)決定的炎码，因此當(dāng)詞法處理器處理代碼時(shí)會(huì)保持作用域不變（大部分情況是這樣的）盟迟。對(duì)一部分比較特殊的，會(huì)出現(xiàn)一些欺騙詞法作用域潦闲，主要是JavaScript中的with和eval關(guān)鍵字攒菠，非常不建議用在項(xiàng)目中。
考慮以下代碼：
function foo(a){
var b = a * 2;
function bar(c){
console.log(a, b, c)
}
bar(b * 3);
}
foo(2); // 2, 4, 12
在這個(gè)例子中有三個(gè)逐級(jí)嵌套的作用域歉闰，為了幫助理解辖众，可以將他們想象成幾個(gè)逐級(jí)包含的氣泡卓起。
1、包含整個(gè)全局作用域凹炸，其中之后一個(gè)標(biāo)識(shí)符：foo
2戏阅、包含著foo所創(chuàng)建的作用域，其中有三個(gè)標(biāo)識(shí)符：a啤它、bar和b
3奕筐、包含著bar所創(chuàng)建的作用域，其中只有一個(gè)標(biāo)識(shí)符：c
作用域氣泡由其對(duì)應(yīng)的作用域塊代碼寫在哪決定变骡，他們是逐級(jí)包含的离赫。在后續(xù)的文章中會(huì)討論不同類型的作用域，但現(xiàn)在主要假設(shè)每一個(gè)函數(shù)都會(huì)創(chuàng)建一個(gè)新的氣泡作用域就好了塌碌。
Bar的氣泡被完全包含在foo所創(chuàng)建的氣泡中笆怠，唯一的原因是那里就是我們希望定義函數(shù)bar的位置。
注意誊爹，這里所說(shuō)的氣泡是嚴(yán)格包含的蹬刷。我們并不是在討論文氏圖這種可以跨越邊界的氣泡。換句話說(shuō)频丘，沒(méi)有任何函數(shù)的氣泡可以（部分地）同時(shí)出現(xiàn)在兩個(gè)外部作用域的氣泡中办成，就如同沒(méi)有任何函數(shù)可以部分地同時(shí)出現(xiàn)在兩個(gè)父級(jí)函數(shù)中一樣。（簡(jiǎn)單理解就是內(nèi)部作用域一定是上層作用域的子集）
作用域氣泡的結(jié)構(gòu)和互相之間的位置關(guān)系給引擎提供了足夠的位置信息搂漠，關(guān)系給引擎提供了足夠的位置信息迂卢，引擎用這些信息來(lái)查找標(biāo)識(shí)符的位置。
在上一個(gè)代碼片段中桐汤，引擎執(zhí)行console.log聲明而克，并查找a、b怔毛、c三個(gè)變量的引用员萍。它首先從最內(nèi)部的作用域，也就是bar函數(shù)的作用域氣泡開(kāi)始查找拣度。引擎無(wú)法在這里找到a碎绎，因此會(huì)去上一級(jí)到所嵌套的foo的作用域中繼續(xù)查找。在這里找到了a抗果，因此引擎使用這個(gè)引用筋帖。對(duì)b來(lái)講也是一樣的。而對(duì)c來(lái)說(shuō)冤馏，引擎在bar中就找到了它日麸。
如果a、c都存在bar和foo的內(nèi)部逮光，congsole.log就可以直接使用bar中的變量代箭，而無(wú)需到外面的foo中去查找辕录。作用域查找會(huì)在找到第一個(gè)匹配的標(biāo)識(shí)符時(shí)停止。在多層的嵌套作用域中可以定義同名的標(biāo)識(shí)符梢卸，這叫做“遮蔽效應(yīng)”（內(nèi)部的標(biāo)識(shí)符“遮蔽”了外部的標(biāo)識(shí)符）走诞。
拋開(kāi)遮蔽效應(yīng)，作用域查找始終從運(yùn)行時(shí)所處的最內(nèi)部作用域開(kāi)始蛤高，逐級(jí)向外或者說(shuō)向上進(jìn)行蚣旱，直到遇見(jiàn)第一個(gè)匹配的標(biāo)識(shí)符為止。就像這樣全局變量會(huì)自動(dòng)成為全局對(duì)象（比如瀏覽器中的window對(duì)象）的屬性戴陡，因此可以不直接通過(guò)全局對(duì)象的詞法名稱塞绿，而是間接的通過(guò)全局對(duì)象屬性的引用來(lái)堆砌進(jìn)行訪問(wèn)。
window.a
通過(guò)這種技術(shù)可以訪問(wèn)那些被同名變量所遮蔽的全局變量恤批，但非全局變量如果被遮蔽了异吻，無(wú)論如何都無(wú)法被訪問(wèn)到。
就像這樣
無(wú)論函數(shù)在哪里被調(diào)用喜庞，也無(wú)論它如何被調(diào)用诀浪，他的詞法作用域都只由函數(shù)被聲明時(shí)所處的位置決定。詞法作用域查找只會(huì)查找一級(jí)標(biāo)識(shí)符延都，比如a雷猪、b和c。如果代碼中引用了foo.bar.baz晰房，詞法作用域查找只會(huì)試圖查找foo標(biāo)識(shí)符求摇，找到這個(gè)變量后，對(duì)象屬性訪問(wèn)規(guī)則會(huì)分別接管對(duì)bar和baz屬性的訪問(wèn)殊者。
參考文獻(xiàn)：《你不知道的JavaScript（上）》
