zoukankan      html  css  js  c++  java

  • V8引擎实现标准ECMA-262（三）

    推荐英文原址ECMA-262

    3.构造函数

    构造函数除了通过指定的模式创建对象以外，还有另外一个好处——它能够自动设置新创建对象的原型对象，这个原型对象存储在构造函数的Prototype属性中。

    例如，我们使用构造函数来创建对象b和c，如下

    [javascript] view plaincopy
    1. // 构造函数  
    2. function Foo(y) {  
    3.   // 通过指定模式创建对象，对象创建完后，就拥有了y属性  
    4.   this.y = y;  
    5. }  
    6.    
    7. //Foo.prototype存储了新创建对象的原型的引用，我们可以使用它来定义共享的属性或方法   
    8. //如下这句，使所有新创建的对象有用共享的属性 "x"  
    9. Foo.prototype.x = 10;  
    10.    
    11. // 所有新创建的对象有用共享的方法 "calculate"  
    12. Foo.prototype.calculate = function (z) {  
    13.   return this.x + this.y + z;  
    14. };  
    15.    
    16. // 使用Foo构造函数创建对象b和c，注意使用new调用构造函数创建对象  
    17. var b = new Foo(20);  
    18. var c = new Foo(30);  
    19.    
    20. // 调用继承的方法，该方法为二者共享的，只有一份拷贝  
    21. b.calculate(30); // 60  
    22. c.calculate(40); // 80  
    23.    
    24.   
    25. console.log(  
    26.  //对象b和c原型相同  
    27.   b.__proto__ === Foo.prototype, // true  
    28.   c.__proto__ === Foo.prototype, // true  
    29.    
    30.  // Foo.prototype 会自动创建一个特别的属性constructor指向构造函数Foo  
    31.  //对象b和c可以通过代理找到此构造函数  
    32.   b.constructor === Foo, // true  
    33.   c.constructor === Foo, // true  
    34.   Foo.prototype.constructor === Foo // true  
    35.    
    36.   b.calculate === b.__proto__.calculate, // true  
    37.   b.__proto__.calculate === Foo.prototype.calculate // true  
    38.    
    39. );  
    以上对象的关系如下图所示，


    （此图看起来非常复杂，我会着重来分析的，容我翻译完本节回头再写^_^）

    这张图展示了每一个对象都有一个对应的原型。构造函数Foo自身也有原型，该原型由Foo的属性_ _proto_ _所指向，如图Function.prototype,而Function.prototype本身又有原型，即Object.prototype。因此，Foo.prototype只是Foo的显式属性，它被对象b和c引用。

    正常情况下，如果不考虑类的概念，我们可以把构造函数和原型统称为“类”。事实上，python的动态类就是利用属性/方法手段来实现的。从这点上来看，python的类语法只是ECMAScript代理继承的一种浓缩（syntactic sugar一词翻译）

    这个主题的详细完整解释放在了ES3 系列第7章，共有两个部分：面向对象理论和ECMAScript实现。

    现在，如果你有基本的面向对象的观点，我们来看看ECMAScript中运行时程序执行的实现。我们也叫做程序执行上下文栈，其中的每个抽象元素都由对象表示，实际上，ECMAScript时刻都透露着面向对象的思想。


    4.执行上下文栈

    ECMAScript有三种类型的代码：全局代码、函数代码和eval代码。每种代码在它的执行上下文中进行。全局上下文的实例只有一个，而函数和eval上下文却有多个实例。每次函数或者eval调用都会进入相应的函数或者eval的执行上下文中，计算函数或者eval的代码类型。（后面一句相当拗口，说白了就是每次函数调用前将一些状态压入栈中保存，从而在函数代码的执行时，处在当前的函数执行的上下文内。懂得基本的汇编函数调用对理解这个大有益处。）

    请注意，每个函数可以产生无数个上下文，因为每次函数被调用（即使函数被自己调用，即嵌套函数）都会产生一个新的上下文，并拥有当前上下文的状态。

    [javascript] view plaincopy
    1. function foo(bar) {}  
    2.   
    3. //调用同一个函数三次，会产生三个的上下文，每个上下文拥有不同的状态，例如参数bar值不一样（很多情况下不仅仅与此）  
    4. foo(10);  
    5. foo(20);  
    6. foo(30);  
    一个上下文激活另一个上下文，那么前者就叫做调用者，后者叫作被调用者。被调用者可能同一时间又是调用者（例如一个函数被全局上下文调用，该函数又调用内部函数）。当调用者调用被调用者，那么调用者会暂停滋生的执行，并把控制流传给被调用者。被调用者被压入栈，变成一个运行（激活）的执行上下文，当被调用上下文结束，将会返回控制流给调用者，调用者再继续执行直到结束（期间可能又激活其他上下文）。被调用者返回return结果或者因为异常退出。一个非捕获异常可能导致从多个上下文退出（出栈）。

    所有的ECMAScript程序运行时通过执行上下文（EC）栈来展现，栈最顶部的上下文是激活（正在运行着）的上下文，如下为一个执行上下文栈，

    当程序开始时，先进入全局执行上下文（Global EC），它是栈中最底部也是第一个元素。全局代码进行一些初始化，创建必要的对象和函数 。在全局上下文执行的时候，它会激活其它上下文（函数调用），并将新元素压入栈。初始化以后，则等待一些事件来触发函数，从而进入新的上下文中。下图展现了函数上下文的变化情况，栈从上下文EC1进入和退出全局上下文的过程，

    如我们所说，每个栈中的执行上下文都是一个对象，让我们来看看它的结构以及上下文需要哪些状态来运行代码。

    5.执行上下文

    执行上下文抽来来说就是一个简单对象。每一个执行上下文都有一些属性的集合（上下文状态），用来跟踪相关代码的执行过程。下图即为上下文的结构图

    [javascript] view plaincopy
    1. <span style="font-family: 'Microsoft YaHei'; white-space: normal; background-color: rgb(255, 255, 255); ">除了这三种必要属性外，执行上下文在实现上可以有其它的状态。我们来看看这些重要属性的细节。</span>  

    变量对象

    变量对象是跟上下文有关的数据的范围，这个对象存储了在上下文中定义的变量、函数声明

    注意，函数表达式（对比函数声明）不包括在变量对象之中

    变量对象是一个抽象的概念，在不同的上下文类型中，会使用不同的对象。例如，在全局上下文中，变量对象就是全局对象本身（这就是为什么我们能够通过全局对象的属性名来引用全局变量），如下：

    [javascript] view plaincopy
    1. var foo = 10;  
    2.    
    3. function bar() {} // 函数声明, FD  
    4. (function baz() {}); //函数表达式, FE  
    5.    
    6. console.log(  
    7.   this.foo == foo, // true  
    8.   window.bar == bar // true  
    9. );  
    10.    
    11. console.log(baz); // 引用错误, "baz" 未定义  
    全局上下文变量对象（VO）会有下列属性

    再一次看到，函数baz作为一个函数表达式没有包括在变量对象中。这就是为什么在外部访问函数自身时产生引用错误。

    注意，相对于其他语言（如C++），在ECMAScript只有函数会创建一个新的范围。变量和在函数内定义的内部函数在外部不可见，不会污染全局对象变量。

    使用eval也会进入一个新的eval执行上下文，然后，eval使用全局变量对象或者调用eval的变量对象（例如调用eval的某个函数）

    函数和其变量对象是什么样的？在函数上下文中，变量对象表现为一个激活对象（activation object）

    激活对象

    当一个函数被调用时，一个特别的激活对象就会被创建。形式参数和一个特别的argument对象（它是对形参的一种映射，可以通过索引寻找指定的形参）将会用来对它赋值，然后激活对象就可以作为一个函数的变量。例如，一个函数的变量对象不仅存储了函数的变量和函数声明，它也存储了形式参数和argument对象，它就叫做激活对象。例如下面这个例子：

    [javascript] view plaincopy
    1. function foo(x, y) {  
    2.   var z = 30;  
    3.   function bar() {} // FD  
    4.   (function baz() {}); // FE  
    5. }  
    6.    
    7. foo(10, 20);  
    我们有了函数上下文的另一个对象。


                          

    函数表达式baz仍然不包括在变量/激活对象中。

    我们继续进行下一节。如我们所知，在ECMAScript中我们使用内部函数，这些内部函数可能引用父函数或者全局函数的变量，就像上文提到的原型链，我们给作用域对象起名为作用域链。

    作用域链

    我们作用域链是一个对象列表，它用来寻找出现在上下文代码中的特定符号。
  • 相关阅读:
    谈谈node（1）
    怎么调用html5的摄像头，录音，视频？
    es6-块级作用域let 和 var的区别
    输入手机号自动分隔
    How do I know which version of Javascript I'm using?
    PHP的类中的常量，静态变量的问题。
    【转】马拉松式学习与技术人员的成长性
    JavaScript Prototype in Plain Language
    Promise编程规范
    XMLHttpRequest对象解读
  • 原文地址：https://www.cnblogs.com/zsw-1993/p/4879816.html
Copyright © 2011-2022 走看看