infer 是 TypeScript 中条件类型的一个关键字，主要用于在条件类型中进行类型推断。它允许我们在泛型条件类型中声明一个类型变量，然后从其他类型中推断出这个类型。
基本语法
type ReturnType = T extends (...args: any[]) => infer R ? R : never;
主要使用场景
1.获取函数返回类型
// 内置的 ReturnType 实现原理
type MyReturnType = T extends (...args: any[]) => infer R ? R : never;
function foo(): string {
return "hello";
}
type FooReturn = MyReturnType; // string
2.获取函数参数类型
// 获取第一个参数类型
type FirstParam = T extends (first: infer P, ...rest: any[]) => any ? P : never;
// 获取所有参数类型（元组）
type Params = T extends (...args: infer P) => any ? P : never;
function bar(x: number, y: string): void {}
type BarFirstParam = FirstParam; // number
type BarParams = Params; // [number, string]
3.获取数组/元组元素类型
typescript
type ArrayElement = T extends (infer U)[] ? U : never; type StrArrayElement = ArrayElement; // string type NumArrayElement = ArrayElement; // number
4.获取 Promise 的解析类型
type UnwrapPromise = T extends Promise ? U : T; type PromiseString = Promise; type Unwrapped = UnwrapPromise; // string
实际应用示例
示例1：提取对象值类型
type ValueOf = T extends { [key: string]: infer V } ? V : never;
type Obj = { a: number; b: string };
type Values = ValueOf; // number | string
示例2：提取构造函数实例类型
type InstanceType = T extends new (...args: any[]) => infer R ? R : any;
class Animal {
name: string;
constructor(name: string) {
this.name = name;
}
}
type AnimalInstance = InstanceType; // Animal
示例3：递归解包嵌套 Promise
type DeepUnwrapPromise = T extends Promise ? DeepUnwrapPromise : T; type NestedPromise = Promise>; type Result = DeepUnwrapPromise; // string
使用注意事项
1.只能用在条件类型的 extends 子句中
// ✅ 正确 type Example1 = T extends Array ? U : never; // ❌ 错误：infer 不能单独使用 type Example2 = infer U; // 编译错误
2.多个 infer 可以同时使用
type Zip = T extends [infer A, ...infer RestT]
? U extends [infer B, ...infer RestU]
? [[A, B], ...Zip]
: []
: [];
type Result = Zip; // [[1, 'a'], [2, 'b']]
3.协变位置 vs 逆变位置
// infer 在协变位置（返回类型） type GetReturnType = T extends () => infer R ? R : never; // infer 在逆变位置（参数类型） type GetArgType = T extends (arg: infer A) => any ? A : never;
实战技巧
1.类型守卫与 infer
function isPromise(value: any): value is Promise {
return value && typeof value.then === 'function';
}
async function handle(input: T | Promise): Promise {
if (isPromise(input)) {
// 这里 input 被推断为 Promise
return input;
}
return Promise.resolve(input);
}
2.构建实用类型工具
// 提取所有方法的返回类型
type MethodsReturnType = {
[K in keyof T]: T[K] extends (...args: any[]) => infer R ? R : never;
};
// 提取特定属性的类型
type PropType = T extends { [P in K]: infer V } ? V : never;
总结
infer 的核心作用：在条件类型中提取未知类型的内部结构。它是 TypeScript 类型系统的高级特性，常用于：
- 类型提取：从已有类型中提取部分类型信息
- 类型转换：将一个类型转换为另一种形式
- 类型推导：根据上下文推导出具体类型
- 工具类型创建：构建复杂的实用类型工具
掌握 infer 的关键是多实践，从简单的函数返回类型提取开始，逐步应用到更复杂的类型操作中。
到此这篇关于Typescript中infer关键字的使用小结的文章就介绍到这了,更多相关Typescript infer关键字内容请搜索IT俱乐部以前的文章或继续浏览下面的相关文章希望大家以后多多支持IT俱乐部！
