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 代码

 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测试上述代码运行效果。