Typescript Generic with in keyof

基础概念

TypeScript 中的泛型（Generics）是一种允许你创建可重用的组件的方法，这些组件可以在多种类型上工作，而不是单一类型。keyof 是 TypeScript 中的一个关键字，它用于获取一个对象类型的所有键（属性名）的联合类型。

当你将泛型与 keyof 结合使用时，你可以创建一个泛型约束，该约束确保传入的类型参数必须是某个对象类型的键之一。

优势

类型安全：通过使用泛型和 keyof，你可以在编译时捕获更多的错误，因为你可以确保传入的类型是预期的对象属性之一。
代码复用：泛型允许你编写更通用的代码，这些代码可以在不同的类型上重用，而不需要为每种类型编写单独的实现。
可读性和维护性：使用泛型可以使代码更加清晰和易于理解，因为它明确地表达了代码的意图和约束。

类型

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

在这个例子中，T 是任意类型，K 是 T 的键的联合类型。函数 getProperty 接受一个对象 obj 和一个键 key，并返回该键对应的值。

应用场景

当你需要编写一个函数，该函数接受一个对象和一个属性名，并返回该属性的值时，可以使用泛型和 keyof。这样可以确保传入的属性名是对象的有效属性。

示例代码

interface Person {
    name: string;
    age: number;
}

function getPersonProperty(person: Person, key: keyof Person): any {
    return person[key];
}

const person: Person = {
    name: "John Doe",
    age: 30
};

console.log(getPersonProperty(person, "name")); // 输出: John Doe
console.log(getPersonProperty(person, "age"));  // 输出: 30

参考链接

常见问题及解决方法

问题：为什么我使用 `keyof` 时编译器报错？

原因：可能是因为你尝试使用 keyof 在非对象类型上，或者你的类型参数没有正确约束。

解决方法：确保你使用的类型是一个对象类型，并且你的泛型参数正确地使用了 extends keyof T 这样的约束。

// 错误示例
function getLength<T>(arr: T): number {
    return arr.length; // 如果 T 不是数组类型，这里会报错
}

// 正确示例
function getLength<T extends Array<any>>(arr: T): number {
    return arr.length; // 现在这里不会报错，因为 T 被约束为数组类型
}

问题：如何处理 `keyof` 和联合类型的组合？

原因：当你有一个联合类型，并且你想使用 keyof 来获取这些类型的键时，可能会遇到类型不兼容的问题。

解决方法：使用映射类型（Mapped Types）来处理联合类型的键。

type UnionType = { a: number } | { b: string };

type Keys = keyof UnionType; // 这将导致错误，因为联合类型的键不能直接使用 keyof

// 使用映射类型来解决
type KeysUnion<T> = T extends any ? keyof T : never;

type Keys = KeysUnion<UnionType>; // 现在 Keys 将是 "a" | "b"

通过这些方法，你可以更好地理解和解决在使用 TypeScript 泛型和 keyof 时可能遇到的问题。