定義
每次當控制器轉到ECMAScript可執(zhí)行代碼的時候,即會進入到一個執(zhí)行上下文。
執(zhí)行上下文(簡稱-EC)是一個抽象概念,ECMA-262標準用這個概念同可執(zhí)行代碼(executable code)概念進行區(qū)分。
標準規(guī)范沒有從技術實現(xiàn)的角度準確定義EC的類型和結構;這應該是具體實現(xiàn)ECMAScript引擎時要考慮的問題。
活動的執(zhí)行上下文在邏輯上組成一個堆棧。堆棧底部永遠都是全局上下文(global context),堆棧頂部是當前(活動的)執(zhí)行上下文。堆棧在EC類型的變量(various kingds of EC)被推入或彈出的同時被修改。
可執(zhí)行代碼
可執(zhí)行代碼的概念與抽象的執(zhí)行上下文的概念是相對的。在某些時刻,可執(zhí)行代碼與執(zhí)行上下文是等價的。
例如,我們可以定義一個數(shù)組來模擬執(zhí)行上下文堆棧:
ECStack = [];
每次進入函數(shù) (即使函數(shù)被遞歸調(diào)用或作為構造函數(shù)) 的時候或者內(nèi)置的eval函數(shù)工作的時候,這個堆棧都會被推入。
全局代碼
這種類型的代碼是在"程序"級處理的:例如加載外部的js文件或者本地的在<script></script>標簽內(nèi)的代碼。全局代碼不包括任何函數(shù)體內(nèi)的代碼。
在初始化(程序啟動)階段,ECStack是這樣的:
ECStack = [
globalContext
];
函數(shù)代碼
當進入函數(shù)代碼(所有類型的函數(shù)),ECStack被推入新元素。要注意的是,具體的函數(shù)代碼不包括內(nèi)部函數(shù)(inner functions)代碼。如下所示,我們使函數(shù)自己調(diào)自己的方式遞歸一次:
(function foo(bar) {
if (bar) {
return;
}
foo(true);
})();
那么,ECStack以如下方式被改變:
// first activation of foo
ECStack = [
<foo> functionContext
globalContext
];
// recursive activation of foo
ECStack = [
<foo> functionContext – recursively
<foo> functionContext
globalContext
];
每次返回存在的當前執(zhí)行上下文和ECStack彈出相應的執(zhí)行上下文的時候,棧指針會自動移動位置,這是一個典型的堆棧實現(xiàn)方式。一個被拋出但是沒有被截獲的異常,同樣存在一個或多個執(zhí)行上下文。當相關段代碼執(zhí)行完以后,直到整個應用程序結束,ECStack都只包括全局上下文(global context)。
原文地址:ECMA-262-3 in detail. Chapter 1. Execution Contexts
作者:Justin
出處:http://justinw.cnblogs.com/