JavaScript是一種基于對(duì)象的動(dòng)態(tài)、弱類(lèi)型腳本語(yǔ)言（以下簡(jiǎn)稱(chēng)JS），是一種解釋型語(yǔ)言，和其他的編程語(yǔ)言不同，如java/C++等編譯型語(yǔ)言，這些語(yǔ)言在代碼執(zhí)行前會(huì)進(jìn)行通篇編譯，先編譯成字節(jié)碼（機(jī)器碼）。然后在執(zhí)行。而JS不是這樣做的，JS是不需要編譯成中間碼，而是可以直接在瀏覽器中運(yùn)行，JS運(yùn)行過(guò)程可分為兩個(gè)階段，編譯和執(zhí)行。(可參考你不知道的JS這本書(shū)），當(dāng)JS控制器轉(zhuǎn)到一段可執(zhí)行的代碼時(shí)（這段可執(zhí)行代碼就是編譯階段生成的），會(huì)創(chuàng)建與之對(duì)應(yīng)的執(zhí)行上下文(Excution Context簡(jiǎn)稱(chēng)EC)。執(zhí)行上下文可以理解為執(zhí)行環(huán)境（執(zhí)行上下文只能由JS解釋器創(chuàng)建，也只能由JS解釋器使用，用戶是不可以操作該‘對(duì)象'的）。

JS中的執(zhí)行環(huán)境分為三類(lèi):

• 全局環(huán)境：當(dāng)JS引擎進(jìn)入一個(gè)代碼塊時(shí)，如遇到<script>xxx</script>標(biāo)簽，就是進(jìn)入一個(gè)全局執(zhí)行環(huán)境
• 函數(shù)環(huán)境：當(dāng)一個(gè)函數(shù)被調(diào)用時(shí)，在函數(shù)內(nèi)部就形成了一個(gè)函數(shù)執(zhí)行環(huán)境
• eval()：把字符串單做JS代碼執(zhí)行，不推薦使用

在一段JS代碼中可能會(huì)產(chǎn)生多個(gè)執(zhí)行上下文，在JS中用棧這種數(shù)據(jù)結(jié)構(gòu)來(lái)管理執(zhí)行上下文，棧的特點(diǎn)是“先進(jìn)后出，后進(jìn)先出”,這種棧稱(chēng)之為函數(shù)調(diào)用棧。

執(zhí)行上下文的特點(diǎn)

• 棧底永遠(yuǎn)是全局執(zhí)行上下文，有且僅有一個(gè)
• 全局執(zhí)行上下文只有在瀏覽器關(guān)閉時(shí)，才會(huì)彈出棧
• 其他的執(zhí)行上下文的數(shù)量沒(méi)有限制
• 棧頂永遠(yuǎn)是當(dāng)前活動(dòng)執(zhí)行上下文，其余的都處于等待狀態(tài)中，一旦執(zhí)行完畢，立即彈出棧，然后控制權(quán)交回下一個(gè)執(zhí)行上下文
• 函數(shù)只有在每次被調(diào)用時(shí)，才會(huì)為其創(chuàng)建執(zhí)行上下文，函數(shù)被聲明時(shí)是沒(méi)有的。

執(zhí)行上下文可以形象的理解為一個(gè)普通的JS對(duì)象，一個(gè)執(zhí)行上下文的生命周期大概包含兩個(gè)階段：

創(chuàng)建階段

此階段主要完成三件事件，1、創(chuàng)建變量對(duì)象 2、建立作用域鏈 3、確定this指向

執(zhí)行階段

此階段主要完成變量賦值、函數(shù)調(diào)用、其他操作

變量對(duì)象(VO)的創(chuàng)建過(guò)程

• 1、根據(jù)函數(shù)參數(shù)，創(chuàng)建并初始化arguments對(duì)象，給arguments對(duì)象添加屬性"0","1","2","3"等屬性，其初始值為undefined，并設(shè)置arguments.length值為實(shí)際傳入?yún)?shù)的個(gè)數(shù)。
• 2、查找function函數(shù)聲明，在變量對(duì)象上添加屬性，屬性名就是函數(shù)名，屬性值就是函數(shù)的引用值，如果已經(jīng)存在同名的，則直接覆蓋
• 3、查找var變量聲明(查找變量時(shí)，會(huì)把函數(shù)的參數(shù)等價(jià)于var聲明，所以在VO中也會(huì)添加和參數(shù)名一樣的屬性，初始值也是undefined)，在變量對(duì)象添加屬性，屬性名就是變量名，屬性值是undefined，如果已經(jīng)存在同名的，則不處理

如果存在同名標(biāo)識(shí)符（函數(shù)、變量），則函數(shù)可以覆蓋變量，函數(shù)的優(yōu)先級(jí)高于變量

變量對(duì)象（OV）和激活對(duì)象（AO）是同一個(gè)東西，在不同時(shí)期的兩種叫法。在創(chuàng)建時(shí)期叫變量對(duì)象，在執(zhí)行時(shí)期叫激活對(duì)象

以如下代碼為例

var g_name="tom";var g_age=20;function g_fn(num){ var l_name="kity"; var l_age=18; function l_fn(){  console.log(g_name + '===' + l_name + '===' + num); }}g_fn(10);

編譯階段

當(dāng)JS控制器轉(zhuǎn)到這一段代碼時(shí)，會(huì)創(chuàng)建一個(gè)執(zhí)行上下文，G_EC

執(zhí)行上下文的結(jié)構(gòu)大概如下：

G_EC = { VO   : {}, Scope_chain : [], this  : {}}/* VO的結(jié)構(gòu)大概 */VO = { g_name : undefined, g_age : undefined, g_fn : <函數(shù)在內(nèi)存中引用值>}/* Scope_chain的大概結(jié)構(gòu)如下 */Scope_chain = [ G_EC.VO ] // 數(shù)組中第一個(gè)元素是當(dāng)前執(zhí)行上下文的VO，第二個(gè)是父執(zhí)行上下文的VO,最后一個(gè)是全局執(zhí)行上下文的VO,在執(zhí)行階段，會(huì)沿著這個(gè)作用域鏈一個(gè)一個(gè)的查找標(biāo)識(shí)符，如果查到則返回，否知一直查找到全局執(zhí)行上下文的VO/* this */this = undefined // 此時(shí)this的值是undefined

執(zhí)行上下文一旦創(chuàng)建完畢，就立馬被壓入函數(shù)調(diào)用棧中，此時(shí)解釋器會(huì)悄悄的做一件事情，就是給當(dāng)前VO中的函數(shù)添加一個(gè)內(nèi)部屬性[[scope]],該屬性指向上面的作用域鏈。

g_fn.scope = [ global_EC.VO ] // 該scope屬性只能被JS解釋器所使用，用戶無(wú)法使用

執(zhí)行階段

一行一行執(zhí)行代碼，當(dāng)遇到一個(gè)表達(dá)式時(shí)，就會(huì)去當(dāng)前作用域鏈的中查找VO對(duì)象，如果找到則返回，如果找不到,則繼續(xù)查找下一個(gè)VO對(duì)象，直至全局VO對(duì)象終止。

此階段可以有變量賦值，函數(shù)調(diào)用等操作，當(dāng)解釋器遇到g_fn()時(shí)，就知道這是一個(gè)函數(shù)調(diào)用，然后立即為其創(chuàng)建一個(gè)函數(shù)執(zhí)行上下文，fn_EC，該上下文fn_EC同樣有兩個(gè)階段

分別是創(chuàng)建階段和執(zhí)行階段。

在創(chuàng)建階段，對(duì)于函數(shù)執(zhí)行上下文，在創(chuàng)建變量對(duì)象時(shí)，會(huì)多創(chuàng)建一個(gè)arguments對(duì)象，然后為arguments對(duì)象添加屬性:"0"，"1", "2"其初始值為undefined,

• 查找function函數(shù)聲明
• 查找var變量聲明