泛型是TypeScript的一个核心特性,它允许在写函数、接口或类的时候,不预先指定其类型,而是在使用的时候再去指定。这样可以编写更加通用和灵活的代码。
以下是一个使用泛型的简单例子:
function identity<T>(arg: T): T {
return arg;
}
let output = identity<string>("myString"); // output 类型为 string
let output2 = identity("myString"); // 类型推断
在这个例子中,identity
函数被定义为泛型函数,其中 T
是一个类型变量。当我们调用 identity<string>
时,T
被指定为 string
类型。
泛型接口和泛型类的定义也类似:
interface GenericIdentityFn<T> {
(arg: T): T;
}
class GenericNumber<T> {
zeroValue: T;
add: (x: T, y: T) => T;
}
let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };
在这个例子中,GenericIdentityFn
是一个泛型接口,而 GenericNumber
是一个泛型类。创建 GenericNumber
类的实例时,需要指定一个类型参数来代替 T
。
泛型的一个常见用途是创建可复用的数据结构。泛型集合类型如 Array<T>
和 Dictionary<T>
可以用于创建具有任何类型项的数组或字典:
let list: Array<number> = [1, 2, 3];
let dict: { [key: string]: number } = {
"key1": 1,
"key2": 2,
};
泛型也可以用于定义函数类型,如下所示:
let myGenericFunction: <T>(arg: T) => T = function<T>(arg: T): T {
return arg;
}
泛型是TypeScript中一个强大而灵活的特性,可以帮助开发者编写更加清晰和可重用的代码。