TypeScript 泛型(generics)的泛型約束：2025 最新教學

TypeScript 泛型(generics)是一種強大的工具，能讓我們在編寫程式時更加彈性，它使我們能在不改變程式碼的情況下，對程式碼的型別進行更多控制。在 TypeScript 中，我們可以使用泛型約束來更精確地控制程式碼，以便撰寫出更健壯的程式碼。

什麼是泛型約束？

泛型約束是一種技術，可以讓我們在使用泛型時，更加精確地控制我們的程式碼。它能讓我們指定泛型的型別，並且要求其型別必須符合某個接口或類別的要求。

如何使用泛型約束

舉個例子，假設我們有一個函式，可以接受一個參數，並且這個參數必須是一個物件，該物件必須有一個名為 name 的屬性：

function logName(obj: T) {
    console.log(obj.name);
}

這樣的函式可以接受任何型別的參數，但如果參數中沒有 name 屬性，就會報錯。

使用泛型約束的解決方案

為了解決這個問題，我們可以使用泛型約束，指定參數必須是一個特定的型別，並且必須有 name 屬性：

function logName(obj: T) {
    console.log(obj.name);
}

這樣，我們就能確保參數一定有 name 屬性，型別也正確，從而避免出現報錯的情況。

指定符合接口的泛型約束

另外，我們也可以使用泛型約束來指定泛型必須符合某個接口或類別的要求：

interface HasName {
    name: string;
}

function logName(obj: T) {
    console.log(obj.name);
}

這樣可以確保參數必須是一個符合 HasName 接口的物件，避免報錯。

最佳實踐與錯誤排除

在使用泛型約束時，建議遵循以下最佳實踐：

• 始終明確指定泛型約束，以提高程式碼的可讀性和可維護性。
• 在設計接口時，考慮未來擴展性，避免過於嚴格的約束。
• 善用 TypeScript 的錯誤提示來修正潛在的型別問題。

延伸應用

泛型約束在許多情境下都能發揮作用，例如：

• 在 API 請求中，使用泛型來定義請求和響應的型別。
• 在資料結構中，如鏈表或樹，使用泛型來定義節點的型別。

Q&A（常見問題解答）

Q1: 泛型約束與普通泛型有何不同？

A1: 泛型約束是對普通泛型的進一步限制，確保泛型型別符合特定的結構或接口。

Q2: 如何在 TypeScript 中使用多個泛型約束？

A2: 可以使用交叉型別（&）來同時指定多個約束，例如：T extends A & B。

Q3: 泛型約束會影響性能嗎？

A3: 不會，泛型約束是在編譯階段進行檢查，對運行時性能沒有影響。

總結來說，TypeScript 泛型約束是一種強大的工具，讓我們在使用泛型時能更精確地控制程式碼，撰寫出更健壯的應用。

欲了解更多，請參考以下資源：

Typescript Generics

Typescript Generics Handbook

Typescript Generics Explained

Typescript Generics Explained in Plain English

Typescript Generics Explained with Examples

想了解更多 TypeScript 相關內容，請點擊 這裡。

—