如何让TypeScript推断动态类方法的特定参数类型？

核心思路是给每种Item类型加上明确的区分标识，再通过类型安全的状态类注册表或函数重载，让TypeScript能精准关联Item类型与对应状态类，避免联合类型的推断错误。

步骤1：给Item接口添加类型区分字段 #

先给基接口IItem加一个type字段，作为不同Item类型的唯一标识，这是TypeScript做类型窄化的关键：

interface IItem {
  id: string;
  type: 'flavorA' | 'flavorB'; // 区分不同Item类型的标识
}

interface IItemFlavorA extends IItem {
  type: 'flavorA'; // 固定为flavorA，实现类型窄化
  flavorASpecificProp: number;
}

interface IItemFlavorB extends IItem {
  type: 'flavorB'; // 固定为flavorB
  flavorBSpecificProp: string;
}

步骤2：定义与Item类型强绑定的状态类 #

让每个状态类明确只处理对应的Item类型，通过泛型接口约束：

interface IItemState<T extends IItem> {
  isActive(item: T): boolean;
}

class ItemStateFlavorA implements IItemState<IItemFlavorA> {
  isActive(item: IItemFlavorA): boolean {
    return item.flavorASpecificProp > 0; // 直接使用A类型专属属性
  }
}

class ItemStateFlavorB implements IItemState<IItemFlavorB> {
  isActive(item: IItemFlavorB): boolean {
    return item.flavorBSpecificProp.length > 0; // 直接使用B类型专属属性
  }
}

步骤3：类型安全的状态类注册表+调用函数 #

创建全局状态实例的注册表（确保单例，避免重复实例化），再写一个带类型推断的调用函数，让TS自动匹配Item与状态类：

// 全局状态注册表（单例模式）
const itemStateRegistry = {
  flavorA: new ItemStateFlavorA(),
  flavorB: new ItemStateFlavorB(),
};

// 类型安全的调用函数，通过Item的type字段自动匹配对应状态类
function isItemActive<T extends IItem>(item: T): boolean {
  const state = itemStateRegistry[item.type] as IItemState<T>;
  return state.isActive(item);
}

替代方案：函数重载 #

如果不想用注册表，也可以通过函数重载让TS直接推断状态类类型：

// 重载定义：传入不同Item类型返回对应状态类
function getState(item: IItemFlavorA): ItemStateFlavorA;
function getState(item: IItemFlavorB): ItemStateFlavorB;
// 实现逻辑
function getState(item: IItem): IItemState<IItem> {
  switch(item.type) {
    case 'flavorA':
      return itemStateRegistry.flavorA;
    case 'flavorB':
      return itemStateRegistry.flavorB;
  }
}

// 调用示例：TS自动推断状态类类型
const itemA: IItemFlavorA = { id: 'a1', type: 'flavorA', flavorASpecificProp: 10 };
const stateA = getState(itemA); // 推断为ItemStateFlavorA
stateA.isActive(itemA); // 类型完全匹配，无错误

const itemB: IItemFlavorB = { id: 'b1', type: 'flavorB', flavorBSpecificProp: 'active' };
const stateB = getState(itemB); // 推断为ItemStateFlavorB
stateB.isActive(itemB); // 类型完全匹配

为什么这能解决问题？ #

通过Item的type字段做类型窄化，加上注册表/重载的类型关联，TypeScript能在编译期确定传入的Item是IItemFlavorA还是IItemFlavorB，而不是模糊的联合类型，自然就能匹配对应状态类的方法参数类型，避免出现IItemFlavorA | IItemFlavorB无法赋值给IItemFlavorA & IItemFlavorB的错误。

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