TypeScript泛型过度推断导致实例方法参数类型缺失如何解决

问题表现 #

定义支持泛型扩展的类层级时，TypeScript会在实例化阶段根据构造函数传入的参数收窄泛型类型，忽略预先定义的泛型约束规则。
复现代码如下：

interface classAOptions {
    optionA?: string
}

abstract class Base<TOptions extends classAOptions = classAOptions> {
    protected options: TOptions;

    constructor(options: TOptions) {
        this.options = options;
    }

    updateOptions(options: Partial<TOptions>) {}
}

interface classBOptions extends classAOptions {
    optionB?: string
}

class Extending<TOptions extends classBOptions = classBOptions> extends Base<TOptions> {
    constructor(options: TOptions) {
        super(options);
    }
}

const bInstance = new Extending({
    optionB: 'test'
});

// 此处类型校验报错，无法识别classAOptions中定义的optionA属性
bInstance.updateOptions({
    optionA: 'something else'
});

上述代码中，TypeScript将bInstance的泛型参数推断为仅包含optionB属性的对象类型，导致继承自基类的updateOptions方法入参仅接受optionB属性，无法识别约束中定义的optionA属性。

预期目标 #

• 调用实例的updateOptions方法时，允许传入对应层级Options接口定义的全部属性，实例化阶段未传入的可选属性，后续更新时也可以正常设置
• 不需要在子类中重写updateOptions方法即可满足类型要求

实现方案 #

仅需调整基类和子类构造函数的参数类型，通过交叉类型打断TypeScript的过度类型收窄逻辑即可，不需要修改其他业务逻辑：

interface classAOptions {
    optionA?: string
}

abstract class Base<TOptions extends classAOptions = classAOptions> {
    protected options: TOptions;

    // 构造参数增加 & {} 交叉类型，阻止泛型被字面量过度收窄
    constructor(options: TOptions & {}) {
        this.options = options;
    }

    updateOptions(options: Partial<TOptions>) {}
}

interface classBOptions extends classAOptions {
    optionB?: string
}

class Extending<TOptions extends classBOptions = classBOptions> extends Base<TOptions> {
    // 子类构造参数同步修改
    constructor(options: TOptions & {}) {
        super(options);
    }
}

const bInstance = new Extending({
    optionB: 'test'
});

// 此时可以正常识别optionA、optionB属性，无类型报错
bInstance.updateOptions({
    optionA: 'something else',
    optionB: 'updated'
});

该修改仅在类型层面生效，不会产生额外的运行时代码：& {}会告诉TypeScript不要将传入的字面量对象直接作为泛型的最终类型，而是匹配泛型的约束边界做类型扩展，完全保留泛型原有的扩展能力。

方案验证 #

• 实例化后调用updateOptions，入参支持所有约束内定义的可选属性，符合预期
• 子类无需重写updateOptions方法，直接继承基类方法即可获得正确类型
• 传入自定义扩展的Options类型时，泛型推导依然可以正常工作，不会丢失自定义属性的类型提示

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