如何用TypeScript实现Manager.call方法的编译时类型校验？

问题背景 #

现有一组继承自Base类的组件，Manager类负责调用组件的指定方法，要求在编译时实现：

1. 校验方法名是否存在于组件中
2. 校验调用参数的数量与类型是否匹配
3. 校验方法返回值的类型

原实现使用any类型跳过了所有类型检查，无法满足需求。

解决方案 #

通过结合InstanceType、Parameters和ReturnType三个TypeScript内置泛型，可实现完整的类型安全校验。调整后的call方法实现如下：

class Base {}

class Manager {
  static call<
    C extends typeof Base,
    M extends keyof InstanceType<C>
  >(
    component: C,
    method: M,
    ...args: InstanceType<C>[M] extends (...args: any[]) => any 
      ? Parameters<InstanceType<C>[M]> 
      : never
  ): InstanceType<C>[M] extends (...args: any[]) => any 
    ? ReturnType<InstanceType<C>[M]> 
    : never {
    // 调用组件实例的方法（注意展开args参数）
    return (component.prototype[method] as any)(...args);
  }
}

代码解释 #

1. 泛型约束：

   • C extends typeof Base：确保传入的component是Base类的构造函数
   • M extends keyof InstanceType<C>：约束method必须是组件实例上存在的属性/方法名
   • 通过InstanceType<C>[M] extends (...args: any[]) => any的条件判断，确保M对应的是一个方法而非普通属性

2. 参数校验：

   • ...args: Parameters<InstanceType<C>[M]>：利用Parameters泛型提取组件方法的参数类型，强制调用时传入匹配的参数

3. 返回值校验：

   • 返回值类型设为ReturnType<InstanceType<C>[M]>，确保调用方能获取正确的返回值类型

测试示例 #

定义一个继承自Base的组件：

class A extends Base {
  foo(str: string, ...nums: number[]): string {
    return `${str}: ${nums.join(',')}`;
  }

  bar(num: number): boolean {
    return num > 0;
  }
}

正确调用（编译通过）

// 调用A的foo方法，参数类型匹配
const fooResult = Manager.call(A, 'foo', 'hello', 1, 2, 3);
// fooResult类型为string

// 调用A的bar方法，参数类型匹配
const barResult = Manager.call(A, 'bar', 5);
// barResult类型为boolean

错误调用（编译报错）

// 错误：第一个参数应为string，传入了number
Manager.call(A, 'foo', 123, 1, 2);

// 错误：bar方法需要1个参数，传入了0个
Manager.call(A, 'bar');

// 错误：组件A不存在名为'baz'的方法
Manager.call(A, 'baz');

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