TypeScript抽象基类子类注册的优雅类型定义方案咨询

你的核心需求是在抽象基类中注册子类，同时让注册后的类型具备准确的类型校验能力，避免用any导致类型检查失效。下面是一套优雅的实现方案：

关键优化点 #

• 定义精准的子类构造函数类型，替代模糊的any
• 优化基类静态属性与方法的类型约束，确保注册逻辑的类型安全
• 利用类型映射实现子类与类型枚举的精准绑定

完整实现代码 #

enum ATypes {
    TYPE1 = 'type1'
}

// 定义子类构造函数的类型：必须继承A，且带有static type属性
type SubclassA = typeof A & {
    readonly type: ATypes;
    new(...args: any[]): A;
};

// 定义类型枚举到具体子类构造函数的映射
type AConstructorMap = {
    [ATypes.TYPE1]: typeof Type1A;
};

abstract class A {
    // 用Partial允许初始为空对象，后续注册填充
    static readonly types: Partial<AConstructorMap> = {};
    static readonly type: ATypes;

    // 限制注册的必须是符合SubclassA类型的子类
    static register(cls: SubclassA) {
        this.types[cls.type] = cls;
    }

    public prop1: string;
    constructor(prop1: string) {
        this.prop1 = prop1;
    }
}

class Type1A extends A {
    static readonly type = ATypes.TYPE1;
    public prop2: string;

    constructor(prop1: string, prop2: string) {
        super(prop1);
        this.prop2 = prop2;
    }
}

A.register(Type1A);

// 此时AType会被推断为typeof Type1A，而非any
const AType = A.types[ATypes.TYPE1];
if (AType) {
    // 参数类型正确，正常通过
    const instance = new AType('prop1', 'prop2');
    // 参数类型错误，会触发TypeScript编译报错
    // const badInstance = new AType(10, 11);
}

效果说明 #

• 注册逻辑会自动校验子类是否符合要求（必须继承A且带有static type属性）
• 从A.types中获取的子类构造函数会被推断为具体的子类类型，实例化时会严格校验参数类型
• 避免了any带来的类型安全隐患，同时保持了代码的扩展性（新增子类时只需更新ATypes和AConstructorMap）

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