TypeScript泛型处理区分联合类型时返回值类型报错排查

错误原因 #

你写的泛型约束<A extends Action>过于宽泛，TypeScript无法在switch的分支逻辑中追踪泛型参数A的具体类型。当你在case 'A1'分支返回handler1(a)时，TypeScript仍然认为A可能是Action2（因为泛型允许A是Action联合类型的任意子类型），因此会将返回类型HandlerMap[A['type']]解析为所有可能结果的交集Result1 & Result2。而Result1与Result2结构完全不兼容，自然触发类型错误。

解决方案 #

推荐两种高效的修复方式：

方式一：使用函数重载（最清晰的方案） #

通过定义函数重载签名，让TypeScript精准匹配每个Action对应的返回类型，无需额外类型断言：

type Action1 = { type: 'A1'; input: { i: string } }
type Result1 = { result: string }
const handler1 = (a: Action1): Result1 => ({ result: a.input.i + '!' })

type Action2 = { type: 'A2'; input: { x: number } }
type Result2 = { result: { r2: number } }
const handler2 = (a: Action2): Result2 => ({ result: { r2: a.input.x + 1 } })

type Action = Action1 | Action2

type HandlerMap = {
  A1: Result1
  A2: Result2
}

// 定义重载签名，明确每个输入对应的输出类型
function handler(a: Action1): Result1;
function handler(a: Action2): Result2;

// 实现函数逻辑
function handler(a: Action): HandlerMap[Action['type']] {
  switch (a.type) {
    case 'A1':
      return handler1(a)
    case 'A2':
      return handler2(a)
    default:
      throw new Error(`未知动作类型: ${a.type}`)
  }
}

// 调用示例：类型推断正常
const res1 = handler({ type: 'A1', input: { i: 'test' } }) // res1类型为Result1
const res2 = handler({ type: 'A2', input: { x: 5 } })     // res2类型为Result2

方式二：移除泛型，配合类型断言 #

如果不想用重载，可以直接使用联合类型作为参数，返回类型设为HandlerMap[Action['type']]，并在分支中添加类型断言：

const handler = (a: Action): HandlerMap[Action['type']] => {
  switch (a.type) {
    case 'A1':
      return handler1(a) as HandlerMap[Action['type']]
    case 'A2':
      return handler2(a) as HandlerMap[Action['type']]
    default:
      throw new Error(`未知动作类型: ${a.type}`)
  }
}

补充说明 #

原泛型写法的核心问题在于：TypeScript无法在分支中缩小泛型参数的范围，只能假设A是整个Action联合类型，因此要求返回值必须满足所有可能的结果类型（即交集）。而函数重载通过明确的输入输出映射，让TypeScript能够精准推断每个调用的返回类型，是这类场景的最优解。

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