TypeScript 4.9.5升级导致泛型接口类型推断问题

错误原因 #

问题核心在于**Context<T>类型的不变性**，以及TypeScript 4.7+版本对函数参数逆变检查的收紧：

1. 尽管StateModel继承自BaseStateModel<Asset>，但Context<StateModel>与Context<BaseStateModel<Asset>>并不兼容。这是因为Context<T>中的setState方法包含输入类型参数（T | StateOperator<T>），而函数参数的类型遵循逆变原则——即若A extends B，接受B的函数无法接受A作为参数（反之亦然）。
2. 具体冲突点：
   • Context<BaseStateModel<Asset>>的setState接受BaseStateModel<Asset> | StateOperator<BaseStateModel<Asset>>类型参数
   • Context<StateModel>的setState仅接受StateModel | StateOperator<StateModel>类型参数
   • 当传入Context<StateModel>给期望Context<BaseStateModel<Asset>>的方法时，TypeScript会检查：是否能用BaseStateModel<Asset>类型的参数调用Context<StateModel>的setState？显然不行，因为BaseStateModel<Asset>缺少StateModel的stateValue属性，无法赋值给StateModel类型参数。
3. TypeScript 4.6.4版本未严格检测这种逆变冲突，但4.9.5版本的类型检查器修复了该疏漏，因此触发报错。

现有修复方案解析 #

你给doSomething添加泛型参数TState extends BaseStateModel<T>的方案之所以有效，是因为：

• 此时doSomething的参数类型变为Context<TState>，调用时TypeScript会将TState精确推断为StateModel，而非BaseStateModel<Asset>
• Context<StateModel>与参数类型完全匹配，绕过了协变/逆变的兼容性检查，自然不会报错。

更优解决方案 #

如果不想大规模修改代码，可以考虑以下两种方式：

方式1：局部类型断言（快速兼容） #

在调用super.doSomething时使用类型断言，明确告知TypeScript类型兼容（仅在你确认逻辑安全时使用）：

class State extends BaseState<Asset> {
  someMethod(ctx: Context<StateModel>): void {
    super.doSomething(ctx as unknown as Context<BaseStateModel<Asset>>);
  }
}

方式2：基类泛型约束（通用无侵入） #

保留基类通用性的同时，让doSomething接受任何继承自BaseStateModel<T>的Context类型，这和你找到的修复逻辑一致，但写法更通用：

abstract class BaseState<T> {
  doSomething<TState extends BaseStateModel<T>>(ctx: Context<TState>): void {
    const state = ctx.getState();
    console.log(state);
  }
}

该方案无需修改子类，所有继承BaseState的子类都可传入对应模型的Context，且类型检查依然严格。

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