TypeScript中如何获取函数类型的参数类型？

TypeScript 内置了专门的工具类型来帮你提取函数的参数类型，完美应对你遇到的 noImplicitAny 报错问题。

核心方案：使用 Parameters<T> 工具类型 #

Parameters<T> 是 TypeScript 提供的内置工具类型，它接收一个函数类型 T 作为参数，会返回该函数的参数组成的元组类型。

直接看针对你场景的修改代码：

type MyFn = (a: number, b: string) => boolean;

// 写法一：先提取参数类型到单独的类型别名
type MyFnArgs = Parameters<MyFn>; // 此时 MyFnArgs 的类型是 [number, string]
const fnInstance: MyFn = (...args: MyFnArgs) => true;

// 写法二：直接在函数参数中使用，更简洁
const fnInstance: MyFn = (...args: Parameters<MyFn>) => true;

这样修改后，args 的类型就会被正确推断为 [number, string]，再也不会触发 noImplicitAny 的报错了。

额外拓展：理解 Parameters 的实现逻辑 #

如果你好奇它是怎么工作的，其实 Parameters 是基于 TypeScript 的条件类型和 infer 关键字实现的，内置的定义大概是这样：

type Parameters<T extends (...args: any) => any> = 
  T extends (...args: infer P) => any ? P : never;

它通过 infer P 来推断函数类型 T 的参数类型 P，然后返回这个推断出的元组类型。

适配更多场景 #

这个方法同样适用于其他函数类型，比如带可选参数、默认参数或者异步函数的场景：

// 带可选参数的函数
type OptionalFn = (a: number, b?: string) => void;
type OptionalArgs = Parameters<OptionalFn>; // 类型为 [number, (string | undefined)?]

// 异步函数
type AsyncFn = (id: string) => Promise<boolean>;
type AsyncArgs = Parameters<AsyncFn>; // 类型为 [string]

内容的提问来源于stack exchange，提问作者osdiab