ECMAScript 6 Class

2018-09-20 17:18 更新

Class基本語法

概述

JavaScript語言的傳統(tǒng)方法是通過構(gòu)造函數(shù),定義并生成新對象。下面是一個例子。

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

Point.prototype.toString = function () {
  return '(' + this.x + ', ' + this.y + ')';
};

var p = new Point(1, 2);

上面這種寫法跟傳統(tǒng)的面向?qū)ο笳Z言(比如C++和Java)差異很大,很容易讓新學(xué)習(xí)這門語言的程序員感到困惑。

ES6提供了更接近傳統(tǒng)語言的寫法,引入了Class(類)這個概念,作為對象的模板。通過class關(guān)鍵字,可以定義類。基本上,ES6的class可以看作只是一個語法糖,它的絕大部分功能,ES5都可以做到,新的class寫法只是讓對象原型的寫法更加清晰、更像面向?qū)ο缶幊痰恼Z法而已。上面的代碼用ES6的“類”改寫,就是下面這樣。

//定義類
class Point {
  constructor(x, y) {
    this.x = x;
    this.y = y;
  }

  toString() {
    return '(' + this.x + ', ' + this.y + ')';
  }
}

上面代碼定義了一個“類”,可以看到里面有一個constructor方法,這就是構(gòu)造方法,而this關(guān)鍵字則代表實例對象。也就是說,ES5的構(gòu)造函數(shù)Point,對應(yīng)ES6的Point類的構(gòu)造方法。

Point類除了構(gòu)造方法,還定義了一個toString方法。注意,定義“類”的方法的時候,前面不需要加上function這個關(guān)鍵字,直接把函數(shù)定義放進(jìn)去了就可以了。另外,方法之間不需要逗號分隔,加了會報錯。

ES6的類,完全可以看作構(gòu)造函數(shù)的另一種寫法。

class Point {
  // ...
}

typeof Point // "function"
Point === Point.prototype.constructor // true

上面代碼表明,類的數(shù)據(jù)類型就是函數(shù),類本身就指向構(gòu)造函數(shù)。

使用的時候,也是直接對類使用new命令,跟構(gòu)造函數(shù)的用法完全一致。

class Bar {
  doStuff() {
    console.log('stuff');
  }
}

var b = new Bar();
b.doStuff() // "stuff"

構(gòu)造函數(shù)的prototype屬性,在ES6的“類”上面繼續(xù)存在。事實上,類的所有方法都定義在類的prototype屬性上面。

class Point {
  constructor(){
    // ...
  }

  toString(){
    // ...
  }

  toValue(){
    // ...
  }
}

// 等同于

Point.prototype = {
  toString(){},
  toValue(){}
};

在類的實例上面調(diào)用方法,其實就是調(diào)用原型上的方法。

class B {}
let b = new B();

b.constructor === B.prototype.constructor // true

上面代碼中,b是B類的實例,它的constructor方法就是B類原型的constructor方法。

由于類的方法都定義在prototype對象上面,所以類的新方法可以添加在prototype對象上面。Object.assign方法可以很方便地一次向類添加多個方法。

class Point {
  constructor(){
    // ...
  }
}

Object.assign(Point.prototype, {
  toString(){},
  toValue(){}
});

prototype對象的constructor屬性,直接指向“類”的本身,這與ES5的行為是一致的。

Point.prototype.constructor === Point // true

另外,類的內(nèi)部所有定義的方法,都是不可枚舉的(non-enumerable)。

class Point {
  constructor(x, y) {
    // ...
  }

  toString() {
    // ...
  }
}

Object.keys(Point.prototype)
// []
Object.getOwnPropertyNames(Point.prototype)
// ["constructor","toString"]

上面代碼中,toString方法是Point類內(nèi)部定義的方法,它是不可枚舉的。這一點與ES5的行為不一致。

var Point = function (x, y) {
  // ...
};

Point.prototype.toString = function() {
  // ...
};

Object.keys(Point.prototype)
// ["toString"]
Object.getOwnPropertyNames(Point.prototype)
// ["constructor","toString"]

上面代碼采用ES5的寫法,toString方法就是可枚舉的。

類的屬性名,可以采用表達(dá)式。

let methodName = "getArea";
class Square{
  constructor(length) {
    // ...
  }

  [methodName]() {
    // ...
  }
}

上面代碼中,Square類的方法名getArea,是從表達(dá)式得到的。

constructor方法

constructor方法是類的默認(rèn)方法,通過new命令生成對象實例時,自動調(diào)用該方法。一個類必須有constructor方法,如果沒有顯式定義,一個空的constructor方法會被默認(rèn)添加。

constructor() {}

constructor方法默認(rèn)返回實例對象(即this),完全可以指定返回另外一個對象。

class Foo {
  constructor() {
    return Object.create(null);
  }
}

new Foo() instanceof Foo
// false

上面代碼中,constructor函數(shù)返回一個全新的對象,結(jié)果導(dǎo)致實例對象不是Foo類的實例。

類的構(gòu)造函數(shù),不使用new是沒法調(diào)用的,會報錯。這是它跟普通構(gòu)造函數(shù)的一個主要區(qū)別,后者不用new也可以執(zhí)行。

class Foo {
  constructor() {
    return Object.create(null);
  }
}

Foo()
// TypeError: Class constructor Foo cannot be invoked without 'new'

類的實例對象

生成類的實例對象的寫法,與ES5完全一樣,也是使用new命令。如果忘記加上new,像函數(shù)那樣調(diào)用Class,將會報錯。

// 報錯
var point = Point(2, 3);

// 正確
var point = new Point(2, 3);

與ES5一樣,實例的屬性除非顯式定義在其本身(即定義在this對象上),否則都是定義在原型上(即定義在class上)。

//定義類
class Point {

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

  toString() {
    return '(' + this.x + ', ' + this.y + ')';
  }

}

var point = new Point(2, 3);

point.toString() // (2, 3)

point.hasOwnProperty('x') // true
point.hasOwnProperty('y') // true
point.hasOwnProperty('toString') // false
point.__proto__.hasOwnProperty('toString') // true

上面代碼中,xy都是實例對象point自身的屬性(因為定義在this變量上),所以hasOwnProperty方法返回true,而toString是原型對象的屬性(因為定義在Point類上),所以hasOwnProperty方法返回false。這些都與ES5的行為保持一致。

與ES5一樣,類的所有實例共享一個原型對象。

var p1 = new Point(2,3);
var p2 = new Point(3,2);

p1.__proto__ === p2.__proto__
//true

上面代碼中,p1p2都是Point的實例,它們的原型都是Point,所以__proto__屬性是相等的。

這也意味著,可以通過實例的__proto__屬性為Class添加方法。

var p1 = new Point(2,3);
var p2 = new Point(3,2);

p1.__proto__.printName = function () { return 'Oops' };

p1.printName() // "Oops"
p2.printName() // "Oops"

var p3 = new Point(4,2);
p3.printName() // "Oops"

上面代碼在p1的原型上添加了一個printName方法,由于p1的原型就是p2的原型,因此p2也可以調(diào)用這個方法。而且,此后新建的實例p3也可以調(diào)用這個方法。這意味著,使用實例的__proto__屬性改寫原型,必須相當(dāng)謹(jǐn)慎,不推薦使用,因為這會改變Class的原始定義,影響到所有實例。

不存在變量提升

Class不存在變量提升(hoist),這一點與ES5完全不同。

new Foo(); // ReferenceError
class Foo {}

上面代碼中,Foo類使用在前,定義在后,這樣會報錯,因為ES6不會把類的聲明提升到代碼頭部。這種規(guī)定的原因與下文要提到的繼承有關(guān),必須保證子類在父類之后定義。

{
  let Foo = class {};
  class Bar extends Foo {
  }
}

上面的代碼不會報錯,因為class繼承Foo的時候,Foo已經(jīng)有定義了。但是,如果存在class的提升,上面代碼就會報錯,因為class會被提升到代碼頭部,而let命令是不提升的,所以導(dǎo)致class繼承Foo的時候,Foo還沒有定義。

Class表達(dá)式

與函數(shù)一樣,類也可以使用表達(dá)式的形式定義。

const MyClass = class Me {
  getClassName() {
    return Me.name;
  }
};

上面代碼使用表達(dá)式定義了一個類。需要注意的是,這個類的名字是MyClass而不是Me,Me只在Class的內(nèi)部代碼可用,指代當(dāng)前類。

let inst = new MyClass();
inst.getClassName() // Me
Me.name // ReferenceError: Me is not defined

上面代碼表示,Me只在Class內(nèi)部有定義。

如果類的內(nèi)部沒用到的話,可以省略Me,也就是可以寫成下面的形式。

const MyClass = class { /* ... */ };

采用Class表達(dá)式,可以寫出立即執(zhí)行的Class。

let person = new class {
  constructor(name) {
    this.name = name;
  }

  sayName() {
    console.log(this.name);
  }
}('張三');

person.sayName(); // "張三"

上面代碼中,person是一個立即執(zhí)行的類的實例。

私有方法

私有方法是常見需求,但ES6不提供,只能通過變通方法模擬實現(xiàn)。

一種做法是在命名上加以區(qū)別。

class Widget {

  // 公有方法
  foo (baz) {
    this._bar(baz);
  }

  // 私有方法
  _bar(baz) {
    return this.snaf = baz;
  }

  // ...
}

上面代碼中,_bar方法前面的下劃線,表示這是一個只限于內(nèi)部使用的私有方法。但是,這種命名是不保險的,在類的外部,還是可以調(diào)用到這個方法。

另一種方法就是索性將私有方法移出模塊,因為模塊內(nèi)部的所有方法都是對外可見的。

class Widget {
  foo (baz) {
    bar.call(this, baz);
  }

  // ...
}

function bar(baz) {
  return this.snaf = baz;
}

上面代碼中,foo是公有方法,內(nèi)部調(diào)用了bar.call(this, baz)。這使得bar實際上成為了當(dāng)前模塊的私有方法。

還有一種方法是利用Symbol值的唯一性,將私有方法的名字命名為一個Symbol值。

const bar = Symbol('bar');
const snaf = Symbol('snaf');

export default class myClass{

  // 公有方法
  foo(baz) {
    this[bar](baz);
  }

  // 私有方法
  [bar](baz) {
    return this[snaf] = baz;
  }

  // ...
};

上面代碼中,barsnaf都是Symbol值,導(dǎo)致第三方無法獲取到它們,因此達(dá)到了私有方法和私有屬性的效果。

this的指向

類的方法內(nèi)部如果含有this,它默認(rèn)指向類的實例。但是,必須非常小心,一旦單獨使用該方法,很可能報錯。

class Logger {
  printName(name = 'there') {
    this.print(`Hello ${name}`);
  }

  print(text) {
    console.log(text);
  }
}

const logger = new Logger();
const { printName } = logger;
printName(); // TypeError: Cannot read property 'print' of undefined

上面代碼中,printName方法中的this,默認(rèn)指向Logger類的實例。但是,如果將這個方法提取出來單獨使用,this會指向該方法運行時所在的環(huán)境,因為找不到print方法而導(dǎo)致報錯。

一個比較簡單的解決方法是,在構(gòu)造方法中綁定this,這樣就不會找不到print方法了。

class Logger {
  constructor() {
    this.printName = this.printName.bind(this);
  }

  // ...
}

另一種解決方法是使用箭頭函數(shù)。

class Logger {
  constructor() {
    this.printName = (name = 'there') => {
      this.print(`Hello ${name}`);
    };
  }

  // ...
}

還有一種解決方法是使用Proxy,獲取方法的時候,自動綁定this。

function selfish (target) {
  const cache = new WeakMap();
  const handler = {
    get (target, key) {
      const value = Reflect.get(target, key);
      if (typeof value !== 'function') {
        return value;
      }
      if (!cache.has(value)) {
        cache.set(value, value.bind(target));
      }
      return cache.get(value);
    }
  };
  const proxy = new Proxy(target, handler);
  return proxy;
}

const logger = selfish(new Logger());

嚴(yán)格模式

類和模塊的內(nèi)部,默認(rèn)就是嚴(yán)格模式,所以不需要使用use strict指定運行模式。只要你的代碼寫在類或模塊之中,就只有嚴(yán)格模式可用。

考慮到未來所有的代碼,其實都是運行在模塊之中,所以ES6實際上把整個語言升級到了嚴(yán)格模式。

name屬性

由于本質(zhì)上,ES6的類只是ES5的構(gòu)造函數(shù)的一層包裝,所以函數(shù)的許多特性都被Class繼承,包括name屬性。

class Point {}
Point.name // "Point"

name屬性總是返回緊跟在class關(guān)鍵字后面的類名。

Class的繼承

基本用法

Class之間可以通過extends關(guān)鍵字實現(xiàn)繼承,這比ES5的通過修改原型鏈實現(xiàn)繼承,要清晰和方便很多。

class ColorPoint extends Point {}

上面代碼定義了一個ColorPoint類,該類通過extends關(guān)鍵字,繼承了Point類的所有屬性和方法。但是由于沒有部署任何代碼,所以這兩個類完全一樣,等于復(fù)制了一個Point類。下面,我們在ColorPoint內(nèi)部加上代碼。

class ColorPoint extends Point {
  constructor(x, y, color) {
    super(x, y); // 調(diào)用父類的constructor(x, y)
    this.color = color;
  }

  toString() {
    return this.color + ' ' + super.toString(); // 調(diào)用父類的toString()
  }
}

上面代碼中,constructor方法和toString方法之中,都出現(xiàn)了super關(guān)鍵字,它在這里表示父類的構(gòu)造函數(shù),用來新建父類的this對象。

子類必須在constructor方法中調(diào)用super方法,否則新建實例時會報錯。這是因為子類沒有自己的this對象,而是繼承父類的this對象,然后對其進(jìn)行加工。如果不調(diào)用super方法,子類就得不到this對象。

class Point { /* ... */ }

class ColorPoint extends Point {
  constructor() {
  }
}

let cp = new ColorPoint(); // ReferenceError

上面代碼中,ColorPoint繼承了父類Point,但是它的構(gòu)造函數(shù)沒有調(diào)用super方法,導(dǎo)致新建實例時報錯。

ES5的繼承,實質(zhì)是先創(chuàng)造子類的實例對象this,然后再將父類的方法添加到this上面(Parent.apply(this))。ES6的繼承機(jī)制完全不同,實質(zhì)是先創(chuàng)造父類的實例對象this(所以必須先調(diào)用super方法),然后再用子類的構(gòu)造函數(shù)修改this

如果子類沒有定義constructor方法,這個方法會被默認(rèn)添加,代碼如下。也就是說,不管有沒有顯式定義,任何一個子類都有constructor方法。

constructor(...args) {
  super(...args);
}

另一個需要注意的地方是,在子類的構(gòu)造函數(shù)中,只有調(diào)用super之后,才可以使用this關(guān)鍵字,否則會報錯。這是因為子類實例的構(gòu)建,是基于對父類實例加工,只有super方法才能返回父類實例。

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);
    this.color = color; // 正確
  }
}

上面代碼中,子類的constructor方法沒有調(diào)用super之前,就使用this關(guān)鍵字,結(jié)果報錯,而放在super方法之后就是正確的。

下面是生成子類實例的代碼。

let cp = new ColorPoint(25, 8, 'green');

cp instanceof ColorPoint // true
cp instanceof Point // true

上面代碼中,實例對象cp同時是ColorPointPoint兩個類的實例,這與ES5的行為完全一致。

類的prototype屬性和__proto__屬性

大多數(shù)瀏覽器的ES5實現(xiàn)之中,每一個對象都有__proto__屬性,指向?qū)?yīng)的構(gòu)造函數(shù)的prototype屬性。Class作為構(gòu)造函數(shù)的語法糖,同時有prototype屬性和__proto__屬性,因此同時存在兩條繼承鏈。

(1)子類的__proto__屬性,表示構(gòu)造函數(shù)的繼承,總是指向父類。

(2)子類prototype屬性的__proto__屬性,表示方法的繼承,總是指向父類的prototype屬性。

class A {
}

class B extends A {
}

B.__proto__ === A // true
B.prototype.__proto__ === A.prototype // true

上面代碼中,子類B__proto__屬性指向父類A,子類Bprototype屬性的__proto__屬性指向父類Aprototype屬性。

這樣的結(jié)果是因為,類的繼承是按照下面的模式實現(xiàn)的。

class A {
}

class B {
}

// B的實例繼承A的實例
Object.setPrototypeOf(B.prototype, A.prototype);

// B繼承A的靜態(tài)屬性
Object.setPrototypeOf(B, A);

《對象的擴(kuò)展》一章給出過Object.setPrototypeOf方法的實現(xiàn)。

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

因此,就得到了上面的結(jié)果。

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

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

這兩條繼承鏈,可以這樣理解:作為一個對象,子類(B)的原型(__proto__屬性)是父類(A);作為一個構(gòu)造函數(shù),子類(B)的原型(prototype屬性)是父類的實例。

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

Extends 的繼承目標(biāo)

extends關(guān)鍵字后面可以跟多種類型的值。

class B extends A {
}

上面代碼的A,只要是一個有prototype屬性的函數(shù),就能被B繼承。由于函數(shù)都有prototype屬性(除了Function.prototype函數(shù)),因此A可以是任意函數(shù)。

下面,討論三種特殊情況。

第一種特殊情況,子類繼承Object類。

class A extends Object {
}

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

這種情況下,A其實就是構(gòu)造函數(shù)Object的復(fù)制,A的實例就是Object的實例。

第二種特殊情況,不存在任何繼承。

class A {
}

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

這種情況下,A作為一個基類(即不存在任何繼承),就是一個普通函數(shù),所以直接繼承Funciton.prototype。但是,A調(diào)用后返回一個空對象(即Object實例),所以A.prototype.__proto__指向構(gòu)造函數(shù)(Object)的prototype屬性。

第三種特殊情況,子類繼承null。

class A extends null {
}

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

這種情況與第二種情況非常像。A也是一個普通函數(shù),所以直接繼承Funciton.prototype。但是,A調(diào)用后返回的對象不繼承任何方法,所以它的__proto__指向Function.prototype,即實質(zhì)上執(zhí)行了下面的代碼。

class C extends null {
  constructor() { return Object.create(null); }
}

Object.getPrototypeOf()

Object.getPrototypeOf方法可以用來從子類上獲取父類。

Object.getPrototypeOf(ColorPoint) === Point
// true

因此,可以使用這個方法判斷,一個類是否繼承了另一個類。

super關(guān)鍵字

super這個關(guān)鍵字,有兩種用法,含義不同。

(1)作為函數(shù)調(diào)用時(即super(...args)),super代表父類的構(gòu)造函數(shù)。

(2)作為對象調(diào)用時(即super.propsuper.method()),super代表父類。注意,此時super即可以引用父類實例的屬性和方法,也可以引用父類的靜態(tài)方法。

class B extends A {
  get m() {
    return this._p * super._p;
  }
  set m() {
    throw new Error('該屬性只讀');
  }
}

上面代碼中,子類通過super關(guān)鍵字,調(diào)用父類實例的_p屬性。

由于,對象總是繼承其他對象的,所以可以在任意一個對象中,使用super關(guān)鍵字。

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

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

實例的__proto__屬性

子類實例的__proto__屬性的__proto__屬性,指向父類實例的__proto__屬性。也就是說,子類的原型的原型,是父類的原型。

var p1 = new Point(2, 3);
var p2 = new ColorPoint(2, 3, 'red');

p2.__proto__ === p1.__proto__ // false
p2.__proto__.__proto__ === p1.__proto__ // true

上面代碼中,ColorPoint繼承了Point,導(dǎo)致前者原型的原型是后者的原型。

因此,通過子類實例的__proto__.__proto__屬性,可以修改父類實例的行為。

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

p1.printName() // "Ha"

上面代碼在ColorPoint的實例p2上向Point類添加方法,結(jié)果影響到了Point的實例p1。

原生構(gòu)造函數(shù)的繼承

原生構(gòu)造函數(shù)是指語言內(nèi)置的構(gòu)造函數(shù),通常用來生成數(shù)據(jù)結(jié)構(gòu)。ECMAScript的原生構(gòu)造函數(shù)大致有下面這些。

  • Boolean()
  • Number()
  • String()
  • Array()
  • Date()
  • Function()
  • RegExp()
  • Error()
  • Object()

以前,這些原生構(gòu)造函數(shù)是無法繼承的,比如,不能自己定義一個Array的子類。

function MyArray() {
  Array.apply(this, arguments);
}

MyArray.prototype = Object.create(Array.prototype, {
  constructor: {
    value: MyArray,
    writable: true,
    configurable: true,
    enumerable: true
  }
});

上面代碼定義了一個繼承Array的MyArray類。但是,這個類的行為與Array完全不一致。

var colors = new MyArray();
colors[0] = "red";
colors.length  // 0

colors.length = 0;
colors[0]  // "red"

之所以會發(fā)生這種情況,是因為子類無法獲得原生構(gòu)造函數(shù)的內(nèi)部屬性,通過Array.apply()或者分配給原型對象都不行。原生構(gòu)造函數(shù)會忽略apply方法傳入的this,也就是說,原生構(gòu)造函數(shù)的this無法綁定,導(dǎo)致拿不到內(nèi)部屬性。

ES5是先新建子類的實例對象this,再將父類的屬性添加到子類上,由于父類的內(nèi)部屬性無法獲取,導(dǎo)致無法繼承原生的構(gòu)造函數(shù)。比如,Array構(gòu)造函數(shù)有一個內(nèi)部屬性[[DefineOwnProperty]],用來定義新屬性時,更新length屬性,這個內(nèi)部屬性無法在子類獲取,導(dǎo)致子類的length屬性行為不正常。

下面的例子中,我們想讓一個普通對象繼承Error對象。

var e = {};

Object.getOwnPropertyNames(Error.call(e))
// [ 'stack' ]

Object.getOwnPropertyNames(e)
// []

上面代碼中,我們想通過Error.call(e)這種寫法,讓普通對象e具有Error對象的實例屬性。但是,Error.call()完全忽略傳入的第一個參數(shù),而是返回一個新對象,e本身沒有任何變化。這證明了Error.call(e)這種寫法,無法繼承原生構(gòu)造函數(shù)。

ES6允許繼承原生構(gòu)造函數(shù)定義子類,因為ES6是先新建父類的實例對象this,然后再用子類的構(gòu)造函數(shù)修飾this,使得父類的所有行為都可以繼承。下面是一個繼承Array的例子。

class MyArray extends Array {
  constructor(...args) {
    super(...args);
  }
}

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

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

上面代碼定義了一個MyArray類,繼承了Array構(gòu)造函數(shù),因此就可以從MyArray生成數(shù)組的實例。這意味著,ES6可以自定義原生數(shù)據(jù)結(jié)構(gòu)(比如Array、String等)的子類,這是ES5無法做到的。

上面這個例子也說明,extends關(guān)鍵字不僅可以用來繼承類,還可以用來繼承原生的構(gòu)造函數(shù)。因此可以在原生數(shù)據(jù)結(jié)構(gòu)的基礎(chǔ)上,定義自己的數(shù)據(jù)結(jié)構(gòu)。下面就是定義了一個帶版本功能的數(shù)組。

class VersionedArray extends Array {
  constructor() {
    super();
    this.history = [[]];
  }
  commit() {
    this.history.push(this.slice());
  }
  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();
x.history // [[], [1, 2]]
x.push(3);
x // [1, 2, 3]

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

上面代碼中,VersionedArray結(jié)構(gòu)會通過commit方法,將自己的當(dāng)前狀態(tài)存入history屬性,然后通過revert方法,可以撤銷當(dāng)前版本,回到上一個版本。除此之外,VersionedArray依然是一個數(shù)組,所有原生的數(shù)組方法都可以在它上面調(diào)用。

下面是一個自定義Error子類的例子。

class ExtendableError extends Error {
  constructor(message) {
    super();
    this.message = message;
    this.stack = (new Error()).stack;
    this.name = this.constructor.name;
  }
}

class MyError extends ExtendableError {
  constructor(m) {
    super(m);
  }
}

var myerror = new MyError('ll');
myerror.message // "ll"
myerror instanceof Error // true
myerror.name // "MyError"
myerror.stack
// Error
//     at MyError.ExtendableError
//     ...

注意,繼承Object的子類,有一個行為差異

class NewObj extends Object{
  constructor(){
    super(...arguments);
  }
}
var o = new NewObj({attr: true});
console.log(o.attr === true);  // false

上面代碼中,NewObj繼承了Object,但是無法通過super方法向父類Object傳參。這是因為ES6改變了Object構(gòu)造函數(shù)的行為,一旦發(fā)現(xiàn)Object方法不是通過new Object()這種形式調(diào)用,ES6規(guī)定Object構(gòu)造函數(shù)會忽略參數(shù)。

Class的取值函數(shù)(getter)和存值函數(shù)(setter)

與ES5一樣,在Class內(nèi)部可以使用getset關(guān)鍵字,對某個屬性設(shè)置存值函數(shù)和取值函數(shù),攔截該屬性的存取行為。

class MyClass {
  constructor() {
    // ...
  }
  get prop() {
    return 'getter';
  }
  set prop(value) {
    console.log('setter: '+value);
  }
}

let inst = new MyClass();

inst.prop = 123;
// setter: 123

inst.prop
// 'getter'

上面代碼中,prop屬性有對應(yīng)的存值函數(shù)和取值函數(shù),因此賦值和讀取行為都被自定義了。

存值函數(shù)和取值函數(shù)是設(shè)置在屬性的descriptor對象上的。

class CustomHTMLElement {
  constructor(element) {
    this.element = element;
  }

  get html() {
    return this.element.innerHTML;
  }

  set html(value) {
    this.element.innerHTML = value;
  }
}

var descriptor = Object.getOwnPropertyDescriptor(
  CustomHTMLElement.prototype, "html");
"get" in descriptor  // true
"set" in descriptor  // true

上面代碼中,存值函數(shù)和取值函數(shù)是定義在html屬性的描述對象上面,這與ES5完全一致。

Class的Generator方法

如果某個方法之前加上星號(*),就表示該方法是一個Generator函數(shù)。

class Foo {
  constructor(...args) {
    this.args = args;
  }
  * [Symbol.iterator]() {
    for (let arg of this.args) {
      yield arg;
    }
  }
}

for (let x of new Foo('hello', 'world')) {
  console.log(x);
}
// hello
// world

上面代碼中,F(xiàn)oo類的Symbol.iterator方法前有一個星號,表示該方法是一個Generator函數(shù)。Symbol.iterator方法返回一個Foo類的默認(rèn)遍歷器,for...of循環(huán)會自動調(diào)用這個遍歷器。

Class的靜態(tài)方法

類相當(dāng)于實例的原型,所有在類中定義的方法,都會被實例繼承。如果在一個方法前,加上static關(guān)鍵字,就表示該方法不會被實例繼承,而是直接通過類來調(diào)用,這就稱為“靜態(tài)方法”。

class Foo {
  static classMethod() {
    return 'hello';
  }
}

Foo.classMethod() // 'hello'

var foo = new Foo();
foo.classMethod()
// TypeError: foo.classMethod is not a function

上面代碼中,Foo類的classMethod方法前有static關(guān)鍵字,表明該方法是一個靜態(tài)方法,可以直接在Foo類上調(diào)用(Foo.classMethod()),而不是在Foo類的實例上調(diào)用。如果在實例上調(diào)用靜態(tài)方法,會拋出一個錯誤,表示不存在該方法。

父類的靜態(tài)方法,可以被子類繼承。

class Foo {
  static classMethod() {
    return 'hello';
  }
}

class Bar extends Foo {
}

Bar.classMethod(); // 'hello'

上面代碼中,父類Foo有一個靜態(tài)方法,子類Bar可以調(diào)用這個方法。

靜態(tài)方法也是可以從super對象上調(diào)用的。

class Foo {
  static classMethod() {
    return 'hello';
  }
}

class Bar extends Foo {
  static classMethod() {
    return super.classMethod() + ', too';
  }
}

Bar.classMethod();

Class的靜態(tài)屬性和實例屬性

靜態(tài)屬性指的是Class本身的屬性,即Class.propname,而不是定義在實例對象(this)上的屬性。

class Foo {
}

Foo.prop = 1;
Foo.prop // 1

上面的寫法為Foo類定義了一個靜態(tài)屬性prop。

目前,只有這種寫法可行,因為ES6明確規(guī)定,Class內(nèi)部只有靜態(tài)方法,沒有靜態(tài)屬性。

// 以下兩種寫法都無效
class Foo {
  // 寫法一
  prop: 2

  // 寫法二
  static prop: 2
}

Foo.prop // undefined

ES7有一個靜態(tài)屬性的提案,目前Babel轉(zhuǎn)碼器支持。

這個提案對實例屬性和靜態(tài)屬性,都規(guī)定了新的寫法。

(1)類的實例屬性

類的實例屬性可以用等式,寫入類的定義之中。

class MyClass {
  myProp = 42;

  constructor() {
    console.log(this.myProp); // 42
  }
}

上面代碼中,myProp就是MyClass的實例屬性。在MyClass的實例上,可以讀取這個屬性。

以前,我們定義實例屬性,只能寫在類的constructor方法里面。

class ReactCounter extends React.Component {
  constructor(props) {
    super(props);
    this.state = {
      count: 0
    };
  }
}

上面代碼中,構(gòu)造方法constructor里面,定義了this.state屬性。

有了新的寫法以后,可以不在constructor方法里面定義。

class ReactCounter extends React.Component {
  state = {
    count: 0
  };
}

這種寫法比以前更清晰。

為了可讀性的目的,對于那些在constructor里面已經(jīng)定義的實例屬性,新寫法允許直接列出。

class ReactCounter extends React.Component {
  constructor(props) {
    super(props);
    this.state = {
      count: 0
    };
  }
  state;
}

(2)類的靜態(tài)屬性

類的靜態(tài)屬性只要在上面的實例屬性寫法前面,加上static關(guān)鍵字就可以了。

class MyClass {
  static myStaticProp = 42;

  constructor() {
    console.log(MyClass.myProp); // 42
  }
}

同樣的,這個新寫法大大方便了靜態(tài)屬性的表達(dá)。

// 老寫法
class Foo {
}
Foo.prop = 1;

// 新寫法
class Foo {
  static prop = 1;
}

上面代碼中,老寫法的靜態(tài)屬性定義在類的外部。整個類生成以后,再生成靜態(tài)屬性。這樣讓人很容易忽略這個靜態(tài)屬性,也不符合相關(guān)代碼應(yīng)該放在一起的代碼組織原則。另外,新寫法是顯式聲明(declarative),而不是賦值處理,語義更好。

new.target屬性

new是從構(gòu)造函數(shù)生成實例的命令。ES6為new命令引入了一個new.target屬性,(在構(gòu)造函數(shù)中)返回new命令作用于的那個構(gòu)造函數(shù)。如果構(gòu)造函數(shù)不是通過new命令調(diào)用的,new.target會返回undefined,因此這個屬性可以用來確定構(gòu)造函數(shù)是怎么調(diào)用的。

function Person(name) {
  if (new.target !== undefined) {
    this.name = name;
  } else {
    throw new Error('必須使用new生成實例');
  }
}

// 另一種寫法
function Person(name) {
  if (new.target === Person) {
    this.name = name;
  } else {
    throw new Error('必須使用new生成實例');
  }
}

var person = new Person('張三'); // 正確
var notAPerson = Person.call(person, '張三');  // 報錯

上面代碼確保構(gòu)造函數(shù)只能通過new命令調(diào)用。

Class內(nèi)部調(diào)用new.target,返回當(dāng)前Class。

class Rectangle {
  constructor(length, width) {
    console.log(new.target === Rectangle);
    this.length = length;
    this.width = width;
  }
}

var obj = new Rectangle(3, 4); // 輸出 true

需要注意的是,子類繼承父類時,new.target會返回子類。

class Rectangle {
  constructor(length, width) {
    console.log(new.target === Rectangle);
    // ...
  }
}

class Square extends Rectangle {
  constructor(length) {
    super(length, length);
  }
}

var obj = new Square(3); // 輸出 false

上面代碼中,new.target會返回子類。

利用這個特點,可以寫出不能獨立使用、必須繼承后才能使用的類。

class Shape {
  constructor() {
    if (new.target === Shape) {
      throw new Error('本類不能實例化');
    }
  }
}

class Rectangle extends Shape {
  constructor(length, width) {
    super();
    // ...
  }
}

var x = new Shape();  // 報錯
var y = new Rectangle(3, 4);  // 正確

上面代碼中,Shape類不能被實例化,只能用于繼承。

注意,在函數(shù)外部,使用new.target會報錯。

Mixin模式的實現(xiàn)

Mixin模式指的是,將多個類的接口“混入”(mix in)另一個類。它在ES6的實現(xiàn)如下。

function mix(...mixins) {
  class Mix {}

  for (let mixin of mixins) {
    copyProperties(Mix, mixin);
    copyProperties(Mix.prototype, mixin.prototype);
  }

  return Mix;
}

function copyProperties(target, source) {
  for (let key of Reflect.ownKeys(source)) {
    if ( key !== "constructor"
      && key !== "prototype"
      && key !== "name"
    ) {
      let desc = Object.getOwnPropertyDescriptor(source, key);
      Object.defineProperty(target, key, desc);
    }
  }
}

上面代碼的mix函數(shù),可以將多個對象合成為一個類。使用的時候,只要繼承這個類即可。

class DistributedEdit extends mix(Loggable, Serializable) {
  // ...
}
以上內(nèi)容是否對您有幫助:
在線筆記
App下載
App下載

掃描二維碼

下載編程獅App

公眾號
微信公眾號

編程獅公眾號