作用域

作用域就是程序代碼中定義變量的區(qū)域。
JS采用了詞法作用域，即靜態(tài)的作用域。

JS代碼是逐段來分析執(zhí)行的，所以有上下文（context）的概念。

執(zhí)行上下文

可執(zhí)行代碼有三種：

• 全局代碼
• 函數(shù)代碼
• eval代碼

當JS代碼執(zhí)行一段可執(zhí)行代碼時，會創(chuàng)建相對應(yīng)的執(zhí)行上下文（也可譯作執(zhí)行環(huán)境），
因此也就有：全局上下文、函數(shù)上下文...
它們都是在執(zhí)行期被創(chuàng)建的，所以也可稱作執(zhí)行期上下文。

執(zhí)行上下文有三個重要屬性：

• 變量對象（VO）
• 作用域鏈
• this對象

JS是通過執(zhí)行上下文棧來管理執(zhí)行上下文的。

變量對象（VO）
變量對象存儲了在上下文中定義的變量和函數(shù)聲明。

全局環(huán)境的變量對象始終存在，函數(shù)的變量對象只在函數(shù)的執(zhí)行過程中存在。
-《紅書》

• 在全局上下文中，變量對象就是全局對象；
• 在函數(shù)上下文中，變量對象是活動對象（AO），它在進入函數(shù)上下文時創(chuàng)建；其中活動對象的 arguments 屬性被初始化為函數(shù)的 arguments 對象；

作用域鏈（Scope Chain）
作用域鏈就是由多個執(zhí)行上下文的變量對象構(gòu)成的鏈表。

函數(shù)上下文的作用域鏈是借助函數(shù)內(nèi)部的 [[Scope]] 屬性生成的。
當一個函數(shù)被創(chuàng)建時，內(nèi)部的 [[Scope]] 屬性會保存所有父變量對象的層級鏈，什么意思？
讓我們舉個例子：

function foo() {
    function bar() {
        ...
    }
}

當上述代碼的foo函數(shù)被創(chuàng)建時，它的 [[Scope]] 就保存了全局上下文的變量對象；
只有當我們執(zhí)行foo()函數(shù)時，bar函數(shù)才被創(chuàng)建，這時它的 [[Scope]] 就保存了兩個變量對象，分別是foo函數(shù)的活動對象 和 全局上下文的變量對象；也就是說，函數(shù)在創(chuàng)建時只保存了父變量對象。

當函數(shù)被執(zhí)行時，JS就創(chuàng)建相應(yīng)的函數(shù)上下文以及相對應(yīng)的AO，只要在 [[Scope]] 的基礎(chǔ)上把這個AO推入到前端，就成為了作用域鏈。比如上述bar()函數(shù)被執(zhí)行時，它的作用域鏈就包含了：

• 0 全局上下文VO （來自 [[Scope]] ）
• 1 foo函數(shù)AO （來自 [[Scope]] ）
• 2 bar自己的AO （創(chuàng)建時被推入前端）

我在這一塊的理解過程中遇到了點曲折，既然AO、VO都是在執(zhí)行時才有的，那上述的bar函數(shù)在創(chuàng)建時，foo函數(shù)的AO是哪里來的呢？突然意識到只有當foo執(zhí)行時才會有bar函數(shù)的創(chuàng)建，就理清楚了。

上面提到的 [[Scope]] 是一個只有JS引擎才能訪問的函數(shù)內(nèi)部屬性，它存在的目的就是被復(fù)制，然后構(gòu)建出作用域鏈。