如何在TypeScript父类中镜像子类的类方法参数？

问题核心 #

要求父类中不可重写的doIt方法，其参数校验规则完全镜像子类重写的handle方法，调用doIt时必须遵循子类handle的参数类型和数量要求。

原代码的局限性 #

你提供的原代码中，父类AbstractDoIt的doIt方法使用Parameters<this['handle']>试图获取handle的参数类型，但由于抽象类层面的this指向的是AbstractDoIt本身而非子类，因此Parameters解析出的是unknown[]，无法实现子类参数的精准校验。

可行解决方案：泛型约束抽象类 #

通过给抽象类添加泛型参数，明确绑定handle方法的参数类型，让父类的doIt方法直接复用该泛型类型，即可实现参数镜像。

修改后的代码如下：

// 泛型P代表handle方法的参数类型数组
export abstract class AbstractDoIt<P extends unknown[]> {
  // 抽象方法handle的参数直接使用泛型P
  protected abstract handle(...params: P): Promise<void> | void;

  // doIt方法复用泛型P作为参数类型，实现与handle的参数镜像
  public doIt(...handleParams: P): void {
    // 前置操作...
    this.handle(...handleParams);
    // 后置操作...
  }
}

// 子类继承时，TypeScript会自动推断泛型P为[string, number, boolean]
class HelloDoIt extends AbstractDoIt {
  protected async handle(a: string, b: number, c: boolean) {
    console.log('hello');
  }
}

验证效果 #

调用子类实例的doIt方法时，参数校验完全对齐handle方法：

const test = new HelloDoIt();
test.doIt(); // ❌ 报错：缺少3个必需参数
test.doIt("a", 1, null); // ❌ 报错：第三个参数应为boolean类型
test.doIt("a", 1, true); // ✅ 正常执行

可选增强：约束返回值 #

如果需要同时约束handle的返回值类型，可以添加第二个泛型参数：

export abstract class AbstractDoIt<P extends unknown[], R = void | Promise<void>> {
  protected abstract handle(...params: P): R;

  public doIt(...handleParams: P): void {
    const result = this.handle(...handleParams);
    // 可基于R类型做后续处理
    // 后置操作...
  }
}

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