如何在Typescript中定义泛型变量？

在TypeScript中，泛型是一种允许你创建可重用的组件的方式，这些组件可以在多种类型上工作，而不是单一类型。泛型提供了一种方式来创建可以与任何数据类型一起工作的函数或类，而不是为每种数据类型编写单独的函数或类。

定义泛型变量

泛型变量可以在函数、接口或类中定义。以下是一些基本的例子：

泛型函数

function identity<T>(arg: T): T {
    return arg;
}

let output = identity<string>("myString");
let output2 = identity("myString"); // 类型推断

在这个例子中，T 是一个类型参数，它在函数调用时被指定，或者在编译时被推断。

泛型接口

interface GenericIdentityFn<T> {
    (arg: T): T;
}

function identity<T>(arg: T): T {
    return arg;
}

let myIdentity: GenericIdentityFn<number> = identity;

在这个例子中，GenericIdentityFn 接受一个类型参数 T，并且任何实现了这个接口的函数都必须接受和返回相同类型的参数。

泛型类

class GenericNumber<T> {
    zeroValue: T;
    add: (x: T, y: T) => T;

    constructor(zeroValue: T, add: (x: T, y: T) => T) {
        this.zeroValue = zeroValue;
        this.add = add;
    }
}

let myGenericNumber = new GenericNumber<number>(0, (x, y) => x + y);

在这个例子中，GenericNumber 类接受一个类型参数 T，并且它的属性和方法都必须与这个类型兼容。