TypeScript泛型问题：接口存泛型类引用实例化时类型报错

问题原因 #

代码报错的核心是：泛型T被约束为typeof A的子类型，但TypeScript无法确保T一定等于typeof A。当调用无参数的testing()时，T可能被推断为任意typeof A的子类型（比如typeof B），此时typeof A类型的构造函数无法赋值给属于子类型的T，导致类型不兼容。

解决方案1：给泛型指定默认类型 #

修改泛型定义，给T设置默认类型typeof A。这样当没有传入config参数时，T会自动使用默认类型，此时赋值{class: A}完全符合类型要求：

class A {
    helloworld() {
        console.log('hello world a')
    }
}

interface IConfig<T extends typeof A> {
    class: T
}

// 为泛型T添加默认类型typeof A
function testing<T extends typeof A = typeof A>(config?: IConfig<T>) {
    if (config === undefined) {
        // 类型断言确保TypeScript识别赋值的类型兼容性
        config = { class: A } as IConfig<T>;
    }

    const thisClass = new config.class();
    thisClass.helloworld();
}

testing();

class B extends A {
    helloworld() {
        console.log('hello world b')
    }
}

testing({ class: B })

解决方案2：重构泛型为实例类型（更直观） #

将泛型约束从构造函数类型改为实例类型，让类型逻辑更清晰，同时避免构造函数类型的兼容性问题：

class A {
    helloworld() {
        console.log('hello world a')
    }
}

// 泛型T约束为A的实例，config的class是返回T的构造函数
interface IConfig<T extends A> {
    class: new () => T;
}

// 默认泛型为A，无参数时使用A的构造函数
function testing<T extends A = A>(config?: IConfig<T>) {
    // 优先使用传入的构造函数，否则用A
    const targetClass = config?.class || A;
    const instance = new targetClass();
    instance.helloworld();
}

testing();

class B extends A {
    helloworld() {
        console.log('hello world b')
    }
}

testing({ class: B })

说明 #

方案1保留了原代码的泛型思路，通过默认类型和类型断言解决赋值问题；方案2重构了泛型逻辑，将关注点放在实例类型上，代码可读性更强，同时避免了构造函数类型的兼容性陷阱。

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