[JavaScript]ECMA-262-3 深入解析.第一章.执行上下文

这篇文章我们主要探讨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 标准规范中对应的章节— 10. Execution Contexts.

     

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

    作者:Justin
    出处:http://justinw.cnblogs.com/
    本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。

    posted on 2010-04-16 00:20 Justin 阅读(3307) 评论(19) 编辑 收藏

    评论

    #1楼[楼主]  回复 引用 查看   

    虽然字斟句酌,但是难免有理解不到位的地方,欢迎提出宝贵意见,
    特别是翻译不准确的地方,请提出,我尽快修正。
    2010-04-16 00:23 | Justin      

    #2楼  回复 引用 查看   

    ECStack 还是把代码换成图比较好 标准里面其实在极力避免限制实现者的思路 所以用了logically form a stack这个词
    2010-04-16 01:24 | winter-cn      

    #3楼[楼主]  回复 引用 查看   

    引用winter-cn:ECStack 还是把代码换成图比较好 标准里面其实在极力避免限制实现者的思路 所以用了logically form a stack这个词

    这里是翻译文章,所以尽量保持与原文一致
    至于更浅显的图示什么的,可能翻译完这个系列以后,单独再写关于ecma-262的文章时会考虑怎么易懂怎么来
    2010-04-16 08:41 | Justin      

    #4楼  回复 引用 查看   

    文章不错,支持!
    2010-04-16 10:59 | progresstudy      

    #5楼  回复 引用 查看   

    翻译比较准确,内容也很有价值,望楼主再接再厉,翘首企盼中
    2010-04-16 11:06 | 雨石      

    #6楼  回复 引用 查看   

    文章不错,支持!
    2010-04-16 11:53 | 任力      

    #7楼  回复 引用 查看   

    好吧,那我在说点别的吧
    2010-04-16 11:54 | 空杯楠      

    #8楼  回复 引用 查看   

    太牛X了。。阿哦唉
    2010-04-16 12:52 | 舞千愁      

    #9楼[楼主]  回复 引用 查看   

    引用雨石:翻译比较准确,内容也很有价值,望楼主再接再厉,翘首企盼中

    谢谢支持,确实是好东西,可惜识货的人不多
    2010-04-16 13:04 | Justin      

    #10楼  回复 引用 查看   

    @Justin
    哦 哦 明白了
    2010-04-16 13:37 | winter-cn      

    #11楼  回复 引用 查看   

    好东西 请继续
    2010-04-16 17:11 | kuafoo      

    #12楼  回复 引用 查看   

    还是没搞清楚这个“上下文”的意思。
    这里的上下文指的是作用域么?
    2010-04-25 21:51 | 光光      

    #13楼[楼主]  回复 引用 查看   

    @光光
    上下文 === 作用域
    可以这么理解
    2010-04-26 10:13 | Justin      

    #14楼  回复 引用 查看   

    写的太好了!!!希望多些这样的文章
    2010-05-06 18:51 | looping      

    #15楼[楼主]  回复 引用 查看   

    @looping
    谢谢支持!
    2010-05-06 21:35 | Justin      

    #16楼  回复 引用 查看   

    发评论还要注册的-.-!
    有段的翻译似乎有点问题

    Every return exits the current execution context and ECStack popped accordingly — consecutively and upside-down — quite natural implementation of a stack. A thrown but not caught exception also may exit one or more execution contexts. After the work of this code is finished, ECStack again contains only globalContext — until the program end.

    每次执行到"return"语句,都会离开当前的执行上下文......代码抛出的异常如果没有被抓住,也可能离开一个或多个执行上下文......

    博主坚持.加油~
    2010-07-05 21:39 | lenel      

    #17楼[楼主]  回复 引用 查看   

    @lenel
    谢谢支持!
    不过我还是要坚持我原来的翻译 :)
    2010-07-06 00:11 | Justin      

    #18楼  回复 引用 查看   

    ok 那随你吧..
    我觉得exit(s)和exist的意思还是有些区别的...
    2010-07-06 22:15 | lenel      

    #19楼  回复 引用 查看   

    !!! 转载保持慢慢消化
    2010-10-04 14:27 | 星光~      
    发表评论

    昵称: [登录] [注册]

    主页:

    邮箱:(仅博主可见)

    评论内容:

      登录  注册

    [使用Ctrl+Enter键快速提交评论]

    0 1713086 yw1wPZZq090=

    导航

    公告


    2008.10-2009.10
    版权声明: 本站采用创作共用许可署名,转载请保留出处

    昵称:Justin
    园龄:6年9个月
    荣誉:推荐博客
    粉丝:328
    关注:35

    搜索

     

    随笔分类(273)

    最新评论

    阅读排行榜

    评论排行榜