[JavaScript]ECMA-262-3 深入解析.第一章.執(zhí)行上下文

介紹這篇文章我們主要探討ECMAScript執(zhí)行上下文和相關(guān)的ECMAScript可執(zhí)行代碼。定義每次當(dāng)控制器轉(zhuǎn)到ECMAScript可執(zhí)行代碼的時候，即會進(jìn)入到一個執(zhí)行上下文。執(zhí)行上下文(簡稱-EC)是一個抽象概念，ECMA-262標(biāo)準(zhǔn)用這個概念同可執(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引擎時要考慮的問題。活動的執(zhí)行上下文在邏輯上組成一個堆棧。堆棧底部永遠(yuǎn)都是全局上下文(global context)，堆棧頂部是當(dāng)前(活動的)執(zhí)行上下文。堆棧在EC類型的變量(various kingds of EC)被推入或彈出的同時被修改。

介紹
定義
可執(zhí)行代碼
　　全局代碼
　　函數(shù)代碼
　　Eval 代碼
結(jié)論
其他參考

介紹

這篇文章我們主要探討ECMAScript執(zhí)行上下文和相關(guān)的ECMAScript可執(zhí)行代碼。

定義

每次當(dāng)控制器轉(zhuǎn)到ECMAScript可執(zhí)行代碼的時候，即會進(jìn)入到一個執(zhí)行上下文。

執(zhí)行上下文(簡稱-EC)是一個抽象概念，ECMA-262標(biāo)準(zhǔn)用這個概念同可執(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引擎時要考慮的問題。

活動的執(zhí)行上下文在邏輯上組成一個堆棧。堆棧底部永遠(yuǎn)都是全局上下文(global context)，堆棧頂部是當(dāng)前(活動的)執(zhí)行上下文。堆棧在EC類型的變量(various kingds of EC)被推入或彈出的同時被修改。

可執(zhí)行代碼

可執(zhí)行代碼的概念與抽象的執(zhí)行上下文的概念是相對的。在某些時刻，可執(zhí)行代碼與執(zhí)行上下文是等價的。

例如，我們可以定義一個數(shù)組來模擬執(zhí)行上下文堆棧：

ECStack = [];

每次進(jìn)入函數(shù) (即使函數(shù)被遞歸調(diào)用或作為構(gòu)造函數(shù)) 的時候或者內(nèi)置的eval函數(shù)工作的時候，這個堆棧都會被推入。

全局代碼

這種類型的代碼是在"程序"級處理的：例如加載外部的js文件或者本地的在<script></script>標(biāo)簽內(nèi)的代碼。全局代碼不包括任何函數(shù)體內(nèi)的代碼。

在初始化（程序啟動）階段，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í)現(xiàn)方式。一個被拋出但是沒有被截獲的異常，同樣存在一個或多個執(zhí)行上下文。當(dāng)相關(guān)段代碼執(zhí)行完以后，直到整個應(yīng)用程序結(jié)束，ECStack都只包括全局上下文(global context)。

Eval 代碼

eval 代碼有點(diǎn)兒意思。它有一個概念： 調(diào)用上下文(calling context), 這是一個當(dāng)eval函數(shù)被調(diào)用的時候產(chǎn)生的上下文。eval(變量或函數(shù)聲明)活動會影響調(diào)用上下文(calling context)。

eval('var x = 10');
 
(function foo() {
  eval('var y = 20');
})();
 
alert(x); // 10
alert(y); // "y" is not defined

ECStack的變化過程：

ECStack = [
  globalContext
];
 
// eval('var x = 10');
ECStack.push(
  evalContext,
  callingContext: globalContext
);
 
// eval exited context
ECStack.pop();
 
// foo funciton call
ECStack.push(<foo> functionContext);
 
// eval('var y = 20');
ECStack.push(
  evalContext,
  callingContext: <foo> functionContext
);
 
// return from eval
ECStack.pop();
 
// return from foo
ECStack.pop();

看到了吧，這是一個非常普通的邏輯調(diào)用堆棧

在版本號1.7以上的SpiderMonkey(內(nèi)置于Firefox,Thunderbird)的實(shí)現(xiàn)中，可以把調(diào)用上下文作為第二個參數(shù)傳遞給eval。那么，如果這個上下文存在，就有可能影響“私有”(類似以private關(guān)鍵字命名的變量一樣)變量。

function foo() {
  var x = 1;
  return function () { alert(x); };
};
 
var bar = foo();
 
bar(); // 1
 
eval('x = 2', bar); // pass context, influence on internal var "x"
 
bar(); // 2