TypeScript详解八：泛型

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