如何声明仅允许抽象类继承的基类？附TypeScript代码示例

想要让Poly这个抽象基类只允许抽象类继承，甚至禁止非抽象类通过抽象子类间接继承它，在TypeScript里是可以实现的，我给你两种互补的方案，兼顾编译时检查和运行时兜底：

一、编译时约束（推荐） #

利用TypeScript对抽象构造函数类型的检查，在Poly中添加一个静态属性，强制所有子类必须是抽象类。这样非抽象子类在编译阶段就会直接报错，从源头阻止问题：

abstract class Entity {} // 假设你的Entity基类是这样的

abstract class Poly extends Entity {
  kind?: string;

  protected constructor() {
    super();
    this.kind = this.constructor.name;
  }

  // 核心：用抽象构造函数类型约束子类必须是抽象类
  protected static readonly _assertAbstract: abstract new (...args: any[]) => any = this as any;
}

// ✅ 合法：抽象类继承Poly完全没问题
abstract class Asset extends Poly {}

// ❌ 编译错误：类型“typeof Security”不符合抽象构造函数的约束
class Security extends Asset {}

// ❌ 同样编译错误
class Bond extends Asset {}

原理很简单：TypeScript会把抽象类的构造函数类型标记为abstract new (...args: any[]) => any，而非抽象类的构造函数类型没有abstract修饰符。我们通过_assertAbstract属性的类型约束，让只有抽象类的this（即类的构造函数）能通过类型检查，非抽象子类继承时会直接触发编译错误。

二、运行时兜底检查（可选） #

如果担心有人通过类型断言等方式绕过编译检查，还可以在Poly的构造函数里添加运行时验证，确保实例化的类是抽象类：

abstract class Entity {}

abstract class Poly extends Entity {
  kind?: string;

  protected constructor() {
    super();
    this.kind = this.constructor.name;

    // 运行时校验：解析类的字符串表示判断是否为抽象类
    const classDeclaration = this.constructor.toString();
    if (!classDeclaration.startsWith('abstract class')) {
      throw new Error(`错误：${this.constructor.name} 不能继承Poly，仅允许抽象类继承`);
    }
  }

  // 保留编译时约束
  protected static readonly _assertAbstract: abstract new (...args: any[]) => any = this as any;
}

abstract class Asset extends Poly {}

// 即使强行用类型断言绕过编译，运行时会直接抛出错误
const invalidInstance = new (Asset as any)(); // 抛出Error

这个运行时检查的原理是通过类的toString()方法获取类的声明字符串，判断是否以abstract class开头。虽然代码压缩可能会影响这个判断，但作为兜底措施已经足够应付大部分场景。

总结 #

两种方案结合起来，既能在开发阶段通过编译检查快速发现问题，又能在运行时防止异常情况，完美满足你“仅允许抽象类继承Poly”的需求。

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