ES6 class extends

Big_fat_cat 發(fā)布于2019-08-26 10:14 / 2336人閱讀

摘要：解決方案借用構(gòu)造函數(shù)組合繼承寄生組合式繼承原型鏈繼承欠圖一張從來說，實(shí)現(xiàn)對象的繼承，還是相當(dāng)麻煩的。分析基類創(chuàng)建的值，然后派生類的構(gòu)造函數(shù)再修改這個(gè)值。

繼承 inherit

class 是對原型繼承的一種語法糖的包裝。那相對于原型繼承，它有什么優(yōu)點(diǎn)呢？
我們來先看一個(gè)典型的基于原型鏈繼承的例子。部分內(nèi)容來自“Javascript高級(jí)程序設(shè)計(jì)”

function SuperType() {
    this.property = true;
}

SuperType.prototype.getSuperValue = function() {
    return this.property;
}

function SubType() {
    this.subProperty = false;
}

SubType.prototype = new SuperType();

SubType.prototype.getSubValue = function() {
    return this.subProperty;
}

var instance = new SubType();
console.log(instance.getSuperValue());  // true
console.log(instance instanceof Object);  // true
console.log(instance instanceof SuperType);  // true
console.log(instance instanceof SubType);  // true

問題，當(dāng)包含引用類型的值。

function SuperType() {
    this.colors = ["red", "blue", "green"];
}

function SubType() {
   
}

SubType.prototype = new SuperType();


var instance = new SubType();
instance.colors.push("black");
var instance1 = new SubType();
instance1.colors.push("white");
console.log(instance.colors);  // [ "red", "blue", "green", "black", "white" ]
console.log(instance1.colors);  // [ "red", "blue", "green", "black", "white" ]

解決方案：

借用構(gòu)造函數(shù)

function SuperType() {
    this.colors = ["red", "blue", "green"];
}

function SubType() {
   SuperType.call(this);
}

SubType.prototype = new SuperType();


var instance = new SubType();
instance.colors.push("black");
var instance1 = new SubType();
instance1.colors.push("white");
console.log(instance.colors);
console.log(instance1.colors);

組合繼承

function SuperType(name) {
    this.name = name;
    this.colors = ["red", "blue", "green"];
}

SuperType.prototype.sayName = function() {    
    console.log(this.name);
}

function SubType(name, age) {
   SuperType.call(this, name);
   this.age = age;
}

SubType.prototype = new SuperType();
SubType.prototype.sayAge = function() {
    console.log(this.age);
}

寄生組合式繼承

function object(o) {
    function F() {}
    F.prototype = o;
    return new F();
}

function inheritPrototype(subType, superType) {
    let prototype = object(superType.prototype);
    prototype.constructor = subType;
    subType.prototype = prototype;
}

function SuperType(name) {
    this.name = name;
    this.colors = ["red", "blue", "green"];
}

SuperType.prototype.sayName = function() {    
    console.log(this.name);
}

function SubType(name, age) {
   SuperType.call(this, name);
   this.age = age;
}

inheritPrototype(SubType, SuperType);

SubType.prototype.sayAge = function() {
    console.log(this.age);
}
var instance = new SubType("Tom", 70);
instance.colors.push("black");
var instance1 = new SubType("Jerry", 69);
instance1.colors.push("white");
console.log(instance.colors);
console.log(instance.sayName());
console.log(instance.sayAge());
console.log(instance1.colors);
console.log(instance1.sayName());
console.log(instance1.sayAge());

MDN 原型鏈繼承
（欠圖一張）

extends

從es5來說，實(shí)現(xiàn)對象的繼承，還是相當(dāng)麻煩的。而extends 關(guān)鍵字的出現(xiàn)，使繼承變得簡單，原型會(huì)自動(dòng)進(jìn)行調(diào)整，super()/super關(guān)鍵字可以訪問父類的構(gòu)造方法和屬性。

class Animal { 
  constructor(name) {
    this.name = name;
  }
  
  speak() {
    console.log(this.name + " makes a noise.");
  }
}

class Dog extends Animal {
  speak() {
    console.log(this.name + " barks.");
  }
}

var d = new Dog("Mitzie");
d.speak();// "Mitzie barks."

分析：Dog類沒有構(gòu)造函數(shù)，這樣合理嗎？

// 等價(jià)于上個(gè)類定義
class Dog extends Animal {
  constructor(name) {
    super(name)
  }
  speak() {
    console.log(this.name + " barks.");
  }
}

super()方法調(diào)用注意：

只可在以extends 實(shí)現(xiàn)的派生類中的constructor方法中調(diào)用，在非派生類或方法中直接調(diào)用，會(huì)報(bào)錯(cuò)。

在constructor中訪問this之前，一定要先調(diào)用super(),因?yàn)樗?fù)責(zé)初始化this,如果在super()調(diào)用之前嘗試訪問this，會(huì)報(bào)錯(cuò)。

如果不想調(diào)用super()，則唯一的方法是讓類的constructor()返回一個(gè)對象。

類方法遮蔽

說明：派生類中的方法總會(huì)覆蓋基類中的同名方法。

class Animal { 
  constructor(name) {
    this.name = name;
  }
  
  speak() {
    console.log(this.name + " makes a noise.");
  }
}

class Dog extends Animal {
  speak() {
    console.log(this.name + " barks.");
  }
}
// 基類中的speak()方法被覆蓋

靜態(tài)類成員繼承

說明：如果基類有靜態(tài)成員，那么這些靜態(tài)成員在派生類中也可用。

class Animal { 
    constructor(name) {
      this.name = name;
    }
    
    speak() {
      console.log(this.name + " makes a noise.");
    }
    static create(name) {
        return new Animal(name);
    }
  }
  
  class Dog extends Animal {
    speak() {
      console.log(this.name + " barks.");
    }
  }

  let a1 = Animal.create("Monkey");
  let a2 = Dog.create("BeijinDog");
  console.log(a1 instanceof Animal);  // true
  console.log(a2 instanceof Animal);  // true
  console.log(a2 instanceof Dog);  // false 這個(gè)是不是很意外？

派生自表達(dá)式的類

由ES6的class定義可以知道，是function的語法糖，但為實(shí)現(xiàn)原型繼承，提供了方便的實(shí)現(xiàn)。JS的強(qiáng)大的一點(diǎn)就是函數(shù)可以返回函數(shù)，那如果返回類的定義呢？是否支持繼承？返回對象是個(gè)函數(shù)，并且有[[Constrcutor]]屬性和原型，就能滿足extends實(shí)現(xiàn)。

class Animal {
  constructor(name) {
    this.name = name;
  }

  speak() {
    console.log(this.name + " makes a noise.");
  }
}

function getBase() {
  return Animal;
}
class Dog extends getBase() {
  speak() {
    console.log(this.name + " barks.");
  }
}

const dog = new Dog("Tom");
dog.speak();

如果這個(gè)例子基于class的實(shí)現(xiàn)，有點(diǎn)取巧的意思，那看另一個(gè)例子。

const SerializableMixin = {
  serialize() {
    return JSON.stringify(this);
  }
}

const AnimalMixin = {
  speak() {
    console.log(this.name + " barks.");
  }
}

function mixin(...mixins) {
  const base = function() {};
  Object.assign(base.prototype, ...mixins);
  return base;
}

class Dog extends mixin(AnimalMixin, SerializableMixin) {
  constructor(name){
    super(name);
    this.name = name;
  }
}

const dog = new Dog("Tom");
dog.speak();  // Tom barks.

關(guān)于function,class,extends,mixin，是否有新的理解呢？

內(nèi)建對象繼承

在ES6之前，內(nèi)建對象很難實(shí)現(xiàn)繼承的，更多用has-a思想，實(shí)現(xiàn)對內(nèi)建對象的處理。ES6中，大量內(nèi)建對象的內(nèi)部實(shí)現(xiàn)得以暴漏，也使得繼承內(nèi)建對象變成了可能。

class ColorsArray extends Array {
}
const colors = new ColorsArray();
colors[0] = "red";
console.log(colors.length); // 1

colors.length = 0;
console.log(colors[0]); // undefined

分析：基類（Array）創(chuàng)建 this 的值，然后派生類的構(gòu)造函數(shù)(ColorsArray)再修改這個(gè)值。所以一開始可以通過this訪問基類的所有內(nèi)建功能，然后再正確地接收所有與之相關(guān)的功能。這與Array.apply/call 這種方法實(shí)現(xiàn)繼承的this處理方式正好相反。這也是extends特殊的地方。

Symbol.species

class ColorsArray extends Array {
}
const colors = new ColorsArray("red", "green", "blue");
const subColors = colors.slice(0,1);
console.log(colors instanceof ColorsArray);  // true
console.log(subColors instanceof ColorsArray);  // true

通常來講，slice 方法繼承自 Array ，返回的應(yīng)該是Array的實(shí)例，但在這個(gè)示例中，卻返回的是ColorsArray的實(shí)例，這是為什么呢？這是ES6中Symbol.species的功勞。Symbol.species MDN 詳細(xì)說明

class MyArray extends Array {
  // Overwrite species to the parent Array constructor
  static get [Symbol.species]() { return Array; }
}
var a = new MyArray(1,2,3);
var mapped = a.map(x => x * x);

console.log(mapped instanceof MyArray); // false
console.log(mapped instanceof Array);   // true

注意：重寫實(shí)現(xiàn)的時(shí)候，使用getter+static，可以返回想用的類型，也可以返回 this,是的，你沒看錯(cuò)，在static getter中使用了this，它指向的是MyArray的構(gòu)造函數(shù)。

constructor中new.target

new.target是es6中新添加的元屬性，只有通過new操作創(chuàng)建對象的時(shí)候，new.target才會(huì)被指向類/方法本身，通過call/apply操作，new.target為undefined。可以通過判斷new.target，來確實(shí)函數(shù)是否允許new操作。MDN new.target 說明
慣例，再加個(gè)代碼示例，偷懶，直接從MDN上拷了。

function Foo() {
  if (!new.target) throw "Foo() must be called with new";
  console.log("Foo instantiated with new");
}

new Foo(); // logs "Foo instantiated with new"
Foo(); // throws "Foo() must be called with new"

又是先說function，不是已經(jīng)升級(jí)到ES6，使用class了嗎？始終要有一個(gè)清楚的認(rèn)識(shí)，class，是function實(shí)現(xiàn)原型繼承的語法糖，但有自己的特性存在的（不然，也不用引入class了）。

class A {
  constructor() {
    console.log(new.target.name);
  }
}

class B extends A { constructor() { super(); } }

var a = new A(); // logs "A"
var b = new B(); // logs "B"

class C { constructor() { console.log(new.target); } }
class D extends C { constructor() { super(); } }
 
var c = new C(); // logs class C{constructor(){console.log(new.target);}}
var d = new D(); // logs class D extends C{constructor(){super();}}

這個(gè)就是類的了。