TS infer 关键字：推断类型的高级技巧
深入理解 infer 关键字，在条件类型中提取和推断子类型。 · 难度：入门 · +15XP
infer 关键字的作用
infer 关键字用于在条件类型中声明一个类型变量，以便从其他类型中推断出特定部分的类型。它通常与 extends 配合使用，实现类似模式匹配的功能，是高级类型编程的核心工具之一。
基本用法
type ReturnTypeOf<T> = T extends (...args: any[]) => infer R ? R : never;
function greet() { return 'hello'; }
type GreetReturn = ReturnTypeOf<typeof greet>; // string实用示例
| 模式 | 说明 |
|---|---|
| 提取数组元素类型 | T extends (infer U)[] ? U : never |
| 提取 Promise 值类型 | T extends Promise<infer V> ? V : never |
| 提取函数参数类型 | T extends (...args: infer P) => any ? P : never |
代码示例
type ElementType<T> = T extends (infer U)[] ? U : never;
type NumArr = ElementType<number[]>; // number练习提示：编写一个类型工具，从对象类型中提取所有属性值的类型联合。