TypeScript中如何实现abstract static抽象静态方法

TS 原生不支持abstract static语法，核心原因是静态成员挂载在类构造函数本身，不属于实例原型链，原生抽象类的校验逻辑只覆盖实例成员和类实例化约束，不会校验子类构造函数上的静态成员，直接写abstract static会抛出'static' modifier cannot be used with 'abstract' modifier.ts(1243)错误。
以下是几种可落地的变通方案，覆盖不同场景需求： #

方案1：编译时+运行时双校验（最贴近原生抽象类行为） #

通过构造函数类型约束做编译时提示，搭配装饰器做运行时兜底校验，和原生抽象类的校验行为最接近：

// 定义带静态方法要求的构造函数类型
type BaseCtor = new (...args: any[]) => Base;
type RequireStaticB = BaseCtor & { b(): any };

// 基类
abstract class Base {
  protected constructor() {}

  /**
   * 子类静态成员校验器，可封装为装饰器自动调用
   */
  static validateSubclass(ctor: RequireStaticB) {
    if (typeof ctor.b !== 'function') {
      throw new Error(`子类 ${ctor.name} 必须实现静态方法 b`);
    }
  }
}

// 正确实现的子类
class B extends Base {
  static b() {
    console.log('静态方法b的业务逻辑');
  }
}
Base.validateSubclass(B); // 校验通过

// 错误实现（漏写静态b），编译阶段直接报类型错误，运行时也会抛出异常
class BadSubClass extends Base {}
Base.validateSubclass(BadSubClass);

如果不想手动调用校验方法，可以把校验逻辑封装为类装饰器，子类声明时自动执行校验：

function ImplementsStaticB<T extends RequireStaticB>(ctor: T) {
  if (typeof ctor.b !== 'function') {
    throw new Error(`类 ${ctor.name} 缺少必填静态方法 b`);
  }
  return ctor;
}

@ImplementsStaticB
class C extends Base {
  static b() {}
}

方案2：仅需编译时校验的轻量写法 #

如果不需要运行时兜底，只要求开发阶段TS提示漏写静态成员，可以拆分静态、实例类型约束实现：

// 基类静态成员类型要求
interface BaseStatic {
  b(): any;
  new (): BaseInstance;
}
// 基类实例成员类型要求
interface BaseInstance {}

// 基类实现
const Base: BaseStatic = class Base {
  protected constructor() {}
} as BaseStatic;

// 子类继承时会自动校验静态成员是否符合要求，漏写b直接报类型错误
class D extends Base {
  static b() {}
}

方案3：TS 4.9+ 高版本极简写法 #

TS 4.9 版本新增satisfies运算符后，可以不用修改基类写法，直接在子类声明后追加一行校验即可：

abstract class Base {
  abstract instanceMethod(): void;
}
// 定义基类静态成员约束
type BaseStaticCheck = typeof Base & { b(): any };

class E extends Base {
  static b() {}
  instanceMethod() {}
}
// 追加这行做静态校验，漏写静态b会直接触发TS类型报错
E satisfies BaseStaticCheck;

注意事项 #

不推荐在基类写静态方法抛错的实现（比如基类静态b方法直接抛出必须子类实现的错误），这种写法只有运行时调用到方法才会报错，开发阶段没有任何类型提示，很容易把问题带到线上。

内容的提问来源于stack exchange，提问作者L. Pier Roberto