TypeScript中创建多重载函数代理时的类型错误求助

问题场景 #

有一个来自外部模块、带多重重载签名的函数original，创建代理函数pass时触发了类型错误。相关代码如下：

// 被代理的外部函数
function original (a: number): boolean;
function original (a: string): boolean;
function original (a: boolean): boolean;

function original (a: number | string | boolean): boolean {
  return true;
}

// 代理函数
function pass (a: string | number){
  return original(a); // 此处触发类型错误
};

pass(5);
pass('a');
pass(true);

报错信息 #

No overload matches this call.
Overload 1 of 3, '(a: number): boolean', gave the following error.
Argument of type 'string | number' is not assignable to parameter of type 'number'.
Type 'string' is not assignable to type 'number'.
Overload 2 of 3, '(a: string): boolean', gave the following error.
Argument of type 'string | number' is not assignable to parameter of type 'string'.
Type 'number' is not assignable to type 'string'.
Overload 3 of 3, '(a: boolean): boolean', gave the following error.
Argument of type 'string | number' is not assignable to parameter of type 'boolean'.
Type 'string' is not assignable to type 'boolean'.(2769)
input.tsx(5, 10): The call would have succeeded against this implementation, but implementation signatures of overloads are not externally visible.

补充说明 #

• 以上是简化后的最小复现场景
• pass(true)调用会报错，说明pass函数的类型校验已生效
• original函数来自外部模块，无法直接修改

解决方案 #

方法1：类型断言缩小参数范围 #

在调用original时，将参数断言为number | string——由于pass的参数本身仅接受这两种类型，不会传入boolean，因此该断言安全可靠，能让TypeScript匹配到对应的重载签名：

function pass (a: string | number){
  return original(a as number | string);
};

方法2：为代理函数添加重载签名 #

给pass定义与original对应（且符合需求）的重载签名，让TypeScript能精准匹配参数类型，无需额外断言：

function pass(a: number): boolean;
function pass(a: string): boolean;
function pass(a: string | number) {
  return original(a);
};

这种方式完全贴合TypeScript的重载设计逻辑，类型检查更严谨，也更易维护。

方法3：利用类型工具提取有效参数类型 #

如果原函数的重载数量较多，可通过Parameters类型工具提取其有效参数类型（排除不需要的boolean），再定义代理函数，实现类型的自动同步：

type OriginalValidParams = Exclude<Parameters<typeof original>[0], boolean>;

function pass(a: OriginalValidParams) {
  return original(a);
};

当原函数的重载签名发生变动时，只要排除的类型不变，代理函数的参数类型会自动适配。

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