ES6学习18 Class继承

1.概述

1.1.extends关键字

Class 可以通过extends关键字实现继承。
这比 ES5 的通过修改原型链实现继承，要清晰和方便很多。

class Point {
  // 父类
}

class ColorPoint extends Point {
  // 继承父类
}

上面代码定义了一个ColorPoint类（子类），它通过extends关键字，继承了Point类（父类）的所有属性和方法。
上面的代码等于复制了一个Point类。因为没有部署任何代码，所以这两个类完全一样

注意：

1. 子类必须有constructor方法，如果没有定义，这个方法会被默认添加。所以说，任何一个子类都有constructor方法。

2. 父类的静态方法（带有static关键字），也会被子类继承。

3. 子类的构造函数中，只有调用super之后，才可以使用this关键字，否则会报错。
   也就是说，子类必须在constructor方法中调用super方法，否则不能新建实例。

子类的 this 对象，只有通过父类的构造函数完全塑造，得到与父类同样的实例属性和方法。然后再加上子类自己的实例属性和方法。

class Point {
  constructor(x, y) {
    this.x = x;
    this.y = y;
  }
}

class ColorPoint extends Point {
  constructor(x, y, color) {
    this.color = color; // ReferenceError
    super(x, y); //super 当做函数调用时，代表父类的构造函数。
    this.color = color; // 正确
  }
}

1.2.super关键字

super这个关键字，有两种使用情况

• super 当做函数调用：代表父类的构造函数，也只能用在子类的构造函数之中，否则报错。
• super 当做对象调用：普通方法中，指向父类的原型对象；静态方法中，指向父类。

第一种情况，super作为函数调用时，代表父类的构造函数。

ES6 要求，子类的构造函数必须执行一次super函数（在constructor中）。代表调用父类的构造函数，否则报错。

class A {}

class B extends A {
  constructor() {
    super(); //A.prototype.constructor.call(this) 
  }
}

注意：super虽然代表了父类A的构造函数，但是返回的是子类B的实例，即super内部的this指的是B的实例，因此super()在这里相当于A.prototype.constructor.call(this)。
通俗的说，就是改变了 A中原型上的 this 指向

class A {
  constructor() {
    console.log(new.target.name);//new.target指向当前正在执行的函数。
  }
}
class B extends A {
  constructor() {
    super();
  }
}
new A() // A
new B() // B

上面代码中，new.target指向当前正在执行的函数。也就是说，super()内部的this指向的是B。

第二种情况，super作为对象时，在普通方法中，指向父类的原型对象；在静态方法中，指向父类。

注意：由于super指向父类的原型对象，所以定义在父类实例上的方法或属性，是无法通过super调用的。

class A {
  constructor() {
    this.p = 2;//调用 this ，该属性将在实例化对象上
  }
  a(){
  	return 1; // a 定义在原型上
  }
}

class B extends A {
  get m() {
    return super.p; //指向原型，无法获取
  }
}

let b = new B();
b.m // undefined
b.a() // 1 

上面代码中，p属性是父类A实例的属性，super又指向A（父类）的原型，所以就引用不到p属性。
而 a 属性为A原型上的方法，因为 super 对象的指向，所以可以获取

A.prototype.x = x：在原型上定义属性的方法，可以在父类中用super获取

ES6 规定，在子类普通方法中通过super调用父类的方法时，方法内部的this指向当前的子类实例。

class A {
  constructor() {
    this.x = 1;
  }
  print() {
    console.log(this.x);
  }
}

class B extends A {
  constructor() {
    super(); 
    // super 函数执行后，父类 A 的构造函数以执行完毕，A 中的 this 这时指向这个子类 B 的实例对象。
    this.x = 2;
    // 与上面的 this 指向相同，导致 x 值被改变
  }
  m() {
    super.print();//其实调用的是 A.prototype.print()
    // A.prototype.print() 内部的 this 指向子类B的实例, 实际上执行的是 super.print.call(this)
  }
}

let b = new B();
b.m() // 2

由于this指向子类实例，所以如果通过super对某个属性赋值，这时super就是this，赋值的属性会变成子类实例的属性。

class A {
  constructor() {
    this.x = 1;
  }
}

class B extends A {
  constructor() {
    super();// x = 1
    // 其实就是父类 A 的构造函数在此执行了，使子类 B 的 constructor 拥有父类 A 的属性
    this.x = 2; // x = 2
    super.x = 3; // x = 3
    console.log(super.x); // undefined
    console.log(this.x); // 3
  }
}

let b = new B();

如果super作为对象，用在静态方法之中，这时super将直接指向父类，而不是父类的原型对象。

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);
  }

  myMethod(msg) {
    super.myMethod(msg);
  }
}

Child.myMethod(1); // static 1 
// 静态方法只可以通过类来调用，此时调用的静态方法
var child = new Child();
child.myMethod(2); // instance 2
// 使用实例化对象来调用无法获取静态方法。

注意：

• 在子类的静态方法中通过super调用父类的方法时，这个调用的方法内部的this指向当前的子类，而不是子类的实例。
  因为使用了static 关键字的方法就只能用类来调用 ，所以this自然不会指向实例对象
• 使用super时，要表明它的数据结构，否则报错
• 由于对象总是继承其他对象的，所以可以在任意一个对象中，使用super关键字。（没有太懂，写上慢慢理解）

var obj = {
  toString() {
    return "MyObject: " + super.toString();
  }
};

obj.toString(); // MyObject: [object Object]

2.Object.getPrototypeOf()

Object.getPrototypeOf(obj)返回一个对象的原型

可用于类中。因为类的继承，至于Object.getPrototypeOf方法可以用来从子类上获取父类。

Object.getPrototypeOf(child) === parent //true

因此，可以使用这个方法判断，一个类是否继承了另一个类。

3.类的 prototype 属性和__proto__属性

大多数浏览器的 ES5 实现之中，每一个对象都有__proto__属性，指向对应的构造函数的prototype属性。

而 Class 作为构造函数的语法糖，同时有prototype属性和__proto__属性，因此同时存在两条继承链。

1. 子类的__proto__属性，表示构造函数的继承，总是指向父类。
2. 子类prototype属性的__proto__属性，表示方法的继承，总是指向父类的prototype属性

class A {
}

class B extends A {
}

B.__proto__ === A // true  ；指向父类
B.prototype.__proto__ === A.prototype // true ；指向父类的 prototype

这样的结果是因为，类的继承是按照下面的模式实现的。

class A {
}

class B {
}

// B 的实例继承 A 的实例
Object.setPrototypeOf(B.prototype, A.prototype);

// B 继承 A 的静态属性
Object.setPrototypeOf(B, A);

const b = new B();

Object.setPrototypeOf方法的实现。

Object.setPrototypeOf = function(obj,pro){
  obj.__proto__ = pro
  return obj
}

所以

Object.setPrototypeOf(B.prototype, A.prototype);
// 等同于
B.prototype.__proto__ = A.prototype;

Object.setPrototypeOf(B, A);
// 等同于
B.__proto__ = A;

这两条继承链，可以这样理解：作为一个对象，子类（B）的原型（__proto__属性）是父类（A）；作为一个构造函数，子类（B）的原型对象（prototype属性）是父类的原型对象（prototype属性）的实例。

B.prototype = Object.create(A.prototype);
// 等同于
B.prototype.__proto__ = A.prototype;

extends关键字后面（父类）可以跟多种类型的值。
父类只要是一个有prototype属性的函数，就能被子类继承。
由于函数都有prototype属性（除了Function.prototype函数），因此（父类）可以是任意函数。

当子类为 Object 时

class A extends Object {
}

A.__proto__ === Object // true
A.prototype.__proto__ === Object.prototype // true

这种情况下，A其实就是构造函数Object的复制，A的实例就是Object的实例。

当不存在任何继承时。

class A {
}

A.__proto__ === Function.prototype // true
A.prototype.__proto__ === Object.prototype // true

这种情况下，A作为一个基类（即不存在任何继承），就是一个普通函数，所以直接继承Function.prototype。但是，A调用后返回一个空对象（即Object实例），所以A.prototype.__proto__指向构造函数（Object）的prototype属性。

4.实例的 proto 属性

子类实例的__proto__属性的__proto__属性，指向父类实例的__proto__属性。
也就是说，子类的原型的原型，是父类的原型。

这个知识点比较绕，之前学继承的时候也学过。既然是继承关系，那么必定被继承者（父类）的属性和方法会继承在继承者（子类）原型上，又因为被继承者（父类）的方法定义在构造器上，构造器又指向继承者（父类）的原型。所以 继承者（子类）的原型，继承的是被继承者（父类）的实例。
换句话说，如果想在继承者（子类）的实例中获取被继承者（父类）的方法，那么方法一般都会在继承者（子类）的原型的原型上。

var p1 = new Point(2, 3);
var p2 = new ColorPoint(2, 3, 'red');
// ColorPoint（子类） 继承了 Point(父类)
p2.__proto__ === p1.__proto__ // false
p2.__proto__.__proto__ === p1.__proto__ // true

上面代码中，ColorPoint继承了Point，导致前者原型的原型是后者的原型。

因此，他们的原型是相互共用的。所以又可以通过修改子类实例的__proto__.__proto__属性，修改父类实例的行为。

p2.__proto__.__proto__.printName = function () {
  console.log('Ha');
};

p1.printName() // "Ha"

5.原生构造函数的继承

原生构造函数是指语言内置的构造函数，例如：Array、Error等，通常用来生成数据结构。

• 以前，这些原生构造函数是无法继承的
• 原生构造函数的this无法绑定，也无法通过this拿到内部属性

现在 ES6 允许继承原生构造函数定义子类
因为 ES6 是先新建父类的实例对象this，然后再用子类的构造函数修饰this，使得父类的所有行为都可以继承。下面是一个继承Array的例子。

class MyArray extends Array {
  constructor(...args) { // 指向实例
    super(...args);  // 指向 Array ，并传参
  }
}

var arr = new MyArray();
arr[0] = 12;
arr.length // 1

arr.length = 0;
arr[0] // undefined

上面代码定义了一个MyArray类，继承了Array构造函数，因此就可以从MyArray生成数组的实例。

这意味着，ES6 可以自定义原生数据结构（比如Array、String等）的子类，这是 ES5 无法做到的。

上面这个例子也说明，extends关键字不仅可以用来继承类，还可以用来继承原生的构造函数。
因此可以在原生数据结构的基础上，定义自己的数据结构。下面就是定义了一个带版本功能的数组。

class VersionedArray extends Array {
  constructor() {
    super();
    this.history = [[]];
  }
  commit() {
    this.history.push(this.slice()); // this 都指向子类的实例
  }
  revert() {
    this.splice(0, this.length, ...this.history[this.history.length - 1]);
    //此处扩展运算符（...）会先执行，再取到对应的数组下标
  }
}

var x = new VersionedArray();

x.push(1);
x.push(2);
x // [1, 2]
x.history // [[]]

x.commit(); //[1,2] ; 可看做[1,2].this.history.push(this.slice()) 又可以理解为 history.push([1,2])  
x.history // [[], [1, 2]]

x.push(3);
x // [1, 2, 3]
x.history // [[], [1, 2]]

x.revert();
x // [1, 2]

上面代码中，VersionedArray会通过commit方法，将自己的当前状态生成一个版本快照，存入history属性。

注意：ES6 规定Object构造函数会忽略参数。

6.总结

基本概述

1. Class 可以通过extends关键字实现继承父类。
2. 子类必须有constructor方法，如果没有定义，这个方法会被默认添加。
3. 父类的静态方法（带有static关键字），也会被子类继承。

super关键字

1. 子类的构造函数中，只有调用super函数之后，才可以使用this关键字，否则会报错。

2. 只有通过父类的构造函数完全塑造，得到与父类同样的实例属性和方法。才能生成this实例对象

3. 定义在父类实例上的方法或属性，是无法通过super调用的。，因为super指向父类的原型对象

4. super作为函数调用：代表父类的构造函数。
   作为对象调用：代表父类的原型（普通方法中使用）；代表父类（静态方法中使用），此时方法只能使用父类本身调用。

5. 所以如果通过super对某个属性赋值，这时super就是this，指向子类实例对象

原型以及定义原生构造函数

1. Object.getPrototypeOf方法返回一个对象的原型，可以用来从子类上获取父类。

2. Class 作为构造函数的语法糖，同时有prototype属性和__proto__属性，其实都是继承链，只是一个是浏览器的私有属性（__proto__），一个是原生就有的 （prototype）

3. List item

4. ES6 允许继承原生构造函数定义子类（ 可以自定义原生数据结构，比如Array、String等），只能用 ES6 extends 关键字继承来定义