在之前的文章中我已經(jīng)介紹了執(zhí)行上下文的變量對象磕秤。在這一篇文章我要介紹執(zhí)行上下文的作用域鏈了仆抵。
執(zhí)行上下文.作用域鏈（scope chain）
作用域鏈與變量對象有著密不可分的關(guān)系屑柔，因為作用域鏈就是變量對象的數(shù)組！其中第一個是當(dāng)前函數(shù)的活動對象，第二個是當(dāng)前活動函數(shù)的父親上下文的活動對象翘鸭，第三個是當(dāng)前活動函數(shù)的爺爺上下文的活動對象手素，……鸳址，最后一個是全局上下文的活動對象。當(dāng)執(zhí)行引擎在解析一個變量名的時候泉懦，會沿著當(dāng)前執(zhí)行函數(shù)的作用域鏈查找稿黍，如果在某個活動對象中找到了，則使用它祠斧。找不到則報錯闻察。
什么叫父親上下文？這個函數(shù)在哪個上下文中被聲明，那個上下文就是此函數(shù)的父親上下文辕漂，這個函數(shù)的聲明會被保存到父親上下文的變量對象中呢灶。上層上下文（也就是所有前輩上下文）對于作用域鏈的創(chuàng)建至關(guān)重要，我們會在文章后面講钉嘹。
舉個栗子：
var global_var = -1;
function outter() {
var outter_var = 111;
console.log(
"in outter, global_var = " + global_var +
", outter_var = " + outter_var
);
function inner() {
var inner_var = 333;
console.log(
"in inner, global_var = " + global_var +
", outter_var = " + outter_var +
", inner_var = " + inner_var
);
}
inner();
}
outter();
// 輸出
// in outter, global_var = -1, outter_var = 111
// in inner, global_var = -1, outter_var = 111, inner_var = 333
開始執(zhí)行outter()之前鸯乃，創(chuàng)建的執(zhí)行上下文.作用域鏈是：
[outter的變量對象， 全局的變量對象]
- 解析global_var的時候跋涣，在outter的變量對象中沒有找到缨睡，因此在全局的變量對象中找，找到這個屬性陈辱，所以可以打印出它的值-1奖年。
- 解析outter_var的時候，在outter的變量對象中就找到了沛贪，因此不用往后找了陋守，直接打印111。
inner的執(zhí)行上下文.作用域鏈?zhǔn)牵?br>
[inner的變量對象利赋，outter的變量對象水评， 全局的變量對象]
變量解析的過程同上。
inner的父親上下文是outter媚送，outter的父親上下文是全局上下文中燥。
為什么js有函數(shù)級作用域
在前一篇文章，我們解釋過為什么js不是塊級作用域塘偎，到這里我們又可以解釋為什么js有函數(shù)級作用域了疗涉。如果你嘗試在上面例子的outter()中打印inner_var，會報錯式塌。因為outter的作用域鏈?zhǔn)荹outter的變量對象博敬， 全局的變量對象]，根本就沒有inner的變量對象峰尝！自然也就找不到inner_var了偏窝。
作用域鏈?zhǔn)窃趺磩?chuàng)建的
雖然說作用域鏈?zhǔn)窃诤瘮?shù)執(zhí)行之前，與執(zhí)行上下文一起創(chuàng)建的武学，但是實際上其中很大一部分內(nèi)容在定義的時候就已經(jīng)確定了祭往。
作用域鏈這個數(shù)組可以分成兩部分：
- 第一個元素就是本函數(shù)的變量對象
- 后面的所有元素都是上層上下文的變量對象（按照由近到遠的順序排列）。在網(wǎng)上的一些資料中火窒，所有上層上下文的鏈叫做[[Scope]]硼补。
第一部分是在函數(shù)執(zhí)行之前創(chuàng)建的。第二部分其實在函數(shù)聲明的時候就已經(jīng)確定了熏矿，[[Scope]]是函數(shù)的一個屬性已骇，從函數(shù)聲明到函數(shù)銷毀一直存在离钝，且不會改變。我們在文章開頭也說過褪储，決定上層上下文的是函數(shù)在哪里聲明卵渴，而不是函數(shù)在哪里調(diào)用。
因此鲤竹，本函數(shù)的變量對象一旦創(chuàng)建好浪读，執(zhí)行引擎就可以合并[[Scope]]，創(chuàng)建出一個作用域鏈了辛藻。
可以用這種方式輕松地找出[[Scope]]：[[Scope]]就是函數(shù)被聲明時的上下文的作用域鏈碘橘。
舉個例子：
function inner() {
// 創(chuàng)建作用域鏈：[inner的變量對象，全局上下文的變量對象]吱肌，其中沒有outter的變量對象痘拆！怪不得找到不到outter_var！
console.log("in inner, outter_var = "+outter_var);
}
// inner聲明完畢氮墨，[[scope]]已經(jīng)確定
// 因為此時的上下文是全局上下文错负，所以[[scope]]就是全局上下文的作用域鏈，也就是全局變量對象
function outter() {
var outter_var = 111;
inner();
}
outter(); // 報錯：outter_var is not defined
如果將inner聲明在outter里面勇边，就不會報錯啦：
function outter() {
var outter_var = 111;
function inner() {
// 創(chuàng)建作用域鏈：[inner的變量對象，outter的變量對象折联，全局上下文的變量對象]
console.log("in inner, outter_var = " + outter_var);
}
// 聲明完畢，[[scope]]已經(jīng)確定
// 因為此時的上下文是：outter上下文
// outter上下文的作用域鏈?zhǔn)牵篬outter上下文的變量對象，全局上下文的變量對象]
// 所以[[scope]]是：[outter上下文的變量對象奕删，全局上下文的變量對象]
inner();
}
outter();
// 輸出：in inner, outter_var = 111
解釋閉包的原理
如果看過我之前的文章徹底理解js閉包現(xiàn)在應(yīng)該已經(jīng)能掌握閉包的使用方法了遍搞。是時候給閉包最后一擊了！我們接下來要用作用域鏈來解釋閉包的原理清笨！
看看我在“徹底理解js閉包”中舉的一個栗子：
function outter() {
var private= "I am private";
function show() {
console.log(private);
}
// [[scope]]已經(jīng)確定：[outter上下文的變量對象月杉，全局上下文變量對象]
return show;
}
var ref = outter();
// console.log(private); // 嘗試直接訪問private會報錯：private is not defined
ref(); // 打印I am private
outter執(zhí)行完以后，private不會被銷毀抠艾，并且只能被show方法所訪問苛萎，而嘗試直接訪問它會出現(xiàn)報錯。
- 首先我們解釋為什么不能直接從外部訪問它：
執(zhí)行到報錯的那一行的時候检号，當(dāng)前上下文的作用域鏈?zhǔn)牵篬全局上下文變量對象]腌歉，其中的變量對象中并沒有private（private在outter的上下文變量對象中）！這就是為什么我們不能直接訪問private齐苛。 - 然后我們解釋為什么能夠通過show來訪問
private：
調(diào)用ref（也就是show）的時候翘盖，因為show的[[scope]]是：
[outter變量對象，全局變量對象]
所以創(chuàng)建的作用域鏈?zhǔn)牵?br> [show變量對象凹蜂，outter變量對象馍驯，全局變量對象]
查找private的時候阁危，在outter變量對象中找到了，所以可以訪問到汰瘫。
可見狂打，閉包之所以能夠“記憶”它被創(chuàng)建時候的環(huán)境，就是因為[[scope]]將函數(shù)聲明時所在上下文的作用域鏈給存起來了吟吝！
有關(guān)this指針是如何確定的菱父，請看這一篇文章。
