TypeScript中switch匹配联合类型type属性时无法正确识别成员类型

问题原因 #

你的联合类型无法自动收窄的核心原因是不符合可辨识联合的要求：作为判别标识的公共type字段，所有联合类型成员的该字段必须是唯一的字面量类型，不能是宽泛的string类型。
你当前代码中ItemWithValue的type字段类型为string，范围包含了"ItemWithName"，因此TypeScript无法通过switch(item.type)的判断完成类型收窄。

解决方法 #

1. 修正所有联合类型成员的type字段为固定的唯一字符串字面量类型：

type ItemWithName = {
  type: "ItemWithName";
  name: string;
  a: { name: string } ;
};

type ItemWithValue = {
  type: "ItemWithValue"; // 此处将string改为固定字面量，作为类型判别标识
  name: string;
  b: { value: number } ;
};

export type Item = ItemWithName | ItemWithValue;

2. 可选优化：为函数添加穷尽性检查兜底分支，后续新增联合成员时会自动抛出编译错误提醒补全逻辑，避免漏处理：

const extractValue = (item: Item) => {
  switch (item.type) {
    case "ItemWithName":
      return item.a.name; // 此时TS自动将item收窄为ItemWithName类型，可正常访问a属性
    case "ItemWithValue":
      return item.b.value; // 自动收窄为ItemWithValue类型，可正常访问b属性
    default:
      // 穷尽性检查，新增Item联合成员时此处会编译报错
      const _exhaustiveCheck: never = item;
      throw new Error(`未处理的item类型: ${(_exhaustiveCheck as Item).type}`);
  }
};

如果你的真实场景有更多同类联合成员，只需保持每个成员的type字段为唯一的字符串字面量，即可正常通过switch分支实现类型自动收窄，无需额外类型断言，完全类型安全。

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