推荐英文原址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的继承层次如下图所示,
我们经常需要让对象拥有相同的状态结构但是不同的状态值,我们需要使用构造函数通过指定的模式产生对象。