TypeScript中handler传参触发never类型报错的原因解析

问题代码 #

type EventData<T> =
  | { op: 'INSERT'; data: { new: T } }
  | { op: 'DELETE'; data: { old: T } }
  | { op: 'UPDATE' | 'MANUAL'; data: { new: T; old: T } }

type Operation = EventData<any>['op']

interface EventPayload<T = any> {
  event: EventData<T>
}

type OperationHandler<Op extends Operation> = (
  data: Extract<EventPayload['event'], { op: Op }>['data'],
) => void


const factory = (handlers: { [Op in Operation]?: OperationHandler<Op> }) => {
  return ({ op, data }: EventPayload['event']) => {
    const handler = handlers[op]

    handler?.(data) // 此处触发报错
  }
}

报错信息 #

Argument of type '{ new: any; } | { old: any; } | { new: any; old: any; }' is not assignable to parameter of type 'never'.
  Type '{ new: any; }' is not assignable to type 'never'.

原因解释 #

TypeScript的类型系统无法自动关联op、data与handler三者的类型绑定关系，具体逻辑如下：

• handlers是映射类型，每个Op键对应的OperationHandler<Op>仅接受对应操作类型的data（比如INSERT类型的handler只认{new: T}结构）。
• 当取出handlers[op]时，TypeScript只能推断出handler是OperationHandler<'INSERT'> | OperationHandler<'DELETE'> | OperationHandler<'UPDATE'> | OperationHandler<'MANUAL'>的联合类型，但无法将当前的op值与handler的具体类型做绑定。
• 对于联合类型的函数，TypeScript遵循参数逆变规则：只有传入的参数能被所有联合成员的参数类型兼容时，才能调用。而此处data是三种结构的联合类型，无法满足每个OperationHandler的参数要求（比如INSERT的handler不接受{old: any}），因此TypeScript推断出参数类型为never（没有类型能适配所有联合成员），最终报错。

当你把handler断言为OperationHandler<Operation>时，相当于告诉TypeScript：该handler可以接受任意Operation对应的data类型。此时OperationHandler<Operation>的参数类型正好是{new: any} | {old: any} | {new: any; old: any}，和data的类型完全匹配，报错自然消失。

本质上这是TypeScript控制流分析的局限性——它无法跟踪多个变量间的关联类型，需要通过断言辅助类型推断。

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