TypeScript泛型类初始化时commonFunc参数类型推断失效如何解决

问题原因 #

1. 泛型推断优先级问题：当前Controller的泛型定义中，Dependencies和BetterClass的推断顺序不合理，TS会优先尝试从第一个参数r推断泛型，当你传入原始对象格式的InitParams时，commonFunc的参数没有显式标注类型，TS无法反向推导Dependencies的实际类型，最终就会 fallback 到any。
2. 泛型缺少默认值：当你传入的是InitParams而非BaseClass子类实例时，BetterClass没有可推断的来源，会被默认推导为BaseClass<unknown>，进一步导致Dependencies的类型丢失。

修复方案 #

通过构造器重载 + 调整泛型默认值的方式即可解决，不需要修改核心实现逻辑：

type InitParams<Dependencies> = {
    commonFunc: ({ d, name }: { d: Dependencies; name: string }) => void;
    name: string;
};

class BaseClass<Dependencies> {
    commonFunc: ({ d, name }: { d: Dependencies; name: string }) => void;

    constructor(sig: InitParams<Dependencies>) {
        this.commonFunc = sig.commonFunc;
    }

    method() {}
}

class Controller<Dependencies, BetterClass extends BaseClass<Dependencies> = BaseClass<Dependencies>> {
    child: BetterClass;
    d: Dependencies;

    // 重载1：传入已实例化的BaseClass子类
    constructor(r: BetterClass, d: Dependencies);
    // 重载2：传入初始化参数
    constructor(r: InitParams<Dependencies>, d: Dependencies);
    constructor(r: BetterClass | InitParams<Dependencies>, d: Dependencies) {
        this.d = d
        if (r instanceof BaseClass) {
            this.child = r;
        } else {
            this.child = new BaseClass(r) as BetterClass;
        }
    }
}

// 现在类型自动推断正确
new Controller(
    {
        commonFunc: ({ d, name }) => {
            // d的类型为{ depends: boolean }, name的类型为string，无any
            console.log(d.depends, name.toUpperCase())
        },
        name: 'name',
    },
    { depends: true }
);

// 子类场景也能正常推导类型
class CustomClass extends BaseClass<{ depends: boolean }> {
    customMethod() {}
}
const customIns = new CustomClass({
    commonFunc: ({d, name}) => {},
    name: 'custom'
})
const controller2 = new Controller(customIns, {depends: true})
controller2.child.customMethod() // 可正常访问子类独有方法

修复说明 #

• 给BetterClass增加默认值BaseClass<Dependencies>，传入初始化参数时不需要手动指定泛型，会默认使用BaseClass类型
• 增加两个构造器重载分别对应两种入参场景，TS会优先匹配重载定义，自动从第二个参数d先推断出Dependencies的类型，再反向推导InitParams里commonFunc的参数类型
• 完全满足需求：两种入参场景都能自动推导类型，无需手动标注泛型，子类实例的额外属性/方法也能正常识别。

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