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

推荐英文原址ECMA-262

1.对象

ECMAScrip 作为一个高度抽象的面向对象语言，视万物为对象，任何原语在必要的时候都会转化成对象来处理。

以下是一个对象的例子。一个对象的原型由对象的内部属性[[Prototype]]来引用，在图中我们使用_ _<internal-property>_ _这种双下划线符号代替双引号的方式指代原型对象: _ _proto_ _（非标准，各脚本引擎支持有差异，e.g. SpiderMonkey）。

var foo = {
  x: 10,
  y: 20
};

这个结构定义了两个显式属性和一个隐式属性 _ _proto_ _，它指向foo的原型，如下图所示：

为什么要使用原型，请看下章原型链：

2.原型链

原型对象也是一些简单的对象，它们也有自己原型。一个原型若拥有一个非空指针指向它的原型，那么就构成了原型链。

原型链是一个有限对象链，它们用来实现继承和属性共享

设想两个对象有一些属性不同而其他所有属性都相同的情况，很明显，设计良好的系统应当代码重用，而不是在一个对象中重复定义。在基于类的系统中，代码重用的风格也叫类的继承 ——Class B 和 Class C将它们相似的功能置于 class A，然后Class B 和 Class C继承A的属性，自身仅拥有其他有差别的属性。

ECMAScript没有类的概念，然而代码重用的风格和类相差不多（尽管在某些方面要比类更加灵活），它是通过原型链来达到同样的效果的。这种继承方式叫做代理继承（更贴近ECMAScript的称呼，原型继承）。

如下代码在ECMAScript中创建的对象a，b，c，就像上文所述的类 A ，B 和C，因此对象a拥有对象b和c的公共部分，对象b和c只存储它们之间有差异的部分。

var a = {
  x: 10,
  calculate: function (z) {
    return this.x + this.y + z
  }
};
 
var b = {
  y: 20,
  __proto__: a
};
 
var c = {
  y: 30,
  __proto__: a
};
 
// call the inherited method
b.calculate(30); // 60
c.calculate(40); // 80

足够简单，不是吗？我们可以看到b和c可以访问a中定义的calculate方法，这就是通过原型链达到的。

规则很简单：如果一个方法或者属性不在一个对象本身里面，那么就尝试在原型链中查找。如果在原型中没有找到，那么就在原型的原型中查找，以此类推查找整个原型链（和类的继承完全一样，只不过当我们处理一个继承方法使用的是原型链而已）。最先发现的属性或者方法最先使用，找到的属性就叫做继承属性。如果在整个原型链中都没有找到，将返回undefined值。

注意，那个在继承方法中的this值是原始的对象（b和c），而不是定义这个方法的对象（c），在这个例子中，this.y是b和c中的y，而不是a中的。然而this.x来自于a，但这是通过原型链机制得到的（x本来应该是从b和c中获得，但他们本身没有）
如果一个对象没有显式指定原型，那么默认的_ _proto_ _值是Object.prototype。Object.prototype本身也有一个_ _proto_ _，它是原型链中的最后一个，其值为null。对象a，b，c的继承层次如下图所示，

我们经常需要让对象拥有相同的状态结构但是不同的状态值，我们需要使用构造函数通过指定的模式产生对象。