使用keyof的参数泛型推断

keyof 是 TypeScript 中的一个关键字，用于获取某种类型的所有键（属性名）的联合类型。它常与泛型一起使用，以增强函数的类型安全性和灵活性。

基础概念

假设我们有一个对象类型 Person：

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

使用 keyof 可以得到这个接口所有属性名的联合类型：

type PersonKeys = keyof Person; // "name" | "age" | "email"

优势

类型安全：确保函数只接受有效的属性名作为参数。
代码复用：通过泛型和 keyof 可以创建更通用的函数。
减少冗余：避免手动列出所有可能的属性名。

类型与应用场景

类型

keyof T 的结果是一个联合类型，包含了类型 T 所有属性名的字符串字面量类型。

应用场景

通用函数：创建可以处理任意对象属性的函数。
通用函数：创建可以处理任意对象属性的函数。
映射类型：用于创建新的类型，基于现有类型的属性。
映射类型：用于创建新的类型，基于现有类型的属性。

可能遇到的问题及解决方法

问题：类型推断不准确

有时 TypeScript 可能无法准确推断泛型的具体类型，尤其是在复杂类型或嵌套对象的情况下。

解决方法：

明确指定泛型参数：
明确指定泛型参数：
使用更具体的类型注解：
如果函数返回值依赖于传入的键，确保返回类型也能正确反映这一点。

问题：使用 `keyof` 时遇到编译错误

可能是因为传入的键不是目标类型的有效属性。

解决方法：

检查键名拼写：确保键名与对象类型中的属性名完全匹配。
使用类型断言：在极少数情况下，如果确定某个键是有效的，但 TypeScript 编译器无法推断出来，可以使用类型断言。
使用类型断言：在极少数情况下，如果确定某个键是有效的，但 TypeScript 编译器无法推断出来，可以使用类型断言。

示例代码

以下是一个综合示例，展示了如何使用 keyof 和泛型来创建一个安全的属性访问函数：

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

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

const person: Person = { name: 'Alice', age: 30, email: 'alice@example.com' };

// 正确使用
const name = getProperty(person, 'name'); // name 是 string 类型
const age = getProperty(person, 'age');   // age 是 number 类型

// 错误使用（TypeScript 编译器会报错）
// const invalid = getProperty(person, 'invalidKey'); // Error: Argument of type '"invalidKey"' is not assignable to parameter of type '"name" | "age" | "email"'.

通过这种方式，可以确保在编译阶段就捕获到潜在的错误，提高代码的健壮性。