typescript 中的泛型

泛型的概念

泛型（Generics）是 TypeScript 提供的一种工具，用于创建可重用的组件，能够处理多种类型的数据，而不是单一的特定类型。

产生原因

在编写代码时，有时需要一个函数或类能够处理不同类型的数据，而不想为每种数据类型重复编写相同的逻辑。泛型通过参数化类型，使得代码更加灵活和可重用。

泛型的使用

函数中的泛型

通过在函数名后面加尖括号 <T> 来定义泛型，T 是一个占位符，可以代表任何类型。

1
2
3
4
5
6
function identity<T>(arg: T): T {
    return arg;
}

identity<number>(1); // 调用时指定类型
identity("hello"); // TypeScript 推断出类型为 string
  • T：表示一个任意类型。
  • arg: 函数参数，类型为 T。
  • 返回值：与输入参数相同的类型。

类中的泛型

可以在类定义中使用泛型，使类的方法或属性能处理多个数据类型。

1
2
3
4
5
6
7
8
9
class Box<T> {
    content: T;
    constructor(value: T) {
        this.content = value;
    }
}

let numberBox = new Box<number>(100);
let stringBox = new Box<string>("Hello");
  • content: 类型为 T，存储内容。
  • value: 构造函数参数，初始化对象内容。

使用注意点

  • 一致性：确保所有实例化使用相同的数据类型。
  • 约束：可以对泛型进行约束，例如限制必须包含某些属性。

泛型约束示例

1
2
3
4
5
6
7
8
9
10
interface Lengthwise {
    length: number;
}

function logLength<T extends Lengthwise>(arg: T): void {
    console.log(arg.length);
}

// logLength(3); // Error, 因为 number 没有 length 属性
logLength({ length: 10, value: "Hello" }); // OK，因为对象含 length 属性
  • extends关键字用于定义约束条件，使得传入的参数必须包含 length 属性。

总结

优势 描述
灵活性 支持多种数据类型，无需多次重复实现
可重用性 提高代码重用性，减少冗余
类型安全 在编译期进行类型检查，提高代码可靠性

使用 TypeScript 中的泛型可以大大提高代码的灵活性、可维护性和安全性。