利用 es6 new.target 來對模擬抽象類

jump_jump發表於2019-05-13

起源

最近在使用 Symbol 來做為唯一值,發現 Symbol 無法進行 new 操作,只能當作函式使用,只要進行了new 就會發生型別錯誤

new Symbol()

// error
Uncaught TypeError: Symbol is not a constructor
    at new Symbol (<anonymous>)
    at <anonymous>:1:1
複製程式碼

在不考慮底層實現的情況下,在程式碼層面是否能夠實現一個函式只可以進行呼叫而不可以進行 new 操作呢?思考之後如下寫出:

function disConstructor() {
  if (this !== window) {
    throw new TypeError(' disConstructor is not a constructor')
  }
  console.log('gogo go')
}

// 測試結果如下
disConstructor() // gogo go

new disConstructor()

// error
Uncaught TypeError:  disConstructor is not a constructor
    at new disConstructor (<anonymous>:3:15)
    at <anonymous>:1:1
複製程式碼

如果使用 nodejs,window 可以切換為 global, 程式碼執行結果不變,因為對於個人而言沒有適用場景。於是就沒有繼續研究下去,可是最近在從新翻閱 es6 時候發現 new.target這個屬性。

new.target 屬性

介紹(引用 mdn 文件)

new.target屬性允許你檢測函式或構造方法是否是通過new運算子被呼叫的。
在通過new運算子被初始化的函式或構造方法中,new.target返回一個指向構造方法或函式的引用。在普通的函式呼叫中,new.target 的值是undefined。

這樣的話 我們的程式碼就可以這樣改為

function disConstructor() {
  // 普通的函式呼叫中,new.target 的值是undefined。
  if (new.target) {
    throw new TypeError(' disConstructor is not a constructor')
  }
  console.log('gogo go')
}
複製程式碼

得到與上述程式碼一樣的答案。

深入

難道 es6 特地新增的功能僅僅只能用於檢查一下我們的函式呼叫方式嗎?
在查閱的過程各種發現了大多數都方案都是用 new.target 寫出只能被繼承的類。類似於實現java的抽象類。

class Animal {
  constructor(name, age) {
    if (new.target === Animal) {
      throw new Error('Animal class can`t instantiate');
    }
    this.name = name
    this.age = age
  }
  // 其他程式碼
  ...
}

class Dog extends Animal{
  constructor(name, age, sex) {
    super(name, age)
    this.sex = sex
  }
}

new Animal()
// error
Uncaught Error: Animal class can`t instantiate
    at new Animal (<anonymous>:4:13)
    at <anonymous>:1:1

new Dog('mimi', 12, '公')
// Dog {name: "mimi", age: 12, sex: "公"}

複製程式碼

但是 java抽象類抽象方法需要重寫,這個是沒有方案的。於是在測試與使用的過程中,卻意外發現了超類可以在構造期間訪問派生類的原型,利用起來。

class Animal {
  constructor(name, age) {
    console.log(new.target.prototype)
  }
  // 其他程式碼
  ...
}
複製程式碼

之前執行時呼叫需要重寫的方法報錯是這樣寫的。

class Animal {
  constructor(name, age) {
    this.name = name
    this.age = age
  }

  getName () {
    throw new Error('please overwrite getName method')
  }
}

class Dog extends Animal{
  constructor(name, age, sex) {
    super(name, age)
    this.sex = sex
  }
}

const pite = new Dog('pite', 2, '公')
a.getName()
// error
Uncaught Error: please overwrite getName method
    at Dog.getName (<anonymous>:8:11)
    at <anonymous>:1:3
複製程式碼

然而此時利用 new.target ,我就可以利用 構造期間 對子類進行操作報錯。

class Animal {
  constructor(name, age) {
    // 如果 target 不是 基類 且 沒有 getName 報錯
    if (new.target !== Animal && !new.target.prototype.hasOwnProperty('getName')) {
      throw new Error('please overwrite getName method')
    }
    this.name = name
    this.age = age
  }
}

class Dog extends Animal{
  constructor(name, age, sex) {
    super(name, age)
    this.sex = sex
  }
}

const pite = new Dog('pite', 2, '公')
// error
Uncaught Error: please overwrite getName method
    at new Animal (<anonymous>:5:13)
    at new Dog (<anonymous>:14:5)
    at <anonymous>:1:1
複製程式碼

此時可以把執行方法時候發生的錯誤提前到構造時期,雖然都是在執行期,但是該錯誤觸發機制要早危害要大。反而對程式碼是一種保護。

當然了,利用超類可以在構造期間訪問派生類的原型作用遠遠不是那麼簡單,必然是很強大的,可以結合業務場景談一談理解和作用。

其他方案

增加 編輯器外掛
proxy
修飾器

相關文章