继承是OO语言的一个重要概念。许多OO语言支持两种方式继承:接口继承和实现继承。接口继承只继承方法签名,而实现继承则继承实际的方法。ECMAScript函数没有签名,所以无法实现接口继承,只支持实现继承,实现继承主要依靠原型链来实现的。
原型链
原型链作为实现继承的主要方法,其基本思想是利用原型让每个引用类型继承另一个引用类型的属性和方法。
实现原型链有一种基本模式,其代码如下:
在上面的例子中,我们没有使用SubType
的原型,而是给了它SuperType
的实例。于是,新原型有了SuperType
的所有属性和方法。通过实现原型链,实际上是扩展了原型搜索机制。
1. 别忘记默认的原型
前面的例子少了一环。SuperType
其实还包含了一个内部指针,指向Object.prototype
。一句话,SubType继承了SuperType
,SuperType
继承了Object
。
2. 确定实例和原型的关系
可以通过两种方式确定原型和实例的关系。第一种是通过instaceof
操作符。另一种是isPropertyOf()
方法。
|
|
3. 谨慎地定义方法
子类型有时候需要的重写超类型的某个方法,或者需要添加不存在的方法。添加方法的代码一定要放在替换原型之后!
|
|
上述代码重写了SubType
的getSuperValue()
方法,当SubType
实例调用getSuperValue()
方法时,调用的是新的方法;但通过SuperType
的实例调用getSuperValue()
时,会继续调用原来的方法。
必须在实例替换原型之后,再定义方法。
通过原型链实现继承时,不能使用字面量创建原型方法,因为这样会重写原型链。
|
|
4. 原型链的问题
原型链虽然很强大,可以用来实现继承,但也存在一些问题。最主要的问题是来自包含引用类型值的原型。引用类型的原型属性会被所有实例共享;这也是为什么要在构造函数而不是原型对象中定义属性的原因。
|
|
原型链的另一个问题是:创建子类型的实例时,无法向超类型的构造函数中传递参数。实际上是无法在不影响所有实例对象的情况下,给超类型传递参数。所以实践中很少单独使用原型链继承模式。