什麼是 TypeScript 条件类型(conditional type)

TypeScript 条件类型(conditional type)是一種在 TypeScript 中可以使用的特殊類型，它可以根據條件來決定最終的類型。它可以讓開發者在編寫代碼時更加精確地控制類型，以滿足應用程序的需求。

使用 TypeScript 条件类型的基本語法

TypeScript 条件類型的基本語法如下：

T extends U ? X : Y

其中，T 是一個類型，U 是一個類型，X 是一個類型，Y 是一個類型。如果 T 繼承自 U，則最終的類型為 X，否則為 Y。

使用 TypeScript 条件类型的示例

讓我們來看一個使用 TypeScript 条件類型的示例：

type IsString<T> = T extends string ? true : false;

let a: IsString<string> = true; // true
let b: IsString<number> = false; // false

在上面的示例中，我們定義了一個名為 IsString 的類型，它接受一個泛型參數 T，如果 T 繼承自 string，則最終的類型為 true，否則為 false。

總結

TypeScript 条件类型(conditional type)是一種在 TypeScript 中可以使用的特殊類型，它可以根據條件來決定最終的類型，讓開發者在編寫代碼時更加精確地控制類型，以滿足應用程序的需求。TypeScript 条件類型的基本語法是：

T extends U ? X : Y

，其中，T 是一個類型，U 是一個類型，X 是一個類型，Y 是一個類型。如果 T 繼承自 U，則最終的類型為 X，否則為 Y。通過使用 TypeScript 条件類型，開發者可以更加精確地控制類型，以滿足應用程序的需求。