如何在TypeScript中提取接口调用签名的所有首个参数类型？

你的问题出在TypeScript对重载函数类型的条件类型推断逻辑上：当条件类型匹配带有多个调用签名的重载函数时，默认只会匹配最后一个签名，所以你的ExtractAllParameters<Foo>只能得到最后一个参数类型number。

下面是通用的解决方案：

实现步骤 #

1. 先将重载函数的交集类型（TypeScript中重载接口本质是函数类型的交集）转换为联合类型；
2. 利用分布式条件类型提取每个联合成员的首个参数，最终合并为联合类型。

完整代码 #

// 将交集类型转换为联合类型，用于拆分重载函数的多个签名
type IntersectionToUnion<T> = (T extends any ? (x: T) => void : never) extends (x: infer U) => void ? U : never;

// 提取所有重载函数的首个参数类型
type ExtractAllFirstParams<T> = IntersectionToUnion<T> extends (...args: [infer P, ...any[]]) => any ? P : never;

// 测试示例
interface Foo {
    (str: 'apple'|'banana'): void;
    (str: 'hat'): void;
    (x: number): void;
}

type Result = ExtractAllFirstParams<Foo>;
// Result 类型为 'apple'|'banana'|'hat'|number，符合预期

原理说明 #

• IntersectionToUnion：通过分布式条件类型将重载函数的交集类型转换为函数联合类型，再利用函数参数的逆变特性，推断出原重载所有签名的联合类型。
• ExtractAllFirstParams：对转换后的联合类型逐一处理，提取每个函数签名的首个参数，最终自动合并为所有首个参数的联合类型。

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