Typescript中使用泛型約束的實現(xiàn)示例

更新時間：2025年10月10日 11:08:39 作者：心隨雨下

TypeScript泛型約束通過extends關(guān)鍵字限制泛型參數(shù)的范圍,確保泛型參數(shù)不是只能接受任意類型,本文就來介紹一下Typescript中使用泛型約束的實現(xiàn)示例,感興趣的可以了解一下

為什么需要泛型約束？

默認情況下，泛型可以是任何類型，但有時你需要訪問類型的特定屬性或方法。如果不加以約束，TypeScript 無法保證這些屬性 / 方法存在，會導致類型錯誤。

例如，嘗試訪問泛型參數(shù)的 length 屬性：

// 錯誤示例：TypeScript 無法確定 T 有 length 屬性
function getLength<T>(arg: T): number {
  return arg.length; // 報錯：Property 'length' does not exist on type 'T'
}

這時就需要泛型約束來指定 T 必須包含 length 屬性。

如何使用泛型約束？

通過 extends 關(guān)鍵字可以實現(xiàn)泛型約束，語法為 <T extends 約束類型>。

1. 基礎(chǔ)約束：限制為特定結(jié)構(gòu)

最常見的約束是要求泛型必須包含某些屬性或方法。例如，約束 T 必須有 length 屬性：

// 定義一個接口作為約束條件
interface HasLength {
  length: number;
}

// 使用 extends 約束 T 必須符合 HasLength 結(jié)構(gòu)
function getLength<T extends HasLength>(arg: T): number {
  return arg.length; // 現(xiàn)在可以安全訪問 length 了
}

// 正確用法：字符串、數(shù)組等有 length 屬性的類型
getLength("hello"); // 5（字符串有 length）
getLength([1, 2, 3]); // 3（數(shù)組有 length）

// 錯誤用法：數(shù)字沒有 length 屬性
getLength(123); // 報錯：Argument of type 'number' is not assignable to parameter of type 'HasLength'

2. 約束為另一個類型的子類型

可以約束泛型必須是另一個類型的子類型，例如約束 T 必須是 User 類型的子類型：

interface User {
  id: number;
  name: string;
}

// 約束 T 必須是 User 的子類型（即必須包含 id 和 name）
function getUserInfo<T extends User>(user: T): string {
  return `ID: ${user.id}, Name: ${user.name}`;
}

// 正確：符合 User 結(jié)構(gòu)
getUserInfo({ id: 1, name: "Alice" });

// 正確：擴展了 User 結(jié)構(gòu)（允許額外屬性）
getUserInfo({ id: 2, name: "Bob", age: 30 });

// 錯誤：缺少 name 屬性，不符合 User 結(jié)構(gòu)
getUserInfo({ id: 3 }); // 報錯：Property 'name' is missing

3. 約束為 keyof 另一個類型（鍵約束）

使用 keyof 可以約束泛型必須是某個對象類型的鍵，常用于安全地訪問對象屬性：

// 約束 K 必須是 T 的鍵（keyof T 返回 T 所有鍵的聯(lián)合類型）
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key]; // 安全訪問 obj 的屬性
}

const person = { name: "Alice", age: 25 };

// 正確：key 是 person 的有效鍵
getProperty(person, "name"); // "Alice"（類型：string）
getProperty(person, "age"); // 25（類型：number）

// 錯誤：key 不是 person 的鍵
getProperty(person, "height"); // 報錯：Argument of type '"height"' is not assignable to parameter of type '"name" | "age"'

4. 多個約束（交叉類型）

如果需要同時滿足多個約束，可以使用交叉類型（&）組合多個條件：

interface HasLength {
  length: number;
}

interface HasName {
  name: string;
}

// 約束 T 必須同時滿足 HasLength 和 HasName
function getInfo<T extends HasLength & HasName>(obj: T): string {
  return `Name: ${obj.name}, Length: ${obj.length}`;
}

// 正確：同時有 name 和 length
getInfo({ name: "Test", length: 10 });

// 錯誤：缺少 length
getInfo({ name: "Test" }); // 報錯：Property 'length' is missing