ES6内建对象的继承

在ES6之前， JS是无法通过继承的方式创建属于自己的特殊数组的， 也就是说可以使用原型链来继承数组的一些方法， 但是某些返回一个数组的方法返回的值还是一个Array的实例， 例如slice， length等， 还是Array的实例属性， 和当前原型链末尾的函数没什么关系， 只是借用了Array的方法。

// 实例：
// Array的行为
let colors = [];
colors[0] = 'red';
console.log(colors.length); // 1
colors.length = 0;
console.log(colors[0]); // undefined

// 使用ES5方式继承数组
function MyArray() {
  Array.apply(this, arguments);
}
MyArray.prototype = Object.create(Array.prototype, {
  constructor: {
    value: MyArray,
    writable: true,
    configurable: true,
    enumerable: true
  }
});
colors = new MyArray();
colors[0] = 'red';
console.log(colors.length); // 0
colors.length = 0;
console.log(colors[0]); // 'red'
colors = new MyArray();
colors.push(1, 2, 3, 4, 5);
let cs = colors.slice(2, 3);
console.log(cs instanceof MyArray); // false

从上面代码可以看出， MyArray虽然可以使用数组上面的方法和属性， 但是其表现行为和Array是不一致的， 因为传统JS继承形式实现的数组继承没有从Array.apply或原型赋值中继承相关功能。

 

ES6和ES5继承的区别：

在ES5中继承是先由派生类型创建this的值， 然后调用基类型的构造函数， 也就是说this的值开始指向的是MyArray的实例， 但是随后被来自Array的其他属性所修饰。

在ES6中则正好相反， 先由基类创建this的值， 然后派生类的构造函数再修改这个值， 所有一开始可以通过this访问基类的所有内建功能， 然后再添加自己的功能， 这就是为什么派生类的constructor必须先写super() 方法。

 

// 实例：
class MyArray extends Array {

}

let colors = new MyArray();
colors[0] = 'red';
console.log(colors.length); // 1
colors.length = 0;
console.log(colors[0]); // undefined
colors.push(1, 2, 3, 4, 5);
let cs = colors.slice(2, 3);
console.log(cs instanceof MyArray); // true

由上面的例子可以看出， MyArray的实例不但可以使用数组的属性和方法， 还具有了数组的特性， slice返回的实例还是自身的实例。

这一行为的改变是通过Symbol.species属性实现的， 他被用于定义返回函数的静态访问器属性， 其作用其实是让子类可以自由的控制要返回自己的实例还是父类的实例。

// 内建类内部的大致实现方式
class MyClass {
  static get[Symbol.species]() {
    return this;
  }


  constructor(value) {
    this.value = value;
  }


  clone() {
    return new this.constructor[Symbol.species](this.value);
  }
}

下面看一个栗子：

class c1 {
  constructor(c) {
    this.c = c;
  }
  static get[Symbol.species]() {
    return this;
  }
  cc(c) {
    console.log(this.constructor);
    console.log(this.constructor[Symbol.species]);
    return new this.constructor[Symbol.species](c);
  }
}


// 如果c2想要自己控制自己所继承自c1的cc方法返回的是自己还是c1，那么就要通过Symbol.species来告
// 诉c1，我要返回什么，而c1给的默认选项是返回c2，也就是继承的属性，如果直接使用
// this.constructor，那么当我想要返回c1的实例，而不是c2自己时，我是没有办法改变的
// 此时就可以通过重写Symbol.species，来达到返回c1的实例的效果
class c2 extends c1 {
  constructor(c) {
    super(c);
  }
  static get[Symbol.species]() {
    return c1;
  }
}


let c = new c2('c2');
console.log(c.c);
console.log(c.cc('c22'));


/*
c2
[Function: c2]
[Function: c1]
c1 { c: 'c22' }
*/

通过上面栗子发现， 直接返回this.constructor也没有什么问题， 原先父类返回自身的方法能够返回现在的派生类， 而不是父类自己， 那么为什么不直接使用this.constructor呢？ 因为这个必须要通过一种方式让子类可以进行自由控制， 写死之后如果我确实不想要返回自身的实例， 而是返回父类的实例呢？ 那么写死后就没有任何办法进行修改了， 如果MyArray继承了Array， 那么slice永远都只能返回MyArray， 而不能返回一个Array的实例。

在下面的内建类中都已定义Symbol.species属性：

Array、 ArrayBuffer、 Map、 Promise、 Regexp、 Set、 Typed arrays

关于Symbol、 内部Symbol、 class等概念和详细用法， 请看《 深入理解ES6》 一书， 此文出处也是这本书。

关于原型链的继承相关知识请看《JavaScript高级教程第三版》其中有详细的讲解。