1. 關於 typeof vs instanceof

在 javascript 中，當我們需要確認一個值的型別時，我們就必須要選擇對應的方法。大略來說：

1

if (typeof value === 'string')

1

if (value instanceof Map)

1
2
3
4
5
6

> Object.create(null) instanceof Object
false

o = {};
// 等於
o = Object.create(Object.prototype);

2. 讓 instanceof 可以檢查原生型別

使用特定的 PrimitiveNumber 類別，下面的程式碼可以讓 expression 表達式 x instanceof PrimitiveNumber 為 true。
而能夠辦到這樣的原因是因為我們使用 Symbol.hasInstance 實作了 PrimitiveNumber 的 static method 靜態方法 。

關於 Symbol.hasInstance 。
簡單說就把 Symbol.hasInstance 當作 method 的 key 就是提供我們客製 instanceof 行為的方法。

1
2
3
4
5
6
7

class PrimitiveNumber {
  static [Symbol.hasInstance](x) {
    return typeof x === 'number'
  }
}

console.log(123 instanceof PrimitiveNumber) // true

TypeRight 是一個微型的函式庫用來檢查動態型別，另外它使用上面說明的方式實作。其 instanceof 運算子 如下

TypeRight 目前並不提供 物件 檢查的型別（PrimitiveObject) 不過您可以輕易的加入。

通過這些基本的功能，我們可以使用 TypeRight 檢查函式的參數是否正確

1
2
3
4
5
6
7
8
9

import * as tr from 'type-right'

function dist(x, y) {
  tr.force(x, tr.PrimitiveNumber, y, tr.PrimitiveNumber)
  return math.hypot(x, y)
}

dist(3, 4) // 5
dist(3, undefined) // TypeError

4. 其他檢查型別的方式

目前有兩個 提案 跟處理檢查型別有關的功能，正處於 stage 0 的狀態

4.1 模式匹配

這個 提案 稱為 ECMAScript Pattern Matching Syntax 是 Brian Terlson 和 Sebastian Markbage 提出的。
其中最主要的是 Symbol.matches 的概念，其大概的使用方式入下

1
2
3
4
5

class PrimitiveNumber {
  static [Symbol.matches](x) { // (A)
    return x instanceof this;
  }
}

4.2 Builtin.is() 和 Builtin.typeOf()

這個提案是由 James M Snell 提出的。

Builtin.is(value1, value2) 可以檢查 value1 和 value2 是否參考同一個 constructor。這個提案也考慮到了 其他面向的問題

1
2
3
4

> Builtin.is(Date, vm.runInNewContext('Date'))
true
> Builtin.is(Date, Date)
true

而 Builtin.typeOf() 看起來就像是 typeof 的擴展，同時支援原生型別和內建的 class