目錄
TypeScript 條件類型（Conditional Types）
TypeScript 條件類型（conditional types）是TypeScript 3.0版本新增的功能，它使開發者能夠在型別定義時根據條件來決定型別的變化。這項特性在2025年的TypeScript版本中進一步得到強化，讓開發者可以更靈活地處理型別轉換。
什麼是條件類型
條件類型是一種型別轉換，透過條件表達式來決定型別的轉換。其語法為 T extends U ? X : Y，其中 T 和 U 是型別，X 和 Y 則是兩個可能的型別。如果 T 繼承自 U，則結果為 X，否則結果為 Y。
例如，假設我們有一個型別 T，它可以是 string 或 number，我們可以使用條件類型來決定 T 的型別：
type Result = T extends string ? string : number;
這段程式碼會將型別 Result 的型別決定為 string 或 number，取決於 T 是否繼承自 string。
條件類型的應用
條件類型在許多場景中都非常有用，例如：
- 將一個型別轉換為另一個型別，例如將
string轉換為number； - 將一個型別轉換為另一個型別的子類型，例如將
string轉換為string | number； - 將一個型別轉換為另一個型別的聯合類型，例如將
string轉換為string & number； - 將一個型別轉換為另一個型別的交集類型，例如將
string轉換為string & number； - 將一個型別轉換為另一個型別的差集類型，例如將
string轉換為string & number； - 將一個型別轉換為另一個型別的反向類型，例如將
string轉換為string & number。
這裡有一個實作範例，展示如何使用條件類型進行複雜類型的組合：
type CheckType = T extends number ? 'Number' : 'Not a Number';
let a: CheckType<10>; // 'Number'
let b: CheckType<'Hello'>; // 'Not a Number'
錯誤排除與最佳實踐
在使用條件類型時，開發者可能會遇到一些錯誤。常見的錯誤包括：
1. **型別不匹配**：確保在條件表達式中，T和U的型別是可比較的。
2. **無窮遞歸**：如果條件型別的定義不當，可能會導致無窮遞歸的錯誤。請確保使用明確的終止條件。
3. **使用不當的型別**：避免將不正確的型別傳遞給條件型別，這可能導致意外的結果。
結論
TypeScript 條件類型（conditional types）是TypeScript一個強大的特性，可以讓開發者根據條件靈活地定義型別，從而提高開發效率。在2025年的版本中，這項技術已經變得更加成熟，並能夠應對更複雜的型別需求。條件類型不僅適用於簡單的型別轉換，還能用於構建複雜的型別系統。
Q&A（常見問題解答）
Q1: 什麼是條件類型？
A1: 條件類型是一種根據給定條件決定型別的方式，語法為 T extends U ? X : Y。
Q2: 如何使用條件類型來進行型別轉換？
A2: 使用條件類型，可以根據特定型別的繼承關係來決定返回的型別，這對於動態型別檢查非常有用。
Q3: 使用條件類型時需要注意什麼？
A3: 開發者應注意型別匹配、避免無窮遞歸以及確保型別的正確性，以避免出現錯誤。
—