TypeScript中返回抽象类派生类扩展类的函数报错问题排查

你遇到的问题是：当编写返回抽象类派生类的函数时，即使传入已实现所有抽象成员的子类，TypeScript仍提示Non-abstract class 'SayHelloDerived' does not implement all abstract members of 'Base'错误。

问题原因 #

你定义的函数参数类型new () => Base表示可直接实例化的Base类型构造函数，但TypeScript编译器无法在函数内部确认传入的DerivedBase是否已经完全实现了Base的抽象成员。它仅知道DerivedBase是Base的构造函数，但无法区分它是抽象类还是已实现的具体类，因此当你用非抽象类SayHelloDerived继承它时，编译器会默认假设DerivedBase可能存在未实现的抽象方法，从而抛出错误。

解决方案 #

方案1：使用抽象构造签名约束参数 #

将函数参数的类型改为abstract new () => Base，明确允许传入抽象类或已实现的具体类。此时传入Derived（具体类）不会报错，传入Base（抽象类）的错误会延迟到实例化阶段，符合你的预期。

修改后的代码：

abstract class Base {
  abstract getName(): string;
  printName() {
    console.log("a")
  }
}
class Derived extends Base {
  getName() {
    return "";
  }
}
function makeSayHelloDerived(DerivedBase: abstract new () => Base) {
  return class SayHelloDerived extends DerivedBase {
    sayHello() {
      console.log("hello!");
    }
  }
}

const Derived2 = makeSayHelloDerived(Derived);
const derived2 = new Derived2;
derived2.sayHello(); // 正常执行

const Derived3 = makeSayHelloDerived(Base);
const derived3 = new Derived3; // 此处报错：无法创建抽象类的实例，符合预期

方案2：用泛型约束确保传入具体类 #

如果希望严格限制只能传入已实现所有抽象成员的具体类，可以使用泛型约束，直接在函数调用阶段阻止传入抽象类：

abstract class Base {
  abstract getName(): string;
  printName() {
    console.log("a")
  }
}
class Derived extends Base {
  getName() {
    return "";
  }
}
function makeSayHelloDerived<T extends Base>(DerivedBase: new () => T) {
  return class SayHelloDerived extends DerivedBase {
    sayHello() {
      console.log("hello!");
    }
  }
}

const Derived2 = makeSayHelloDerived(Derived); // 正常
const derived2 = new Derived2;
derived2.sayHello();

const Derived3 = makeSayHelloDerived(Base); // 此处直接报错：抽象类Base无法分配给`new () => T`类型，符合预期

这个方案更严谨，提前拦截了传入抽象类的操作，避免后续潜在的实例化错误。

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