作用域
作用域就是程序代碼中定義變量的區(qū)域。
JS采用了詞法作用域，即靜態(tài)的作用域蜂奸。
JS代碼是逐段來分析執(zhí)行的，所以有上下文（context）的概念硬萍。
執(zhí)行上下文
可執(zhí)行代碼有三種：
- 全局代碼
- 函數(shù)代碼
- eval代碼
當(dāng)JS代碼執(zhí)行一段可執(zhí)行代碼時(shí)扩所，會(huì)創(chuàng)建相對(duì)應(yīng)的執(zhí)行上下文（也可譯作執(zhí)行環(huán)境），
因此也就有：全局上下文朴乖、函數(shù)上下文...
它們都是在執(zhí)行期被創(chuàng)建的祖屏，所以也可稱作執(zhí)行期上下文。
執(zhí)行上下文有三個(gè)重要屬性：
- 變量對(duì)象（VO）
- 作用域鏈
- this對(duì)象
JS是通過執(zhí)行上下文棧來管理執(zhí)行上下文的寒砖。
變量對(duì)象（VO）
變量對(duì)象存儲(chǔ)了在上下文中定義的變量和函數(shù)聲明赐劣。
全局環(huán)境的變量對(duì)象始終存在，函數(shù)的變量對(duì)象只在函數(shù)的執(zhí)行過程中存在哩都。
-《紅書》
- 在全局上下文中，變量對(duì)象就是全局對(duì)象婉徘；
- 在函數(shù)上下文中漠嵌，變量對(duì)象是活動(dòng)對(duì)象（AO），它在進(jìn)入函數(shù)上下文時(shí)創(chuàng)建盖呼；其中活動(dòng)對(duì)象的 arguments 屬性被初始化為函數(shù)的 arguments 對(duì)象儒鹿；
作用域鏈（Scope Chain）
作用域鏈就是由多個(gè)執(zhí)行上下文的變量對(duì)象構(gòu)成的鏈表。
函數(shù)上下文的作用域鏈?zhǔn)?strong>借助函數(shù)內(nèi)部的 [[Scope]] 屬性生成的几晤。
當(dāng)一個(gè)函數(shù)被創(chuàng)建時(shí)约炎，內(nèi)部的 [[Scope]] 屬性會(huì)保存所有父變量對(duì)象的層級(jí)鏈，什么意思蟹瘾？
讓我們舉個(gè)例子：
function foo() {
function bar() {
...
}
}
當(dāng)上述代碼的foo函數(shù)被創(chuàng)建時(shí)圾浅，它的 [[Scope]] 就保存了全局上下文的變量對(duì)象；
只有當(dāng)我們執(zhí)行foo()函數(shù)時(shí)憾朴，bar函數(shù)才被創(chuàng)建狸捕，這時(shí)它的 [[Scope]] 就保存了兩個(gè)變量對(duì)象，分別是foo函數(shù)的活動(dòng)對(duì)象 和 全局上下文的變量對(duì)象众雷；也就是說灸拍，函數(shù)在創(chuàng)建時(shí)只保存了父變量對(duì)象。
當(dāng)函數(shù)被執(zhí)行時(shí)砾省，JS就創(chuàng)建相應(yīng)的函數(shù)上下文以及相對(duì)應(yīng)的AO鸡岗，只要在 [[Scope]] 的基礎(chǔ)上把這個(gè)AO推入到前端，就成為了作用域鏈编兄。比如上述bar()函數(shù)被執(zhí)行時(shí)轩性，它的作用域鏈就包含了：
- 0 全局上下文VO （來自 [[Scope]] ）
- 1 foo函數(shù)AO （來自 [[Scope]] ）
- 2 bar自己的AO （創(chuàng)建時(shí)被推入前端）
我在這一塊的理解過程中遇到了點(diǎn)曲折，既然AO翻诉、VO都是在執(zhí)行時(shí)才有的炮姨，那上述的bar函數(shù)在創(chuàng)建時(shí)捌刮，foo函數(shù)的AO是哪里來的呢？突然意識(shí)到只有當(dāng)foo執(zhí)行時(shí)才會(huì)有bar函數(shù)的創(chuàng)建舒岸，就理清楚了绅作。
上面提到的 [[Scope]] 是一個(gè)只有JS引擎才能訪問的函數(shù)內(nèi)部屬性，它存在的目的就是被復(fù)制蛾派，然后構(gòu)建出作用域鏈俄认。
