TypeScript区分联合类型与类型转换：changeApiVersion函数无法正确缩小返回类型的原因

这个问题的核心在于TypeScript的类型系统没办法自动追踪两个独立联合类型参数之间的逻辑关联——它没办法知道apiBodyInput的版本和targetVersion的组合会对应唯一的返回类型，所以只能把所有可能的返回结果合并成InputA | InputB联合类型，哪怕每个分支里的类型是明确的。

具体原因 #

当你定义函数时，TypeScript会分析所有分支的返回类型，然后取它们的并集作为整个函数的返回类型。虽然在每个switch分支里，TypeScript能根据当前的targetVersion或apiBodyInput.version推断出单一返回类型，但它不会把两个参数的联合类型做交叉推导——也就是说，它不会考虑“当apiBodyInput是InputB且targetVersion是4时返回InputA”这种具体的组合情况，只会看到“可能返回InputA，也可能返回InputB”。

解决方法：用泛型+条件类型明确类型映射 #

要让TypeScript能准确推断返回类型，我们需要把apiBodyInput和targetVersion的类型关联关系编码到类型系统里，这可以通过泛型和条件类型实现：

1. 首先定义一个条件类型，描述输入类型和目标版本对应的输出类型：

type ConvertVersion<T extends BaseInput, V extends '3' | '4'> = 
  // 如果输入是InputA，根据目标版本返回对应类型
  T extends InputA ? (V extends '4' ? InputA : InputB) :
  // 如果输入是InputB，根据目标版本返回对应类型
  T extends InputB ? (V extends '3' ? InputB : InputA) :
  never;

2. 然后把函数改成泛型函数，让TypeScript追踪每个调用的具体参数类型，并返回对应的目标类型：

export function changeApiVersion<
  T extends InputA | InputB,
  V extends '3' | '4'
>(apiBodyInput: T, targetVersion: V): ConvertVersion<T, V> {
  if(apiBodyInput.version !== '3' && apiBodyInput.version !== '4'){
    return assertNever(apiBodyInput) as never;
  }
  switch(targetVersion) {
    case '4':
      return (apiBodyInput.version === '3' 
        ? convert3to4(apiBodyInput as InputB) 
        : apiBodyInput) as ConvertVersion<T, V>;
    case '3':
      return (apiBodyInput.version === '4' 
        ? convert4to3(apiBodyInput as InputA) 
        : apiBodyInput) as ConvertVersion<T, V>;
    default:
      return assertNever(targetVersion) as never;
  }
}

现在当你调用函数时，TypeScript就能准确推断返回类型了：

// 此时myFoo的类型是string，没有类型错误
const myFoo = changeApiVersion({version: '3', bar: 'sad clown noise'}, 4).foo;

补充说明 #

• 这里的类型断言（as ConvertVersion<T, V>）是因为TypeScript的控制流分析没办法完全跟上泛型和条件类型的逻辑，需要我们帮它确认返回值符合定义的类型。
• 这种方式的核心是把“输入类型+目标版本”和“输出类型”的映射关系明确告诉TypeScript，让它能根据具体的调用参数推断出唯一的返回类型。

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