构造函数、原型、实例之间的关系:每个构造函数都有一个原型对象,原型对象都包含一个指向构造函数的指针,而实例都包含一个指向原型对象的指针。
一、原型链继承
原型链继承的本质就是重写原型对象,代之以一个新类型的实例。例如:
1 | function Animal() { |
原型链继承方案有几个缺点:
- 多个实例对引用类型的操作会被篡改
- 子类型的原型上的constructor属性被改写
- 给子类型原型添加属性和方法必须在替换原型之后
- 创建子类型实例时无法向父类型的构造函数传参
问题1
原型链继承方案中,原型实际上会变成另一个类型的实例,如下代码,Cat.prototype 变成了 Animal 的一个实例,所以 Animal 的实例属性 names 就变成了 Cat.prototype 的属性。
1 | function Animal(){ |
问题2
子类型原型上的constructor属性被重写,Cat.prototype 上丢失了 constructor 属性, Cat.prototype 指向了 Animal.prototype,而 Animal.prototype.constructor 指向了 Animal,所以 Cat.prototype.constructor 指向了 Animal。
1 | Cat.prototype = new Animal(); |
这个问题解决办法很简单,就是重写 Cat.prototype.constructor 属性,指向自己的构造函数 Cat。
1 | function Animal(){ |
问题3
给子类型原型添加属性和方法必须在替换原型之后,因为子类型的原型会被覆盖。
1 | function Animal() { |
1 | function Animal() { |
属性遮蔽
改造上面的代码,在 Cat.prototype 上添加 run 方法,但是 Animal.prototype 上也有一个 run 方法,不过它不会被访问到,这种情况称为属性遮蔽 (property shadowing)。
1 | function Animal() { |
如何访问被遮蔽的属性?通过 proto 调用原型链上的属性即可
1 | instance.__proto__.__proto__.run(); // undefined is running |
原型链继承方案有很多问题,实践中很少会单独使用,日常工作中使用 ES6 Class extends(模拟原型)继承方案即可。
二、借用构造函数继承
使用父类的构造函数来增强子类实例,相当于复制父类的实例给子类(不使用原型)
1 | function Parent(){ |
核心代码是Parent.call(this),创建子类实例时调用父类构造函数,于是Son的每个实例都会将Parent中的属性复制一份。
缺点:
- 只能继承父类的实例属性和方法,不能继承原型属性/方法
- 无法实现复用,每个子类都有父类实例函数的副本,影响性能
三、组合继承
组合上述两种方法就是组合继承。用原型链实现对原型属性和方法的继承,用借用构造函数技术来实现实例属性的继承。
1 | function Parent(name){ |
缺点:
两次调用父类构造函数
- 第一次调用Parent():给Son.prototype写入两个属性name,color。
- 第二次调用Parent():给实例s1写入两个属性name,color。
1 | s1 |
实例对象s1上的两个属性就屏蔽了其原型对象SubType.prototype的两个同名属性。所以,组合模式的缺点就是在使用子类创建实例对象时,其原型中会存在两份相同的属性/方法。
四、原型式继承
利用一个空对象作为中介,将某个对象直接赋值给空对象构造函数的原型。
1 | function object(obj){ |
object()对传入其中的对象执行了一次浅复制,将构造函数F的原型直接指向传入的对象。
1 | var Parent = { |
缺点:
- 原型链继承多个实例的引用类型属性指向相同,存在篡改的可能。
- 无法传递参数
⚠️ ES5中存在Object.create()的方法,能够代替上面的object方法。
五、寄生式继承
核心:在原型式继承的基础上,增强对象,返回构造函数
1 | function createObject(obj) { |
1 | var Parent = { |
缺点:(同原型式继承)
- 原型链继承多个实例的引用类型属性指向相同,存在篡改的可能。
- 无法传递参数
六、寄生组合式继承
结合借用构造函数传递参数和寄生模式实现继承
1 | function inheritPrototype (subType, superType) { |
1 | s1 |
优点:
- 它只调用了一次SuperType 构造函数,并且因此避免了在SubType.prototype 上创建不必要的、多余的属性
- 原型链保持不变;因此,还能够正常使用instanceof 和isPrototypeOf()
⚠️ 这是最成熟的方法,也是现在库实现的方法
七、混入方式继承多个对象
1 | function MyClass() { |
Object.assign会把 OtherSuperClass原型上的函数拷贝到 MyClass原型上,使 MyClass 的所有实例都可用 OtherSuperClass 的方法。
八、es6类继承extends
extends关键字主要用于类声明或者类表达式中,以创建一个类,该类是另一个类的子类。其中constructor表示构造函数,一个类中只能有一个构造函数,有多个会报出SyntaxError错误,如果没有显式指定构造方法,则会添加默认的 constructor方法,使用例子如下。
1 | class Rectangle { |
extends继承核心代码和寄生组合式继承方式相同
1 | function _inherits(subType, superType) { |
⚠️ 补充:Object.create语法
Object.create(proto, [propertiesObject])
参数:
- proto:必须。新创建对象的原型对象。
- propertiesObject: 可选。默认为undefined,则是要添加到新创建对象的可枚举属性(即其自身定义的属性,而不是其原型链上的枚举属性)对象的属性描述符以及相应的属性名称。这些属性对应Object.defineProperties()的第二个参数。
返回值:在指定原型对象上添加新属性后的对象。
如果propertiesObject参数不是 null 或一个对象,则抛出一个 TypeError 异常。
1 | var a = { rep : 'apple' } |
⚠️ 函数声明和类声明的区别
函数声明会提升,类声明不会。首先需要声明你的类,然后访问它,否则像下面的代码会抛出一个ReferenceError。
1 | let p = new Rectangle(); |
⚠️ ES5继承和ES6继承的区别
- es5的继承实际上是先创建子类的实例对象,然后通过Parent.call(this)将父类的方法添加到this上
- es6的继承有所不同,实质上是先创建父类的实例对象this,然后再用子类的构造函数修改this。因为子类没有自己的this对象,所以必须先调用父类的super()方法,否则新建实例报错。
参考文章:
https://juejin.im/post/5ca9cebb6fb9a05e505c5f81
https://github.com/yygmind/blog/issues/7
《javascript高级程序设计》第六章
http://es6.ruanyifeng.com/#docs/class-extends
MDN Object.create()