TypeScript联合函数参数变为never的原因及合规解决方案

代码背景 #

先看一下相关的类型定义与回调对象实现：

基础接口定义 #

interface Type1 { type: 'key1', name: string }
interface Type2 { type: 'key2', description: string, name: string }
interface Type3 { type: 'key3', cost: number }

类型映射与联合类型 #

interface TypeMap {
   key1: Type1,
   key2: Type2,
   key3: Type3
}

type TypeElement = Type1 | Type2 | Type3

回调函数对象 #

const allTypes: { [key in keyof TypeMap]: (record: TypeMap[key]) => void } = {
   key1: (record) => {},
   key2: (record) => {},
   key3: (record) => {},
}

问题场景 #

当尝试将TypeElement类型变量传入对应回调时，触发类型错误：

const func = (record: TypeElement) => {
   const cb = allTypes[record.type]
   return cb(record)
}

错误信息 #

Argument of type 'TypeElement' is not assignable to parameter of type 'never'.
The intersection 'Type1 & Type2 & Type3' was reduced to 'never' because property 'type' has conflicting types in some constituents.
Type 'Type1' is not assignable to type 'never'.

错误原因 #

TypeScript对联合函数的调用有明确规则：联合函数的调用参数必须是所有函数参数类型的交集。这里cb的类型是三个回调函数的联合，它的参数需要同时满足Type1、Type2、Type3的交集，但这三个类型的type属性是互斥的字面量类型，导致交集直接缩减为never，自然无法接受TypeElement类型的参数。

更本质的问题是：TypeScript无法跟踪record.type和cb之间的类型关联——它只知道cb是三个回调的联合，没法推断出当前的cb恰好能接收当前的record实例。

问题根源 #

核心在于静态类型系统无法自动建立record的具体类型与cb参数类型的绑定关系。虽然从业务逻辑上能确定allTypes[record.type]的回调一定兼容record，但TypeScript的类型分析无法完成这个关联推导。

正确解决方法 #

方法一：用泛型约束类型关联 #

通过泛型明确record与回调的对应关系，让TypeScript准确推断类型：

const func = <K extends keyof TypeMap>(record: TypeMap[K]) => {
  const cb = allTypes[K];
  return cb(record);
};

这种方式直接约束了record是TypeMap中某个键对应的类型，cb也会被推断为对应键的回调，类型完全匹配。

方法二：通过switch做类型窄化 #

利用switch分支对record.type做判断，每个分支中TypeScript会自动窄化record的类型，确保与对应回调参数兼容：

const func = (record: TypeElement) => {
  switch (record.type) {
    case 'key1':
      return allTypes.key1(record);
    case 'key2':
      return allTypes.key2(record);
    case 'key3':
      return allTypes.key3(record);
    default:
      // 兜底处理，新增类型时会触发类型检查提示
      const _exhaustiveCheck: never = record;
      throw new Error(`未知类型: ${_exhaustiveCheck.type}`);
  }
};

这种方式不仅解决了类型错误，还能在后续新增类型时通过never检查提示开发者补充分支，避免遗漏。

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