TypeScript类型系统：keyof与infer高级类型操作

理解 keyof：从对象类型提取键与建立类型约束

keyof 是 TypeScript 类型系统中的核心操作符，用于获取对象类型的所有键名联合类型。例如，对于 interface User { name: string; age: number; }，keyof User 的结果是 "name" | "age"。结合索引访问类型 T[K]，可以安全地提取属性类型。在实际开发中，常通过泛型约束 K extends keyof T 来确保传入的键存在于对象中，从而避免运行时 undefined 错误。例如定义函数 function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] { return obj[key]; }，编译器会严格校验 key 的合法性。此外，keyof 对联合类型会取并集，对数组和元组则返回数字索引与内置方法名的联合，如 keyof string[] 包含 "0" | "push" | "pop" 等。掌握这些基础行为是构建高级类型的前提。

掌握 infer：在条件类型中提取隐藏的类型信息

infer 关键字只能在条件类型（extends 语句）的 true 分支中使用，用于声明并捕获待推断的类型变量。其核心机制是让编译器在类型匹配过程中自动解构复杂类型。例如，提取函数返回值类型：type ReturnType<T> = T extends (...args: any[]) => infer R ? R : never;。当传入 T 为 (x: number) => string 时，R 被推断为 string。同理，可提取函数参数 infer P、Promise 泛型 infer U 或数组元素类型。验证推断结果可通过 type Test = ReturnType<() => boolean>，IDE 悬停将直接显示 boolean。需注意 infer 必须紧跟在 extends 后的模式匹配中，且同一分支内多次使用同名 infer 会取最后一次匹配结果。合理运用 infer 能大幅减少手动拆解类型的样板代码。

组合 keyof 与 infer：构建实用高级类型工具

将 keyof、infer、条件类型与映射类型结合，可构建高度复用的类型工具。例如，实现一个 PickByType<T, U> 工具，用于筛选对象中值类型匹配 U 的键：type PickByType<T, U> = { [K in keyof T as T[K] extends U ? K : never]: T[K] };。此处 keyof T 遍历键，条件类型过滤，映射类型重组。再如，提取 API 响应结构中的泛型数据：type ExtractApiData<T> = T extends { data: infer D } ? D : never;。结合 keyof 可进一步实现动态路由类型映射。设计此类工具时，应遵循单一职责原则，先通过 infer 解构，再用 keyof 映射，最后用条件类型收敛。通过 type Assert = Expect<Equal<...>> 模式进行类型级单元测试，可确保工具在复杂场景下的健壮性。

验证与避坑：复杂类型推断中的边界与可读性

在使用 keyof 与 infer 时，开发者常陷入几个典型陷阱。首先，keyof 作用于联合类型时会产生分布行为，例如 keyof (A | B) 等价于 keyof A | keyof B，而非交集，这可能导致属性访问越界。其次，infer 严格限定于条件类型的 extends 右侧，若误用于普通类型别名或接口定义中，编译器将直接报错。此外，过度嵌套条件类型与 infer 会导致类型展开极其缓慢，IDE 提示延迟甚至崩溃，严重损害可读性。规避策略包括：拆分复杂推断为多个中间类型别名，使用 satisfies 操作符进行结构校验，并借助 tsc 编译选项或 IDE 的类型检查面板验证推断路径。建议为每个高级类型编写类型测试用例，利用 @ts-expect-error 捕获预期外的类型扩散，确保类型系统既灵活又可维护。