zhou
在今天的TypeScript學習中，我們將深入探討高階型別的應用與實作技巧。TypeScript提供了一系列強大的型別系統功能，這些功能不僅能夠幫助我們確保程式碼的正確性，還可以讓我們的開發過程更加高效和可靠。以下是一些關於TypeScript的高級型別知識點以及如何運用它們來提升我們的開發體驗。
1. 函數型別（Function Types）
函數型別可以用於定義函數的簽章，包含它的參數及回傳值型別。例如:
type AddTwoNumbers = (a: number, b: number) => number; // 定義了一個接受兩個number型別參數並回傳一個number型別值的函數型別
const addTwoNumbers: AddTwoNumbers = (x, y) => x + y; // 宣告一個符合AddTwoNumbers型別的函數
函數型別也可以使用箭頭函數語法來簡化定義，這使得函數型別看起來更像是實際的函數宣告。
2. 物件型別（Object Types）
物件型別可用來描述具有特定屬性的對象。你可以透過接口(interface)或類似字面量的方式來定義物件型別。例如:
interface User {
id: string;
name: string;
}
// 等價於以下字面量形式
type UserLiteral = {
id: string;
name: string;
};
在某些情況下，你可能需要一個具體的物件作為參考，而不是通用的物件型別。這種時候，可以使用`Record`或是其衍生型別。
3. 聯合型別（Union Types）
聯合型別允許某個變數可以是多種不同型別中的一種。例如:
type NumberOrString = number | string; // 這個型別可以是number或者是string
let myVar: NumberOrString = 'hello'; // 這樣做是可以的
myVar = 42; // 這樣做也是可以的
當你在處理可能有多種型別的情況時，聯合型別是非常有用的。
4. intersection types（交集型別）
交集型別表示的是同時滿足多個型別的特徵的值。例如:
type A = { a: number };
type B = { b: string };
type AB = A & B; // 這個型別必須同時擁有A和B的所有屬性
交集型別通常用於當你需要確保一個值既屬於型別A又屬於型別B的時候。
5. Mapped Types（映射型別）
映射型別是一種元型別（metatype），它可以根據另一個型別創建新的型別。例如:
type ReadonlyUser = {readonly [K in keyof User]: User[K]}; // 這個型別會創建一個只讀版本的User型別
在這裡，`ReadonlyUser`將會是一個所有屬性都是隻讀的`User`型別。
6. Conditional Types（條件型別）
條件型別可以用來基於不同的條件來產生不同的型別。例如:
type IfNumberThenStringElseBoolean =
ConditionalTypeIf<typeof num === "number", string, boolean>;
// 如果num是number型別，那麼IfNumberThenStringElseBoolean就是string型別；否則它是boolean型別
在這個例子中，`ConditionalTypeIf`是一個條件型別，它會根據第一個參數的真假來返回第二個參數或者第三個參數所指定的型別。
總結來說，TypeScript的高級型別提供了極為豐富的功能，讓我們可以在編寫大型應用程序時保持程式碼的可維護性和健壯性。通過理解和使用這些型別特性，我們能夠構建出更安全且更具表達力的程式碼結構。隨著經驗的積累，你將發現自己在解決複雜問題時越發得心應手，並且能夠更好地利用TypeScript帶來的優勢。
