什麼是 TypeScript 类型谓词？

TypeScript 类型谓词（type predicate）是一種用於檢查類型的語法，它可以用於檢查變量是否為某個類型，或者檢查一個函數的參數是否為某個類型。它可以讓開發者更容易地檢查和操作變量，並且可以減少程式碼中的錯誤。

TypeScript 类型谓词的語法是 x is T，其中 x 是一個變量，而 T 是一個類型。如果 x 的類型是 T，則表達式的值為 true，否則為 false。

使用 TypeScript 类型谓词

TypeScript 类型谓词可以用於檢查變量是否為某個類型，以及檢查函數的參數是否為某個類型。

檢查變量是否為某個類型

假設我們有一個變量 x，它的類型可能是 string 或 number，我們可以使用 TypeScript 类型谓词來檢查它的類型：

let x: string | number;

if (x is string) {
  // x 是 string
} else if (x is number) {
  // x 是 number
}

檢查函數的參數是否為某個類型

假設我們有一個函數 foo，它的參數 x 的類型可能是 string 或 number，我們可以使用 TypeScript 类型谓词來檢查它的類型：

function foo(x: string | number) {
  if (x is string) {
    // x 是 string
  } else if (x is number) {
    // x 是 number
  }
}

總結

TypeScript 类型谓词是一種用於檢查類型的語法，它可以用於檢查變量是否為某個類型，或者檢查一個函數的參數是否為某個類型。它可以讓開發者更容易地檢查和操作變量，並且可以減少程式碼中的錯誤。TypeScript 类型谓词的語法是 x is T，其中 x 是一個變量，而 T 是一個類型。如果 x 的類型是 T，則表達式的值為 true，否則為 false。TypeScript 类型谓词可以用於檢查變量是否為某個類型，以及檢查函數的參數是否為某個類型。