泛型是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中一个强大而灵活的特性,可以帮助开发者编写更加清晰和可重用的代码。