1. 程式人生 > 程式設計 >JavaScript ECMA-262-3 深入解析(一):執行上下文例項分析

JavaScript ECMA-262-3 深入解析(一):執行上下文例項分析

本文例項講述了JavaScript ECMA執行上下文。分享給大家供大家參考,具體如下:

這篇文章我們主要探討ECMAScript執行上下文和相關的ECMAScript可執行程式碼。

每次當控制器轉到ECMAScript可執行程式碼的時候,即會進入到一個執行上下文

執行上下文(簡稱-EC)是一個抽象概念,ECMA-262標準用這個概念同可執行程式碼(executable code)概念進行區分。

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

活動的執行上下文在邏輯上組成一個堆疊。堆疊底部永遠都是全域性上下文(global context

),堆疊頂部是當前(活動的)執行上下文。堆疊在EC型別的變數(various kingds of EC)被推入或彈出的同時被修改。

可執行程式碼的概念與抽象的執行上下文的概念是相對的。在某些時刻,可執行程式碼與執行上下文是等價的。

例如,我們可以定義一個數組來模擬執行上下文堆疊:

ECStack = [];

每次進入函式 (即使函式被遞迴呼叫或作為建構函式) 的時候或者內建的eval函式工作的時候,這個堆疊都會被推入。

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

在初始化(程式啟動)階段,ECStack是這樣的:

ECStack = [
 globalContext
];

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

(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
];

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

eval 程式碼有點兒意思。它有一個概念: 呼叫上下文(calling context),這是一個當eval函式被呼叫的時候產生的上下文。eval(變數或函式宣告)活動會影響呼叫上下文(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();

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

在版本號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 標準規範中對應的章節.

英文地址 : ECMA-262-3 in detail. Chapter 1. Execution Contexts

感興趣的朋友可以使用線上HTML/CSS/JavaScript程式碼執行工具:http://tools.jb51.net/code/HtmlJsRun測試上述程式碼執行效果。

更多關於JavaScript相關內容可檢視本站專題:《javascript面向物件入門教程》、《JavaScript錯誤與除錯技巧總結》、《JavaScript資料結構與演算法技巧總結》、《JavaScript遍歷演算法與技巧總結》及《JavaScript數學運算用法總結》

希望本文所述對大家JavaScript程式設計有所幫助。