泛型:在typescript中使用类型作为对象键

泛型（Generics）是一种编程语言特性，它允许你在定义函数、接口或类时使用类型参数，从而实现代码的复用和类型安全。在 TypeScript 中，泛型提供了一种强大的方式来创建可重用的组件，这些组件可以与多种类型一起工作，而不是单一类型。

基础概念

类型参数：在定义泛型时，你可以使用类型参数来表示一个或多个类型。这些类型参数在使用时会被具体的类型替换。

泛型函数：允许函数接受不同类型的参数，并返回相应的类型。

泛型接口：允许接口定义时使用类型参数，使得接口可以适用于多种类型。

泛型类：允许类在实例化时指定类型参数，使得类的属性和方法可以处理不同的类型。

优势

代码复用：通过泛型，你可以编写一段代码来处理多种类型，而不是为每种类型都编写单独的代码。
类型安全：泛型在编译时提供类型检查，减少了运行时的错误。
灵活性：泛型使得组件更加灵活，可以根据需要指定具体的类型。

类型

TypeScript 中的泛型主要有以下几种使用方式：

函数泛型：在函数定义中使用 <T> 来表示类型参数。
接口泛型：在接口定义中使用 <T> 来表示类型参数。
类泛型：在类定义中使用 <T> 来表示类型参数。

应用场景

数组和集合：创建可以存储任意类型元素的数组或集合。
工厂函数：创建可以返回任意类型对象的工厂函数。
通用算法：编写适用于多种数据类型的通用算法。

示例代码

泛型函数

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

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

泛型接口

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

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

let myIdentity: GenericIdentityFn<number> = identity;

泛型类

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);

使用类型作为对象键

在 TypeScript 中，你可以使用泛型来创建一个接受类型作为键的对象：

function getProperty<T, K extends keyof T>(obj: T, key: K) {
    return obj[key];
}

let x = { a: 1, b: 2, c: 3, d: 4 };

getProperty(x, "a"); // okay
getProperty(x, "m"); // error: Argument of type '"m"' is not assignable to parameter of type '"a" | "b" | "c" | "d"'.

在这个例子中，K extends keyof T 确保了 key 是 T 类型的有效键。