TypeScript继承类构造函数类型注解报错问题咨询

你定义的BaseCtor接口要求构造函数返回精确的Base类型，但子类Child的构造函数返回的是Child类型（尽管它继承自Base）。在TypeScript的类型检查逻辑中，这种精确类型匹配的要求会导致子类构造函数无法赋值给BaseCtor类型变量，尤其在严格类型检查模式下。

1. 使用父类构造函数的原生类型（typeof Base） #

子类构造函数的类型（typeof Child）天然继承自父类构造函数类型（typeof Base），直接使用该类型注解即可兼容：

class Base {}
class Child extends Base {}

let baseCtor: typeof Base = Base;
let childCtor: typeof Base = Child; // 无类型报错

2. 定义泛型构造函数接口 #

如果需要支持任意Base子类的构造函数，通过泛型明确构造函数返回Base的子类型，兼顾灵活性和类型安全：

class Base {}
class Child extends Base {}

interface BaseCtor<T extends Base> {
    new (): T;
}

// 精确匹配父类/子类
let baseCtor: BaseCtor<Base> = Base;
let childCtor: BaseCtor<Child> = Child;

// 接受任意Base子类的构造函数
let anyBaseSubclassCtor: BaseCtor<Base> = Child; // 兼容

3. 简洁的构造函数类型别名 #

若不需要泛型的灵活性，也可以用类型别名直接定义构造函数类型：

type BaseCtor = new () => Base;

let baseCtor: BaseCtor = Base;
let childCtor: BaseCtor = Child;

注意：如果Child包含Base没有的属性，开启严格类型检查时可能会报错，此时优先选择前两种方案。

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