如何在Typescript中使用泛型约束

在 TypeScript 中，泛型约束（Generic Constraints）用于限制泛型可以接受的类型范围，确保泛型参数不是只能接受任意类型，而是只能接受满足特定条件的类型。这既保留了泛型的灵活性，又增强了类型安全性。
为什么需要泛型约束？

默认情况下，泛型可以是任何类型，但有时你需要访问类型的特定属性或方法。如果不加以约束，TypeScript 无法保证这些属性 / 方法存在，会导致类型错误。例如，尝试访问泛型参数的 length 属性：

1. // 错误示例：TypeScript 无法确定 T 有 length 属性
2. function getLength<T>(arg: T): number {
3.   return arg.length; // 报错：Property 'length' does not exist on type 'T'
4. }

复制代码

这时就需要泛型约束来指定 T 必须包含 length 属性。
如何使用泛型约束？

通过 extends 关键字可以实现泛型约束，语法为 。
1. 基础约束：限制为特定结构

最常见的约束是要求泛型必须包含某些属性或方法。例如，约束 T 必须有 length 属性：

1. // 定义一个接口作为约束条件
2. interface HasLength {
3.   length: number;
4. }
6. // 使用 extends 约束 T 必须符合 HasLength 结构
7. function getLength<T extends HasLength>(arg: T): number {
8.   return arg.length; // 现在可以安全访问 length 了
9. }
11. // 正确用法：字符串、数组等有 length 属性的类型
12. getLength("hello"); // 5（字符串有 length）
13. getLength([1, 2, 3]); // 3（数组有 length）
15. // 错误用法：数字没有 length 属性
16. getLength(123); // 报错：Argument of type 'number' is not assignable to parameter of type 'HasLength'

复制代码

2. 约束为另一个类型的子类型

可以约束泛型必须是另一个类型的子类型，例如约束 T 必须是 User 类型的子类型：

1. interface User {
2.   id: number;
3.   name: string;
4. }
6. // 约束 T 必须是 User 的子类型（即必须包含 id 和 name）
7. function getUserInfo<T extends User>(user: T): string {
8.   return `ID: ${user.id}, Name: ${user.name}`;
9. }
11. // 正确：符合 User 结构
12. getUserInfo({ id: 1, name: "Alice" });
14. // 正确：扩展了 User 结构（允许额外属性）
15. getUserInfo({ id: 2, name: "Bob", age: 30 });
17. // 错误：缺少 name 属性，不符合 User 结构
18. getUserInfo({ id: 3 }); // 报错：Property 'name' is missing

复制代码

3. 约束为 keyof 另一个类型（键约束）

使用 keyof 可以约束泛型必须是某个对象类型的键，常用于安全地访问对象属性：

1. // 约束 K 必须是 T 的键（keyof T 返回 T 所有键的联合类型）
2. function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
3.   return obj[key]; // 安全访问 obj 的属性
4. }
6. const person = { name: "Alice", age: 25 };
8. // 正确：key 是 person 的有效键
9. getProperty(person, "name"); // "Alice"（类型：string）
10. getProperty(person, "age"); // 25（类型：number）
12. // 错误：key 不是 person 的键
13. getProperty(person, "height"); // 报错：Argument of type '"height"' is not assignable to parameter of type '"name" | "age"'

复制代码

4. 多个约束（交叉类型）

如果需要同时满足多个约束，可以使用交叉类型（&）组合多个条件：

1. interface HasLength {
2.   length: number;
3. }
5. interface HasName {
6.   name: string;
7. }
9. // 约束 T 必须同时满足 HasLength 和 HasName
10. function getInfo<T extends HasLength & HasName>(obj: T): string {
11.   return `Name: ${obj.name}, Length: ${obj.length}`;
12. }
14. // 正确：同时有 name 和 length
15. getInfo({ name: "Test", length: 10 });
17. // 错误：缺少 length
18. getInfo({ name: "Test" }); // 报错：Property 'length' is missing

复制代码

总结

泛型约束的核心是通过 extends 关键字限制泛型的范围，常见用法包括：　　1.约束为包含特定属性 / 方法的结构
　　2.约束为另一个类型的子类型
　　3.结合 keyof 约束为对象的键
　　4.多个约束的组合（交叉类型）
通过泛型约束，既能保留泛型的灵活性，又能确保代码在编译时的类型安全，避免运行时错误。
来源：程序园用户自行投稿发布，如果侵权，请联系站长删除
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！