TypeScript 筆記：never 簡介

上一篇 TypeScript 筆記簡單介紹了 unknown，而此篇改來介紹另一個特殊型別—— never：

never

never 型別是所有型別的子集，TypeScript 「所有」型別(甚至包括 any、null 與 undefined)都有包含 never 例外處理的狀態，其在 TypeScript 2.0 版提出，表示不存在值的型別，那怎樣會出現不存在值的型別呢？

最常見的情形有兩種：

• 無法結束的函式方法
• throw error 錯誤處理

無法結束的函式方法

無法結束函式方法情境，最常見就是函式內發生了無限迴圈的情況:

function infiniteLoop(){
   while(true){
   }
}

不過，上述程式碼在型別推論因為函式沒有回傳值，會被自動推論成 void。

可以這麼理解，當一個函式沒有返回值時，它的 return 值為 void 型別，但是當一個函式要 return 的返回值(例如表達式)卻沒有也永不返回（或者拋出錯誤），它的返回值為 never 型別。

若上述看起來很咬舌頭，可看看以下程式為例：

當函式被當成值指派給變數時，型別推論就幫我們推測變數為 never 型別。

const infinity = function infiniteLoop() {
  while (true) {}
};

throw error 錯誤處理

另一個情境就是 throw error 錯誤拋出時

function throwNewError(){
   throw new Error("error")
}

上述程式碼一樣在型別推論時，沒有回傳值被自動推論成 void。

當函式被當成值指派給變數時，型別推論就幫我們推測變數為 never 型別。

const error = function throwNewError() {
  throw new Error("error");
};

不管是型別推論或主動註記， never 可以幫助開發者提醒有可能會發生錯誤的狀況，非常貼心。

另外前面有提到所有型別(包括 any)都有包含 never 例外處理的狀態，所以在做聯合型別時，never 的優先度很低：

type stringAndNever = string | never;

聯合型別為 string，至於聯合型別與上方寫的 type 是做什麼，之後有機會再撰寫新的筆記季紹。

而和 any 相比

型別推論會推測此聯合型別為 any

和 undefined 相比

type undefinedAndNever = undefined | never;

聯合型別為 undefined。

和 null 聯合型別放一起也是 null，截圖就不放了。因為所有型別都包含著 never(作為例外處理的狀況)，所以 never 永遠會被忽略，前面有提到 never 是表示不會存在值的型別，而 null 和 undefined 既是值也是型別，所以 never 也是 null 和 undefined 子集合。

正因如此，若我們主動註記 never 給變數再賦值

const a: never = 1
const b: never = "1"
const c: never = null
const d: never = undefined

這四個變數會全報錯，因為 never 是所有型別子集合，但其他型別不是 never 子集合，這個上對下的關係要搞清楚呦。

參考

TypeScript 新手指南
TypeScript: Typed JavaScript at Any Scale.
kobo 電子書：讓TypeScript成爲你前端開發的ACE！
Typescript 初心者手札