[JavaScript]ECMA-262-3 深入解析.第一章.執行內容

介紹
定義
可執行代碼
　　全域代碼
　　函數代碼
　　Eval 代碼
結論
其他參考 介紹

這篇文章我們主要探討ECMAScript執行內容和相關的ECMAScript可執行代碼。

定義

每次當控制器轉到ECMAScript可執行代碼的時候，即會進入到一個執行內容。

執行內容(簡稱-EC)是一個抽象概念，ECMA-262標準用這個概念同可執行代碼(executable code)概念進行區分。

標準規範沒有從技術實現的角度準確定義EC的類型和結構;這應該是具體實現ECMAScript引擎時要考慮的問題。

活動的執行內容在邏輯上組成一個堆棧。堆棧底部永遠都是全域上下文(global context)，堆棧頂部是當前(活動的)執行內容。堆棧在EC類型的變數(various kingds of EC)被推入或彈出的同時被修改。

可執行代碼

可執行代碼的概念與抽象的執行內容的概念是相對的。在某些時刻，可執行代碼與執行內容是等價的。

例如，我們可以定義一個數組來類比執行內容堆棧：

ECStack = [];

每次進入函數 (即使函數被遞迴調用或作為建構函式) 的時候或者內建的eval函數工作的時候，這個堆棧都會被推入。

全域代碼

這種類型的代碼是在"程式"級處理的：例如載入外部的js檔案或者本地的在<script></script>標籤內的代碼。全域代碼不包括任何函數體內的代碼。

looks like:" style="background-color: #ffffff;">在初始化（程式啟動）階段，ECStack是這樣的：

looks like:" style="background-color: #ffffff;">

ECStack = [  globalContext];

函數代碼

當進入函數代碼(所有類型的函數)，ECStack被推入新元素。要注意的是，具體的函數代碼不包括內建函式(inner functions)代碼。如下所示，我們使函數自己調自己的方式遞迴一次：

(function  foo(bar) {  if (bar) {    return;  }  foo(true);})();

那麼，ECStack以如下方式被改變：

// first activation of fooECStack = [  <foo> functionContext  globalContext]; // recursive activation of fooECStack = [  <foo> functionContext – recursively  <foo> functionContext  globalContext];

每次返回存在的當前執行內容和ECStack彈出相應的執行內容的時候，棧指標會自動移動位置，這是一個典型的堆棧實現方式。一個被拋出但是沒有被截獲的異常，同樣存在一個或多個執行內容。當相關段代碼執行完以後，直到整個應用程式結束，ECStack都只包括全域上下文(global context)。

Eval 代碼

 eval 代碼有點兒意思。它有一個概念： 調用上下文(calling context), 這是一個當eval函數被調用的時候產生的上下文。eval(變數或函式宣告)活動會影響調用上下文(calling context)。

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

ECStack的變化過程：

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

看到了吧，這是一個非常普通的邏輯呼叫堆疊

在版本號碼1.7以上的SpiderMonkey(內建於Firefox,Thunderbird)的實現中，可以把調用上下文作為第二個參數傳遞給eval。那麼，如果這個上下文存在，就有可能影響“私人”(類似以private關鍵字命名的變數一樣)變數。

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

結論

這篇文章的內容是未來分析其他跟執行內容相關的主題(例如變數對象，範圍鏈，等等)的最起碼的理論基礎，這些主題將在後續章節中講到。

其他參考

這篇文章的內容在ECMA-262-3 標準規範中對應的章節— 10. Execution Contexts.

 

英文地址 : ECMA-262-3 in detail. Chapter 1. Execution Contexts
中文地址 : http://www.cnblogs.com/justinw/archive/2010/04/16/1713086.html