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