TypeScript infer 关键字的原理与高级使用场景

infer 原理：

• infer 只在条件类型的 extends 子句中使用，声明一个待推断的类型变量
• 当条件 T extends U 匹配成功时，infer 会从 U 中提取实际类型
• 类似模式匹配（pattern matching）

内置工具类型实现：

// ReturnType: 提取函数返回类型
type MyReturnType<T> = T extends (...args: any[]) => infer R ? R : never;
type R = MyReturnType<() => string>; // string

// Parameters: 提取函数参数元组类型
type MyParameters<T> = T extends (...args: infer P) => any ? P : never;
type P = MyParameters<(a: number, b: string) => void>; // [number, string]

// 提取 Promise 内部类型
type Unwrap<T> = T extends Promise<infer U> ? U : T;
type U = Unwrap<Promise<string>>; // string

高级场景：

// 提取数组元素类型
type ArrayItem<T> = T extends (infer U)[] ? U : never;
type Item = ArrayItem<string[]>; // string

// 提取构造函数实例类型
type Instance<T> = T extends { new(...args: any[]): infer R } ? R : never;

// 递归解包深层嵌套 Promise
type DeepUnwrap<T> = T extends Promise<infer U> ? DeepUnwrap<U> : T;
type D = DeepUnwrap<Promise<Promise<string>>>; // string

// 提取第一个参数的类型
type FirstArg<T> = T extends (first: infer F, ...args: any[]) => any ? F : never;

递归 infer：可用于数组扁平化、DeepReadonly、DeepPartial 等复杂类型。