TypeScript - never 型別

never 型別

TypeScript 中的 never 型別表示永遠不會出現的數值。例如，丟擲錯誤的函式的返回型別是 never。

function funcName(): never{
   // it throws an exception or never returns
}

你不能將值賦給 never 型別的變數 –

let x: never;
x = 10; // throw error

上面的 TypeScript 程式碼片段將丟擲以下錯誤 –

Type 'number' is not assignable to type 'never'.

你可以使用 never 型別作為永遠不會返回或總是丟擲異常的函式的返回型別。

一個永遠不會停止執行的函式 –

function infiniteLoop(): never{
   for(;;){}
}

另一個永遠不會停止執行的函式示例 –

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

當被任何永遠不會為真的型別守衛縮小時，變數也會獲得 never 型別。

當我們已經窮盡所有可能的值並且我們沒有任何東西可以賦值時，使用 never 型別。

function check(value: string | number) {
    if (typeof value === 'string') {
        return "value is string";
    } else {
        return "value is number";
    }    
    // here, not a string or number
    // "value" can't occur here, so it's type "never"
}

never 型別是每個型別的子型別，並且可以賦值給每個型別；但是，沒有型別是 never 的子型別，或者可以賦值給 never（除了 never 本身）。甚至 any 也不能賦值給 never。

你可以用 never 型別註釋變數，但這很不常見 –

function showError(): never{
  throw new Error("Error message from function with never as return type.");
}
let x: never = showError();

在上面的 Typescript 程式碼片段中，變數 x 用 never 型別註釋。變數 x 被賦值 showError() 函式，該函式本身的返回型別為 never。

void vs. never

在 TypeScript 中，void 型別的變數可以儲存 undefined 作為值。另一方面，never 不能儲存任何值。

let val1: void = undefined;
let val2: never = undefined; // error: Type 'undefined' is not assignable to type 'never'.

我們知道，如果 TypeScript 中的函式不返回值，則返回 undefined。我們通常用 void 來註釋此類函式的返回型別。看下面的例子，

function greet(): void{
  console.log("Welcome to tutorials Point");
}
let msg: void = greet();
console.log(msg);

在上面的例子中，我們定義了一個不返回值的函式 greet()。當我們呼叫該函式時，返回值是 undefined。

編譯後，它將生成以下 JavaScript 程式碼。

function greet() {
    console.log("Welcome to tutorials Point");
}
let msg = greet();
console.log(msg);

上述程式碼的輸出如下：

Undefined