ES6躬行记(21)——类的继承

时间:2023-02-04 12:36:24

  ES6的继承依然是基于原型的继承,但语法更为简洁清晰。通过一个extends关键字,就能描述两个类之间的继承关系(如下代码所示),在此关键字之前的Man是子类(即派生类),而在其之后的People是父类(即基类或超类)。

class People {
constructor() {
this.age = 28;
}
getAge() {
return this.age;
}
static getName() {
return "strick";
}
}
class Man extends People {
constructor() {
super();
}
}
var man = new Man();
Man.getName(); //"strick"
man.getAge(); //

  由上面的代码可知,子类能继承父类的静态方法和原型方法,而诸如访问器属性、生成器等父类的其它成员也是能继承的。不仅如此,extends关键字右侧继承的不单单是类,还可以是函数、内置对象,甚至是表达式,只要其计算结果合法就行。而合法与否的衡量准则,就是ES6对父类的要求,必须是含构造函数的对象,即能与new运算符组合的对象,像空的对象字面量({})、null、undefined和生成器等都是不允许的。

  在Man类的构造函数中调用了一次super()方法,这是为了能更方便的操作父类而引入的新特性。而super是个特殊的关键字,在类中拥有双重身份,既是方法也是对象,关于对象身份的用法在第5篇中曾有过介绍。

一、super

  当super作为方法使用时,有以下六个注意点。

(1)super()方法相当于父类的构造函数。

(2)只有在子类的构造函数中才能调用super()方法。

(3)如果子类显式地定义了构造函数,那么必须调用super()方法,否则会报错。

(4)如果子类没有定义构造函数,那么会自动调用super()方法。

(5)当子类的构造函数显式地返回一个对象时,就能避免调用super()方法。

(6)在使用this之前,必须先调用super()方法。

1)第五个注意点

  下面用一个示例来描述第五个注意点,限于篇幅省略了父类People的声明。在子类Man的构造函数中注释了super()方法,并将其返回结果改成了一个空对象,这段代码能够正确执行。

class Man extends People {
constructor() {
//super();
return {};
}
}

2)第六个注意点

  关于第六个注意点,之所以要这么限制,主要和this的初始化有关。调用super()方法不仅能执行父类的构造函数,还能初始化父类的this。而ES6对两个类的this的初始化顺序做了规定,先父类,再子类,因此super()方法要在使用this之前调用。还有一点要注意,就是子类的this会合并父类的this的属性和方法,如下代码所示,在父类People中初始化的自有属性age,能在子类Man中访问。

class People {
constructor() {
this.age = 28;
}
}
class Man extends People {
constructor() {
super();
console.log(this.age); //
}
}
var man = new Man();

3)对象身份

  当super作为对象使用时,在不同的位置,其指向将不同,具体分为两种情况,如下所列。

(1)如果在子类的原型方法中使用super,那么super指向父类的原型。

(2)如果在子类的静态方法中使用super,那么super指向父类。

  下面是一个演示super指向的示例,父类People包含两对同名方法,一个是原型方法,另一个是静态方法;子类Man包含两个只读的访问器属性,其中name是静态的访问器属性。

class People {
getAge() {
return 28;
}
static getAge() {
return 30;
}
getName() {
return "freedom";
}
static getName() {
return "strick";
}
}
class Man extends People {
get age() {
return super.getAge();
}
static get name() {
return super.getName();
}
}
var man = new Man();
man.age; //
Man.name; //"strick"

  由两个访问器属性的读取结果可知,super的指向符合所列的两种情况。注意,像下面这样使用super,会抛出语法错误,因为此处的super无法明确说明自己的身份到底是方法还是对象。

class Man extends People {
getName() {
console.log(super);
}
}

二、表达式

  ES6允许extends关键字的右侧是一个表达式,这使得子类的继承更加灵活,能动态地选择父类,下面用一个示例演示表达式的妙用。

function getPeople(gender) {
return gender == 1 ? Man : Woman;
}
class Man { }
class Woman { }
class Person extends getPeople(1) { }
var person = new Person();
person instanceof Man;  //true
person instanceof Woman;  //false

  在代码中先声明三个类,其中Man和Woman是父类,Person是子类,再调用能根据参数返回不同类的getPeople()函数,得到的返回值是Man类。通过instanceof运算符的计算结果可知,Person类继承的正是Man类。

1)mixin

  类的这个特性还能解决无法多重继承的问题,如下所示。

function mixin(...objects) {
function middle() {}
Object.assign(middle.prototype, ...objects);
return middle;
}
var man = {
getMan() {
return "男";
}
};
var woman = {
getWoman() {
return "女";
}
};
class Person extends mixin(man, woman) { }
var person = new Person();
person.getMan();   //"男"
person.getWoman();   //"女"

  在代码中先初始化两个对象:man和woman,然后调用mixin()函数,将两个对象的方法合并到内部函数middle()的原型上,最后让Person类继承middle()函数,这样就能调用两个对象中的方法了。

  这种将多个对象或类合并成一个,间接实现多重继承的作法叫做类的模板,也叫抽象子类或mixin(混合)。

三、内置对象

  在ES5时代,像Array、Error等内置对象是不能被继承的,而ES6突破了这个限制,因为ES6的子类能通过this访问父类的内部属性和方法,这样就能继承内置对象的所有功能。以数组为例,模拟的子类无法自动更新length属性,而ES6的子类就不会有这个问题,如下所示。

class List extends Array { }
var list = new List();
list.length; //
list.push("a");
list.length; //

四、Symbol.species

  在内置对象中,有些方法能返回自己的实例,例如数组的map()、slice()等。当子类继承了内置对象后,这类方法的返回值会被替换成子类的实例,具体如下所示。

class List extends Array { }
var list = new List(1, 2),
segment = list.slice(0, 1); //List [1]
segment instanceof List; //true

  接下来简单分析一下这其中的缘由。在每个内置对象中,都有一个静态的只读访问器属性(类似于下面的代码),其名称是内置符号Symbol.species,返回值是this。

class Array {
static get [Symbol.species]() {
return this;
}
}

  当调用内置对象中的方法时,如果返回值是实例,那么就会先访问Symbol.species属性,确定要实例化哪个类。而根据ES6的规则可知,当子类调用父类的静态方法时,方法中的this指向的是子类,从而就能证明子类在调用内置对象的某些方法时,能得到自身的实例。

  如果想要内置对象的这些方法仍然返回它们自身的实例,那么就需要在子类中也声明一个相同的只读访问器属性,并返回相应的内置对象,以此屏蔽父类中的同名属性。下面的代码和上一个示例类似,只是给子类增加了Symbol.species属性。

class List extends Array {
static get [Symbol.species]() {
return Array;
}
}
var list = new List(1, 2),
segment = list.slice(0, 1); //[1]
segment instanceof List; //false

五、new.target

  元属性new.target曾在第14篇中做过讲解,本节会介绍元属性在父类中的行为,如下所示。

class People {
constructor() {
new.target === People; //false
new.target === Man; //true
}
}
class Man extends People { }
var man = new Man();

  在上面的代码中,Man是子类,People是父类,在父类的构造函数中对new.target做了两次比较,从两次的比较结果中可知,此时的new.target指向的是子类。