能否通过类型定义重载整个TypeScript类？

好问题！在TypeScript里，我们没法直接重载整个类——也就是定义两个同名类（一个带泛型、一个不带），因为类作为运行时的值会互相覆盖。不过我们可以通过泛型的灵活设计，让同一个基类根据是否传入泛型参数，表现出你想要的两种构造行为，完美满足你的需求。

方案1：用条件类型实现构造函数的动态要求 #

我们可以给泛型参数设置默认类型，再通过条件类型判断是否需要传入payload参数：

export abstract class OtherClass { /* 这里是你的OtherClass接口/类定义 */ }

export abstract class MyClass<T = never> implements OtherClass {
  readonly foo: any; // 根据实际业务定义具体类型
  static get bar(): string { return "bar"; }

  // 条件构造函数：当未指定泛型（T为never）时，不需要参数；指定泛型时，必须传payload
  constructor(...args: T extends never ? [] : [payload: T]) {
    // 初始化foo的逻辑
    if (args.length > 0) {
      // 可选：处理payload的公共逻辑（如果是抽象类，也可以留给子类实现）
    }
  }
}

// 不带泛型的子类：无需自定义构造函数，继承无参构造
abstract class NoPayloadClass extends MyClass {
  // 这里可以添加子类自己的逻辑
}

// 带泛型的子类：必须传入payload，继承有参构造
abstract class MyPayloadClass<T> extends MyClass<T> {
  constructor(public readonly payload: T) {
    super(payload); // 调用父类的有参构造
    // 子类专属逻辑
  }
}

这个方案的核心是利用T extends never ? [] : [payload: T]这个条件类型，动态决定构造函数的参数列表。当你不指定泛型时，T取默认值never，构造函数不需要参数；当你传入泛型类型时，构造函数强制要求传入对应类型的payload。

方案2：用构造函数重载签名 #

如果更倾向于明确的重载语义，也可以给类的构造函数定义多个重载签名，再统一实现：

export abstract class OtherClass { /* 你的OtherClass定义 */ }

export abstract class MyClass<T = unknown> implements OtherClass {
  readonly foo: any;
  static get bar(): string { return "bar"; }

  // 重载签名1：未指定泛型时的无参构造
  constructor();
  // 重载签名2：指定泛型时的有参构造
  constructor(payload: T);
  // 统一实现签名
  constructor(payload?: T) {
    // 初始化foo的逻辑
    if (payload !== undefined) {
      // 处理payload的公共逻辑
    }
  }
}

// 不带泛型的子类
abstract class NoPayloadClass extends MyClass {
  constructor() {
    super(); // 调用无参构造
  }
}

// 带泛型的子类
abstract class MyPayloadClass<T> extends MyClass<T> {
  public readonly payload: T;
  constructor(payload: T) {
    super(payload); // 调用有参构造
    this.payload = payload;
  }
}

这种方式通过构造函数重载，明确区分了两种使用场景，可读性更强，同样能达到你想要的效果：不带泛型时无需传参，带泛型时必须传入对应参数。

关键说明 #

TypeScript本身不支持“类重载”（即同名类的多定义），因为类是运行时存在的值，同名会导致覆盖。但通过上面的泛型+条件类型/构造函数重载，我们可以模拟出你需要的“类根据泛型有无表现不同行为”的效果，完全满足你的业务需求。

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