es6的继承原理

javascript有八种类型的数据,其中没有function,是因为functionobject这个大类包含了。也就是说,所有函数都是object。
当我们自己声明了一个类,我们拿到的引用是一个函数的引用,它默认继承于内置的Object对象,但是由于javascript最顶层的父级(ObjectFunction)设计有点乱,并且不具有普适性,在这里我们用两个普通的类来演示继承的实现。
将子类声明的引用原型的[[Prototype]]指向父类声明的引用原型,这是继承实现的一部分。另一部分是子类声明的引用的[[Prototype]]指向父类声明的引用,完整代码如下:

class A { }class B { }// B 的实例继承 A 的实例 // 第一部分: 将B.prototype的[[Prototype]]指向A.prototype Object.setPrototypeOf(B.prototype, A.prototype); // B 继承 A 的静态属性 // 第二部分: 将B的[[Prototype]]指向A Object.setPrototypeOf(B, A); const b = new B();

以下讨论忽视顶层父类ObjectFunction,仅讨论普通的存在继承的类之间的关系。
刚才说了,继承只需要实现两部分,如下图:
es6的继承原理
文章图片

如果要知道为什么现在这个方法要执行两步,添加两个[[Prototype]]引用,那就要知道构造函数是怎么提供我们所看见的”类“的。
首先,在构造函数声明的时候,引擎就创建了两个对象:一个是构造函数本身的function对象,一个是构造函数的原型对象——一个类型为object的对象,它被构造函数的prototype属性所引用。构造函数上的属性可以通俗地被理解为静态属性,可以不生成实例就直接调用(这么想,构造函数本身也是一个function对象,它在声明的时候就存在了,它的属性就可以使用,和我们new出来才能使用属性的实例本质上是一样的);prototype对象的属性只能被实例调用,且被所有实例共享。
然后,在调用new的时候,新创建的对象在执行构造函数之前,就已经将它的[[Prototype]]属性设置给了构造函数的原型对象。借用上图,效果应该是这样的:
es6的继承原理
文章图片

所以这就体现出了我们右边那部分:Son.prototype.[[Prototype]] = Father.prototype的重要性了。根据js原型链规则,在寻找一个属性的时候,如果在当前对象上没找到,则会顺着它的原型链,也就是[[Prototype]]属性,一个一个往上面的对象找。所以在我给的例子中,查找顺序如下:
es6的继承原理
文章图片

其中从Son.prototypeFather.prototype那条线,是我们通过实现继承连起来的。所以做了这一步之后,Son这个类的实例中找不到的属性就可以到Father.prototype,乃至这条链上更远的原型对象上寻找属性。
本来继承的实现应该到这里就结束了,类实例和其它语言一样,已经可以访问所有父类的属性了,但是还不够完善:类的静态属性和方法也需要继承。在es5中,静态属性和方法直接写在构造函数这个function对象的属性中;到了es6则是在类声明里使用static关键字标识。
所以我们给(理论上具有父子关系的)构造函数对象添加[[Prototype]],将它们组织成原型链,这样在寻找Son的静态方法时,会按照如下顺序找:
es6的继承原理
文章图片

这就是完整的,es6的类继承解决方案。
实现:我这里贴两个实现,一个是es5的寄生组合式继承,一个是es6的extends继承及原理。
es5诞生了很多继承方式,主要有原型链继承、借用构造函数、组合式继承、寄生式继承和寄生组合式继承。其中寄生组合式继承是最优,代码如下:(来源:https://segmentfault.com/a/11...)
//父类 function SuperType(name){ //父类实例属性 this.name = name; this.colors = ["red", "blue", "green"]; } //父类原型方法 SuperType.prototype.sayName = function(){ alert(this.name); }; //子类 function SubType(name, age){ SuperType.call(this, name); //1.借用构造函数:继承父类的实例属性; this.age = age; } //2.寄生式继承:将父类原型的副本强制赋值给子类原型,实现继承父类的原型方法。 inheritPrototype(SubType, SuperType); SubType.prototype.sayAge = function(){ alert(this.age); }; function inheritPrototype(subType, superType){ var prototype = object(superType.prototype); //创建父类原型的副本 prototype.constructor = subType; //将该副本的constructor属性指向子类 subType.prototype = prototype; //将子类的原型属性指向副本 }

因为es5条件有限,不支持直接操作[[Prototype]],所以只能通过创建原型对象的副本这样别扭的方式实现。而且最终也没实现静态属性的继承。
下面是es6的代码:(来源:Class 的继承 - ECMAScript 6入门 (ruanyifeng.com))
class Parent { static myMethod(msg) { console.log('static', msg); }myMethod(msg) { console.log('instance', msg); } }class Child extends Parent { static myMethod(msg) { super.myMethod(msg); // super 会在后文讲 }myMethod(msg) { super.myMethod(msg); } }Child.myMethod(1); // static 1var child = new Child(); child.myMethod(2); // instance 2

es6的代码就很简明。
最后提一嘴super关键字吧。
在es6中,如果子类有constructor的话,则必须调用super的构造方法,调用完之后才能使用this
super关键字保留了它在声明时的类引用,并在实际调用时指向它当前的父类。
【es6的继承原理】super关键字我目前了解的还是这些,过后可能会看ECMA规范之类的比较权威有深度的文档弄清楚。

    推荐阅读