如何在TypeScript中为接口方法间接调用正确类型定义（避免any）

问题背景 #

现有如下包含重载方法的接口和日志辅助函数：

interface Foo {
    A(x: string): Promise<number>
    A(x: string, callback: (value: number) => void): void

    B(x: number): Promise<boolean>
    B(x: number, callback: (value: boolean) => void): void
}

// 原始实现用any绕过类型检查
function callFooMethod<Method extends keyof Foo>(foo: Foo, method: Method, arg: any) 
{
    console.log(method)
    return (foo as any)[method](arg)
}

移除any类型断言后：

function callFooMethod<Method extends keyof Foo>(foo: Foo, method: Method, arg: any) 
{
    console.log(method)
    return foo[method](arg)
}

TypeScript会抛出错误：

This expression is not callable.
  Each member of the union type '{ (x: string): Promise<number>; (x: string, callback: (value: number) => void): void; } | { (x: number): Promise<boolean>; (x: number, callback: (value: boolean) => void): void; }' has signatures, but none of those signatures are compatible with each other. ts(2349)

问题根源：Method extends keyof Foo会让TypeScript将Foo[Method]解析为所有方法签名的联合类型，而联合类型中的签名参数、返回值互不兼容，导致无法直接调用。

解决方案 #

通过泛型工具提取单个方法的参数和返回类型，让TypeScript为每个调用推导具体的方法签名，而非处理不兼容的联合类型。

完整类型安全实现 #

interface Foo {
    A(x: string): Promise<number>
    A(x: string, callback: (value: number) => void): void

    B(x: number): Promise<boolean>
    B(x: number, callback: (value: boolean) => void): void
}

// 提取方法的第一个参数类型
type FirstArg<T> = T extends (x: infer U, ...rest: any[]) => any ? U : never;
// 提取方法的返回类型（兼容重载的Promise和void）
type MethodReturn<T> = T extends (...args: any[]) => infer R ? R : never;

function callFooMethod<Method extends keyof Foo>(
    foo: Foo,
    method: Method,
    arg: FirstArg<Foo[Method]>,
    callback?: Parameters<Foo[Method]>[1]
): MethodReturn<Foo[Method]> {
    console.log(method);
    // 安全断言为单个方法的签名，避免联合类型冲突
    const targetMethod = foo[method] as (
        x: FirstArg<Foo[Method]>,
        cb?: Parameters<Foo[Method]>[1]
    ) => MethodReturn<Foo[Method]>;
    
    return callback ? targetMethod(arg, callback) : targetMethod(arg);
}

关键细节说明 #

1. FirstArg<T>类型工具：从方法签名中提取第一个参数的类型，确保传入的arg与目标方法的参数类型严格匹配。
2. MethodReturn<T>类型工具：提取方法的返回类型，自动适配两种重载场景（返回Promise或void）。
3. 可选回调参数：新增callback参数并对应到方法的第二个重载参数，让辅助函数支持两种调用方式。
4. 安全类型断言：这里的断言仅用于告诉TypeScript当前foo[method]是单个具体的方法签名，而非联合类型，属于类型安全的操作。

验证类型正确性 #

const fooImpl: Foo = {
    A(x: string) { return Promise.resolve(1); },
    A(x: string, cb) { cb(2); },
    B(x: number) { return Promise.resolve(true); },
    B(x: number, cb) { cb(false); }
};

// 调用无回调版本，返回Promise<number>
const resA = callFooMethod(fooImpl, 'A', 'hello');
// 调用带回调版本，返回void
callFooMethod(fooImpl, 'A', 'world', (val) => console.log(val));
// 调用无回调版本，返回Promise<boolean>
const resB = callFooMethod(fooImpl, 'B', 456);
// 调用带回调版本，返回void
callFooMethod(fooImpl, 'B', 789, (val) => console.log(val));

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