在之前的文章中我已經(jīng)介紹了執(zhí)行上下文的變量對(duì)象。在這一篇文章我要介紹執(zhí)行上下文的作用域鏈了。

執(zhí)行上下文.作用域鏈（scope chain）

作用域鏈與變量對(duì)象有著密不可分的關(guān)系，因?yàn)?strong>作用域鏈就是變量對(duì)象的數(shù)組！其中第一個(gè)是當(dāng)前函數(shù)的活動(dòng)對(duì)象，第二個(gè)是當(dāng)前活動(dòng)函數(shù)的父親上下文的活動(dòng)對(duì)象，第三個(gè)是當(dāng)前活動(dòng)函數(shù)的爺爺上下文的活動(dòng)對(duì)象，……，最后一個(gè)是全局上下文的活動(dòng)對(duì)象。當(dāng)執(zhí)行引擎在解析一個(gè)變量名的時(shí)候，會(huì)沿著當(dāng)前執(zhí)行函數(shù)的作用域鏈查找，如果在某個(gè)活動(dòng)對(duì)象中找到了，則使用它。找不到則報(bào)錯(cuò)。

什么叫父親上下文？這個(gè)函數(shù)在哪個(gè)上下文中被聲明，那個(gè)上下文就是此函數(shù)的父親上下文，這個(gè)函數(shù)的聲明會(huì)被保存到父親上下文的變量對(duì)象中。上層上下文（也就是所有前輩上下文）對(duì)于作用域鏈的創(chuàng)建至關(guān)重要，我們會(huì)在文章后面講。

舉個(gè)栗子：

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的變量對(duì)象， 全局的變量對(duì)象]

• 解析global_var的時(shí)候，在outter的變量對(duì)象中沒有找到，因此在全局的變量對(duì)象中找，找到這個(gè)屬性，所以可以打印出它的值-1。
• 解析outter_var的時(shí)候，在outter的變量對(duì)象中就找到了，因此不用往后找了，直接打印111。

inner的執(zhí)行上下文.作用域鏈?zhǔn)牵?br> [inner的變量對(duì)象，outter的變量對(duì)象， 全局的變量對(duì)象]
變量解析的過程同上。

inner的父親上下文是outter，outter的父親上下文是全局上下文。

為什么js有函數(shù)級(jí)作用域

在前一篇文章，我們解釋過為什么js不是塊級(jí)作用域，到這里我們又可以解釋為什么js有函數(shù)級(jí)作用域了。如果你嘗試在上面例子的outter()中打印inner_var，會(huì)報(bào)錯(cuò)。因?yàn)?strong>outter的作用域鏈?zhǔn)荹outter的變量對(duì)象， 全局的變量對(duì)象]，根本就沒有inner的變量對(duì)象！自然也就找不到inner_var了。

作用域鏈?zhǔn)窃趺磩?chuàng)建的

雖然說作用域鏈?zhǔn)窃诤瘮?shù)執(zhí)行之前，與執(zhí)行上下文一起創(chuàng)建的，但是實(shí)際上其中很大一部分內(nèi)容在定義的時(shí)候就已經(jīng)確定了。

作用域鏈這個(gè)數(shù)組可以分成兩部分：

1. 第一個(gè)元素就是本函數(shù)的變量對(duì)象
2. 后面的所有元素都是上層上下文的變量對(duì)象（按照由近到遠(yuǎn)的順序排列）。在網(wǎng)上的一些資料中，所有上層上下文的鏈叫做[[Scope]]。

第一部分是在函數(shù)執(zhí)行之前創(chuàng)建的。第二部分其實(shí)在函數(shù)聲明的時(shí)候就已經(jīng)確定了，[[Scope]]是函數(shù)的一個(gè)屬性，從函數(shù)聲明到函數(shù)銷毀一直存在，且不會(huì)改變。我們在文章開頭也說過，決定上層上下文的是函數(shù)在哪里聲明，而不是函數(shù)在哪里調(diào)用。
因此，本函數(shù)的變量對(duì)象一旦創(chuàng)建好，執(zhí)行引擎就可以合并[[Scope]]，創(chuàng)建出一個(gè)作用域鏈了。

可以用這種方式輕松地找出[[Scope]]：[[Scope]]就是函數(shù)被聲明時(shí)的上下文的作用域鏈。

舉個(gè)例子：

function inner() {
    // 創(chuàng)建作用域鏈：[inner的變量對(duì)象，全局上下文的變量對(duì)象]，其中沒有outter的變量對(duì)象！怪不得找到不到outter_var！
    console.log("in inner, outter_var = "+outter_var);
}
// inner聲明完畢，[[scope]]已經(jīng)確定
// 因?yàn)榇藭r(shí)的上下文是全局上下文，所以[[scope]]就是全局上下文的作用域鏈，也就是全局變量對(duì)象

function outter() {
    var outter_var = 111;
    inner();  
}

outter(); // 報(bào)錯(cuò)：outter_var is not defined

如果將inner聲明在outter里面，就不會(huì)報(bào)錯(cuò)啦：

function outter() {
    var outter_var = 111;

    function inner() {
        // 創(chuàng)建作用域鏈：[inner的變量對(duì)象，outter的變量對(duì)象，全局上下文的變量對(duì)象]
        console.log("in inner, outter_var = " + outter_var);
    }
// 聲明完畢，[[scope]]已經(jīng)確定
// 因?yàn)榇藭r(shí)的上下文是：outter上下文
// outter上下文的作用域鏈?zhǔn)牵篬outter上下文的變量對(duì)象，全局上下文的變量對(duì)象]
// 所以[[scope]]是：[outter上下文的變量對(duì)象，全局上下文的變量對(duì)象]
    inner();
}

outter();
//  輸出：in inner, outter_var = 111

解釋閉包的原理

如果看過我之前的文章徹底理解js閉包現(xiàn)在應(yīng)該已經(jīng)能掌握閉包的使用方法了。是時(shí)候給閉包最后一擊了！我們接下來要用作用域鏈來解釋閉包的原理！
看看我在“徹底理解js閉包”中舉的一個(gè)栗子：

function outter() {
  var private= "I am private";
  function show() {
    console.log(private);
  }
// [[scope]]已經(jīng)確定：[outter上下文的變量對(duì)象，全局上下文變量對(duì)象]
  return show;
}

var ref = outter();
// console.log(private);  // 嘗試直接訪問private會(huì)報(bào)錯(cuò)：private is not defined
ref(); // 打印I am private

outter執(zhí)行完以后，private不會(huì)被銷毀，并且只能被show方法所訪問，而嘗試直接訪問它會(huì)出現(xiàn)報(bào)錯(cuò)。

• 首先我們解釋為什么不能直接從外部訪問它：
  執(zhí)行到報(bào)錯(cuò)的那一行的時(shí)候，當(dāng)前上下文的作用域鏈?zhǔn)牵篬全局上下文變量對(duì)象]，其中的變量對(duì)象中并沒有private（private在outter的上下文變量對(duì)象中）！這就是為什么我們不能直接訪問private。
• 然后我們解釋為什么能夠通過show來訪問private：
  調(diào)用ref（也就是show）的時(shí)候，因?yàn)閟how的[[scope]]是：
  [outter變量對(duì)象，全局變量對(duì)象]
  所以創(chuàng)建的作用域鏈?zhǔn)牵?br> [show變量對(duì)象，outter變量對(duì)象，全局變量對(duì)象]
  查找private的時(shí)候，在outter變量對(duì)象中找到了，所以可以訪問到。

可見，閉包之所以能夠“記憶”它被創(chuàng)建時(shí)候的環(huán)境，就是因?yàn)閇[scope]]將函數(shù)聲明時(shí)所在上下文的作用域鏈給存起來了！

有關(guān)this指針是如何確定的，請(qǐng)看這一篇文章。