作用域鏈的概念對(duì)理解閉包至關(guān)重要

先來(lái)一個(gè)例子

var scope = "global";
function CheckScope(){
    var scope = "local";
    return scope;
}
CheckScope();
//結(jié)果為local

1.當(dāng)代碼進(jìn)入Global Execution Context后，會(huì)創(chuàng)建Global VO

2.當(dāng)代碼執(zhí)行到CheckScope();語(yǔ)句的時(shí)候，進(jìn)入CheckScope Execution Context；
根據(jù)上一篇文章<執(zhí)行環(huán)境>的介紹，這里會(huì)創(chuàng)建CheckScope VO，
并設(shè)置CheckScope Execution Context的[[Scope]]屬性

作用域鏈的創(chuàng)建規(guī)則

當(dāng)定義一個(gè)函數(shù)時(shí)

在函數(shù)內(nèi)部會(huì)創(chuàng)建一個(gè)[[Scope]]屬性，這個(gè)屬性指向一條作用域鏈。
也就是說(shuō)在定義函數(shù)時(shí)，會(huì)事先創(chuàng)建一條作用域鏈。
這從chrome中可以看出來(lái)，如下圖所示，<function scope>即為我說(shuō)的[[Scope]]屬性

• JS中只有兩種類型的作用域：全局作用域、函數(shù)作用域，所以在作用域鏈上的對(duì)象，只可能是window對(duì)象或者函數(shù)執(zhí)行環(huán)境所對(duì)應(yīng)的變量對(duì)象，但是with語(yǔ)句是一個(gè)例外，其可以臨時(shí)在作用域鏈的前端臨時(shí)增加一個(gè)普通對(duì)象。

var o = {
    bruceZhou: 'bruceZhou',
    fn: function(){
        console.log(fn)
        console.log(bruceZhou);
    }
}
o.fn();
//ERROR報(bào)錯(cuò)
//因?yàn)樵趫?zhí)行匿名函數(shù)時(shí)，其作用域鏈為匿名函數(shù)所對(duì)應(yīng)的變量對(duì)象--->window對(duì)象
//所以會(huì)找不到fn和bruceZhou的定義

//最重要的是其作用域鏈不包括對(duì)象o，對(duì)象o只負(fù)責(zé)保存fn
//在JS中只有全局作用域、函數(shù)作用域，并沒(méi)有對(duì)象作用域這一說(shuō)
//如果要在fn內(nèi)部訪問(wèn)對(duì)象o，可以引用this或者使用with語(yǔ)句

• 一個(gè)函數(shù)被定義時(shí)，在確定其[[Scope]]屬性時(shí)，JS解釋器執(zhí)行如下的規(guī)則：從函數(shù)內(nèi)部向外遍歷，每當(dāng)碰到一個(gè)function {...}時(shí)，就將其對(duì)應(yīng)的變量對(duì)象添加至作用域鏈中去，如此下去，直到window對(duì)象，然后將作用域鏈的引用賦給[[Scope]]屬性。

當(dāng)調(diào)用這個(gè)函數(shù)時(shí)

解釋器會(huì)先創(chuàng)建一個(gè)新的變量對(duì)象，
然后將這個(gè)變量對(duì)象的添加至上面那個(gè)作用域鏈的棧頂，
此后將函數(shù)內(nèi)部的[[Scope]]屬性直接賦值給執(zhí)行環(huán)境的[[Scope]]屬性。

當(dāng)函數(shù)執(zhí)行完之后

對(duì)應(yīng)的函數(shù)執(zhí)行環(huán)境會(huì)被銷毀，
但該執(zhí)行函數(shù)所對(duì)應(yīng)的變量對(duì)象卻不一定會(huì)被銷毀，
這時(shí)就會(huì)發(fā)生閉包現(xiàn)象。

作用域鏈的數(shù)據(jù)結(jié)構(gòu)

作用域即變量對(duì)象，作用域鏈?zhǔn)且粋€(gè)由變量對(duì)象組成的帶頭結(jié)點(diǎn)的單向鏈表，其主要作用就是用來(lái)進(jìn)行變量查找。而[[Scope]]屬性是一個(gè)指向這個(gè)鏈表頭結(jié)點(diǎn)的指針。

帶頭結(jié)點(diǎn)的單鏈表

1.結(jié)點(diǎn)的存儲(chǔ)結(jié)構(gòu)（用C語(yǔ)言來(lái)表示）

typedef struct _tNODE{
    VariableObject *pVO;
    //指向一個(gè)變量對(duì)象，即指向一個(gè)作用域
    struct _tNODE *next;
    //指向下一個(gè)結(jié)點(diǎn)
}tNODE, *tPNODE;

2.猜想
我猜想作用域鏈的數(shù)據(jù)大概如下，是一個(gè)鏈棧，只是為了說(shuō)明問(wèn)題，不保證準(zhǔn)確性，當(dāng)然我也是不會(huì)為它負(fù)責(zé)的。