執行上下文棧(Execution Context Stack);
在ECMASscript中的代碼有三種類型:global, function和eval。
每一種代碼的執行都要依賴自身的上下文,其中global函數的上下文中會包含很多function或者eval的實例。函數的每一次調用都會進入函數執行中的上下文,并且計算函數中變量等的值(有個疑問:如果下次再調用這個函數的時候,上次計算的變量還存在嗎?還是隨著函數的生命周期的結束而銷毀呢?)
,eval函數的每一次執行,也會進入eval執行中的上下文,判斷應該從何處獲取變量的值。
注意!一個function可能產生無限的上下文環境,也就是說函數的每一次調用都會產生新的上下文環境,甚至是遞歸函數。
function foo(bar){
.....
}
foo(1)
foo(2)
foo(3)
//相同的function 每次都會產生不同的上下文
foo1Context={
變量對象VO:var bar=1;
活動對象AO:。。。
}
foo2Context={
變量對象VO:var bar=2;
活動對象AO:。。。
}
foo2Context={
變量對象VO:var bar=3;
活動對象AO:。。。
}
//包含不同的狀態,例如參數bar的值,(疑問:難道不同的變量對象就是不同的執行上下文嗎?如果是這樣的話,那就是每次調用函數執行上下都不同吧!)
???一個執行上下文會激活其他的上下文,比如一個函數調用另一個函數,或者在全局上下文內調用全局函數(疑問:我一直以為全局上下文就是全局函數的上下文。。難道全局函數有自己的上下文嗎?),然后一層一層的調用下去,邏輯上來說,這種實現方式是棧,我們可以稱之為上下文堆棧。
激活其他上下文的某個上下文叫做調用者(caller),被激活的上下文叫做被調用者(callee),被調用者同時也可能是調用者.
???例如A的上下文激活B的上下文,A叫caller,B叫callee,B也可能是另一個callee的caller(B函數調用某些自身的內部方法的意思吧),(例如一個全局上下文中的function又一次調用了它的內部函數。)。
??當一個caller激活了另一個callee,那么這個caller就暫停自身的執行,然后將控制權交給callee,于是這個callee就被放入堆棧中,稱為進行中的上下文(running/active execution context),(疑問:就比如
function a(){
function b(){
console.log("haha");
}
return b;
}
a()
當函數a執行之后,函數a激活了函數b的上下文,現在a暫停執行,程序進入函數b執行的意思嗎,然后b就被放到棧的最前端?)
??當這個callee(被調用者)執行完之后,會把控制權再次交給它的caller(調用它的函數也就是調用者),然后caller會在剛才暫停的地方繼續執行。這個caller 結束之后會繼續觸發其他的上下文。一個callee可以用返回(return)或者拋出異常(exception)來結束自身的上下文。(就是說被調用的函數return之后就結束了)
??如下圖:
所有的ECMAScript的程序執行都可以看做是一個執行上下文堆棧[execution context (EC) stack]。棧的頂部就是出于激活狀態的上下文。
??當一段程序開始的時候,會先進入全局執行上下文環境[global execution context],所以全局執行上下文會最先被壓入棧的底部,
此時全局程序會開始初始化,初始化生成必要的對象[objects]和函數[functions],(我的理解:也就是在全局內的變量和函數的聲明前置吧),
在此全局上下文執行的過程中(就是運行全局函數的過程中),它可能會激活一些方法(就時調用或執行別的函數唄,當然是已經初始化過的),然后進入他們的上下文環境,進入他們的上下文環境之后,環境被激活,就被壓入執行上下文堆棧[execution context (EC) stack]中,在這些初始化都結束之后,這個系統會等待一些事件(例如用戶的鼠標點擊等),會觸發一些方法,然后進入一個新的上下文環境。
如下圖:有一個函數上下文“EC1″和一個全局上下文“Global EC”,下圖展現了從“Global EC”進入和退出“EC1″時棧的變化:
ECMAScript運行時系統就是這樣管理代碼的執行。
執行上下文
每次當控制器轉到ECMAScript可執行代碼的時候,即會進入到一個執行上下文。執行上下文(簡稱-EC)是ECMA-262標準里的一個抽象概念,用于同可執行代碼(executable code)概念進行區分。
??活動的執行上下文組在邏輯上組成一個堆棧。堆棧底部永遠都是全局上下文(global context),而頂部就是當前(活動的)執行上下文。堆棧在EC類型進入和退出上下文的時候被修改(推入或彈出)。
原文:http://dmitrysoshnikov.com/ecmascript/javascript-the-core/
參考1:http://ued.ctrip.com/blog/?p=2795
參考2:http://www.cnblogs.com/ifishing/archive/2010/12/08/1900594.html