TypeScript infer 怎么提取函数参数和返回值类型？

Question

仓乃文 · Accepted Answer

处理高阶函数或封装 API 请求时，需要从已有函数中提取参数类型和返回值类型，手动复制接口定义容易不同步。infer 在条件类型中充当类型占位符，配合 extends 模式匹配可以自动推导出函数的参数和返回值类型。提取函数参数类型： ```typescript type MyParameters = T extends (...args: infer P) => any ? P : never; function createUser(name: string, age: number, role: string) { return { name, age, role }; } type CreateUserParams = MyParameters; // 结果：[string, number, string] ``` 提取函数返回值类型： ```typescript type MyReturnType = T extends (...args: any) => infer R ? R : never; type CreateUserReturn = MyReturnType; // 结果：{ name: string; age: number; role: string } ``` 提取 Promise 返回值： ```typescript type UnwrapPromise = T extends Promise ? U : T; type Data = UnwrapPromise>; // string[] ``` 补充说明： - 内置工具类型 Parameters 和 ReturnType 就是基于 infer 实现的 - TS 4.5+ 内置 Awaited 可以递归展开嵌套 Promise - infer 只能在 extends 条件类型中使用 - 同一个条件类型中可以有多个 infer 占位符 - infer 提取的类型在真分支中可用，假分支中不可用