TypeScript动态接口调用参数类型报错问题求助

问题原因 #

你的代码在新版TypeScript中报错，核心原因是泛型约束的类型检查被强化：

• 虽然TMethod被约束为FunctionPropertyNames<TServer>（即TServer中所有函数属性的名称），但TypeScript在泛型上下文里无法直接确认TServer[TMethod]必然是一个函数类型。
• 当你尝试用Parameters<TCall>和ReturnType<TCall>时，TS需要TCall满足(...args: any) => any的约束，但旧版代码里的TCall extends TServer[TMethod]并没有明确这一点，导致类型推导失败。

解决方案 #

可以通过两种方式修复：

方案1：简化泛型参数，直接推导函数类型 #

去掉冗余的TParameters和TReturn泛型，同时明确约束TServer[TMethod]为函数类型：

interface NotifyServer {
    Register(channel: number): boolean;
}

// 提取对象中所有函数属性的名称
type FunctionPropertyNames<T> = {
    [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
}[keyof T];

abstract class AbstractTestService<TServer>{
    public testInvoke<
    TMethod extends FunctionPropertyNames<TServer>,
    // 明确约束TCall为函数类型
    TCall extends (...args: any[]) => any = TServer[TMethod]
    >(method: TMethod, ...args: Parameters<TCall>): Promise<ReturnType<TCall>> {
       // 类型断言确保Promise返回值符合要求
       return new Promise(() => console.log("test")) as Promise<ReturnType<TCall>>;
    }
}

class TestService extends AbstractTestService<NotifyServer> implements NotifyServer {
    public Register(channel: number): boolean {
        this.testInvoke('Register', 1);
        return true;
    }
}

方案2：新增类型别名明确函数属性类型 #

通过FunctionPropertyType类型别名，提前确认TServer中指定属性是函数类型：

interface NotifyServer {
    Register(channel: number): boolean;
}

type FunctionPropertyNames<T> = {
    [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
}[keyof T];

// 提取指定属性对应的函数类型
type FunctionPropertyType<T, K extends FunctionPropertyNames<T>> = 
    T[K] extends (...args: any[]) => any ? T[K] : never;

abstract class AbstractTestService<TServer>{
    public testInvoke<
    TMethod extends FunctionPropertyNames<TServer>,
    TCall extends FunctionPropertyType<TServer, TMethod>
    >(method: TMethod, ...args: Parameters<TCall>): Promise<ReturnType<TCall>> {
       return new Promise(() => console.log("test")) as Promise<ReturnType<TCall>>;
    }
}

class TestService extends AbstractTestService<NotifyServer> implements NotifyServer {
    public Register(channel: number): boolean {
        this.testInvoke('Register', 1);
        return true;
    }
}

关键说明 #

两种方案的核心都是让TypeScript明确知道TServer[TMethod]是一个函数类型，从而让Parameters和ReturnType工具类型可以正常工作。新版TS对泛型的类型安全性要求更高，需要显式消除类型不确定性。

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