數字子集的TypeScript類型保護

Question

編碼：

type T = 1 | 2

const f: (x: number) => x is T = x => x === 1 || x === 2

錯誤

類型'（x：數字）=>布爾值'不能分配給類型'（x：數字）=> x為T'。 簽名'（x：number）：boolean'必須是類型謂詞

我試過了：

• 為函數實例的類型設置“ any”

Answer 1

發現，

確實可以使用這種樣式，但是不能使用箭頭功能

static isValid(v: number): v is Coordinate {
  return 0 >= v && v <= 7
}