TypeScript递归泛型问题：类工厂继承自引用报错解析

我想实现一个类工厂函数，用来给其他类自动添加功能。继承这个工厂的类需要把自身作为泛型参数传入，同时扩展工厂返回的类。原本功能正常，但在添加了要求所有继承类必须实现的Initialisable接口（包含init方法）后，测试代码class Job extends Factory<Job>() { async init() {} }触发了两个错误：

• 'Type 'Job' recursively references itself as a base type.'
• 'Job' is referenced directly or indirectly in its own base expression'

我已经通过把工厂生成的类改成抽象类并添加抽象init方法实现了预期功能，但想搞明白为什么用接口会触发这个错误。

触发错误的工厂函数代码 #

interface Initialisable {
    init(): void | Promise<void>;
}

export default function Factory<T extends Initialisable>() {
    return class Factory {
        static instanceList: T[] = [];
        static createCount: number = 0;

        static create(): T {
            const instance =  new this();
            (instance as any).id = this.createCount++;

            (this as any).init();
            
            //@ts-ignore
            this.instanceList.push(instance);
            
            //@ts-ignore
            return instance;
        }

        static createList(amount = 0): T[] {
            const instanceList: T[] = [];

            for (let i=0; i<amount; i++) instanceList.push(this.create());

            return instanceList;
        }

        public readonly id = 0;

        public destroy(): void {
            (this.constructor as any).instanceList.splice((this.constructor as any).instanceList.indexOf(this), 1);
        }

    }
}

解决后的工厂函数代码 #

export default function Factory<T>() {
abstract class Factory {
    
    // 原有功能代码省略
    
    abstract init(): void | Promise<void>;
    
    // 原有功能代码省略

}

return Factory;
}

错误原因解析 #

这个递归类型错误的核心是TypeScript的类型推断循环：

1. 当你写class Job extends Factory<Job>()时，TypeScript需要先确定Factory<Job>的返回类型，而Factory的泛型参数T被约束为Initialisable，这意味着TypeScript得先确认Job是否符合Initialisable接口。
2. 但Job的定义依赖于Factory<Job>的返回类作为父类，而Factory<Job>又需要知道Job满足Initialisable——这就形成了循环依赖：TypeScript无法先确定Job的类型，也无法先确定Factory<Job>的返回类型，所以抛出递归引用错误。

而改用抽象类的方式时：

• 抽象类的abstract init()是直接在父类中定义的强制要求，不需要通过泛型参数来约束子类类型。
• 此时Factory<T>的泛型参数不再依赖子类实现某个接口，TypeScript可以先解析出工厂返回的抽象类类型，再让Job继承这个抽象类并实现init方法，不会形成类型推断的循环。

另外补充一点：原代码中Factory的create方法里new this()返回的是工厂类的实例，却要断言为T，本身就存在类型不匹配的隐患，而抽象类的方式让子类必须实现init，同时类型推断路径更清晰，避免了这种循环。

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