继承是面向对象语言中一个最为人津津乐道的概念。许多面向对象语言都支持两种继承方式:接口继承和实现继承。接口继承只继承方法签名,而实现继承则继承实际的方法。在ECMAScript中,函数没有签名,无法实现接口继承,只支持实现继承,继承主要依靠的是原型链。
先来看一个简单的原型链继承示例,如下图:
首先声明一个Human
函数,给它的原型添加一个getHumanSex
方法。然后声明一个Person
函数,要让Person
继承Human
,能使用Human
的属性和方法,只要把Person
的原型重新赋值为Human
的一个实例就好了。最后给Person
的原型(也就是Human
的这个实例)添加一个getPersonSex
方法。现在创建Person
的一个实例personObj
,name = '张三',age = 12
。如果访问personObj.name
,那么就可以直接访问到是张三
了。假如现在要访问humanSex
,因为personOb
j中没有,所以会顺着__proto__
属性到Person
的原型中去找,而Person
的原型就是Human
的一个实例,它的humanSex
属性就是'男/女'
,所以personObj.humanSex
的值就是'男/女'
,这就达到了继承的效果。假如要访问getPersonSex
,personObj
中没有,也是到原型中去找,找到了就调用,因为是使用personObj.getPersonSex
,所以在方法getPersonSex
中,this
指的就是personObj
,return this.personSex
就是返回personObj.personSex
,即为'男'
。 如果是调用personObj.getHumanSex
,还是先顺着__proto__
到Person
的原型中去找,Person
的原型是Human
的一个实例,里面没有,那怎么办呢,因为该原型是Human
的一个实例,所以它自然也会有个__proto__
指向Human
的原型,于是就继续顺着这个__proto__
到Human
的原型中去找,这就是所谓的原型链,找到了就开始调用,自然getHumanSex
中的this
指的也就是personObj
,return this.humanSex
就是return personObj.humanSex
,即'男/女'
。这就是原型链继承。
细心的读者也许会发现,在Human
的原型中也有个__proto__
,那么Human
的原型会不会也是某个函数的一个实例呢?如果我们调用personObj.toString()
,那么我们调用的究竟是谁的toString()
呢?要回答这个问题,我们来看下面这幅示意图:
Human
的原型其实是Object
的一个实例,自然__proto__
指向的就是Object
的原型,而toString
就是Object
原型上的方法。
其实ECMAScript中所有引用类型的默认原型都是Object
的实例,也就是说所有引用类型默认都继承了Object
,而这个继承正是通过原型链实现的。
原型的好处是所有的实例能共享它所包含的属性和方法,也就是说不必在构造函数中定义对象实例的信息,但正如JavaScript创建对象(三)——原型模式中所说,这也带来了一个问题。原型属性会被所有实例共享,对于引用类型会出现一些应用时的共享问题,所以需要在构造函中,而不是在原型对象中定义属性。但是在通过原型来实现继承时,原型实际上就是另一个函数的实例。于是,原来的实例属性也就顺理成章地变成了现在的原型属性了,那么原型共享数据的问题又出现了。
另外一个问题是,创建子类型的实例时,没法向超类型的构造函数中传递参数。实际上,应该说是没办法在不影响所有对象的实例下,给超类型的构造函数传递参数。有鉴于此,实践中很少会单独使用原型链。