TypeScript：如何通过对象映射实现联合类型的类型收窄？

问题原因 #

直接写takers[thing.type](thing)会报错，核心原因是TypeScript对联合类型的处理逻辑限制：

• thing是A | B | C联合类型，thing.type会被推断为'A' | 'B' | 'C'联合字面量
• 此时takers[thing.type]会被推断成所有处理函数的联合：((input:A)=>void) | ((input:B)=>void) | ((input:C)=>void)
• 联合函数的调用规则是：参数必须是所有函数参数类型的交集，但A & B & C是空类型，显然thing不满足这个条件，因此触发类型错误。

而switch分支能正常工作，是因为每个case里TypeScript会把thing收窄为具体的A/B/C类型，此时takers[thing.type]也会被收窄为对应的单个函数，参数完全匹配。

解决方案 #

方法一：固定takers类型 + 类型断言（简单直接） #

先给takers加上as const让TypeScript保留精确的字面量类型，再通过断言明确函数与参数的匹配关系：

const takers = {
  A: aTaker,
  B: bTaker,
  C: cTaker,
} as const; // 固定类型，保留每个key对应的精确函数类型

things.forEach((thing) => {
  // 断言当前处理函数可接收当前thing类型
  (takers[thing.type] as (input: typeof thing) => void)(thing);
});

这种写法简洁，但需要你保证takers和Thing联合类型的映射完全无遗漏，后续新增类型时若忘记更新takers，编译不会报错，存在一定风险。

方法二：泛型函数做类型安全分发（类型安全首选） #

通过定义类型映射和泛型函数，让TypeScript自动关联type字段与对应类型：

// 明确type字符串到对应类型的映射
type ThingMap = {
  A: A;
  B: B;
  C: C;
};

// 泛型处理函数，自动推导type与参数类型的匹配关系
function takeThing<T extends keyof ThingMap>(thing: ThingMap[T]) {
  takers[T](thing);
}

things.forEach(takeThing);

这里ThingMap明确了每个type对应的具体类型，takeThing的泛型参数会自动匹配thing的type，确保处理函数的参数类型完全对应。后续新增Thing子类型时，若未更新ThingMap或takers，编译会直接报错，类型安全性拉满。

方法三：穷尽性检查（可选，避免遗漏） #

如果想确保后续新增类型时不会漏掉对应的处理函数，可以加一个穷尽性检查函数：

function assertNever(value: never): never {
  throw new Error(`Unexpected value: ${value}`);
}

things.forEach((thing) => {
  const taker = takers[thing.type as keyof typeof takers];
  if (taker) {
    taker(thing as ThingMap[keyof ThingMap]);
  } else {
    assertNever(thing); // 若有遗漏的类型，此处会触发编译报错
  }
});

只要新增了Thing的子类型但未更新takers，assertNever(thing)就会报错，强制你补充对应的处理函数。

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