解决TypeScript联合类型交集被缩减为never的类型报错问题

问题重现 #

尝试用对象模拟switch逻辑处理不同类型的动作时，TypeScript报错：

TS2345: Argument of type PActions is not assignable to parameter of type never
交集 ILine & ICurve & IStroke & IBegin & IMove & IClose 被缩减为never，因为部分成员的means属性类型冲突。Type ILine无法赋值给never类型

核心原因是：TypeScript无法自动推断objSwitch[action.means]的函数参数与当前action的类型匹配——联合类型索引访问后，函数参数会被推断为所有可能类型的交集，而不同means对应的接口交集为never，因此触发报错。

解决方案（不使用any） #

方法1：安全类型断言 #

在调用handler时，通过类型断言告知编译器当前参数类型是匹配的（因为已经通过action.means确认了handler与action的对应关系，断言是安全的）：

type Actions = {
  [R in PActions["means"]]: (action: Extract<PActions, { means: R }>) => void
};

interface ILine {
  means: 'line';
  args: {a:string};
}

interface ICurve {
  means: 'curve';
  args: {b:string};
}

export type PActions = ILine | ICurve;

export function ResolveAction(
  action: PActions,
): void {
  const objSwitch: Actions = {
    line: (action: ILine): void => {
      console.log('处理line动作:', action.args.a);
    },
    curve: (action: ICurve): void => {
      console.log('处理curve动作:', action.args.b);
    },
  };

  // 优化：避免直接修改原对象类型，重新赋值更安全
  if (!action.means) {
    action = { ...action, means: 'line' } as ILine;
  }

  const handler = objSwitch[action.means];
  if (!handler) {
    return;
  }

  // 安全断言：确认handler参数与当前action类型匹配
  (handler as (action: PActions) => void)(action);
}

方法2：显式类型缩小 #

如果不想用断言，可通过switch语句显式缩小action的类型范围，再调用对应handler：

// ... 保持其他定义不变

export function ResolveAction(
  action: PActions,
): void {
  const objSwitch: Actions = {
    line: (action: ILine): void => {
      console.log('处理line动作:', action.args.a);
    },
    curve: (action: ICurve): void => {
      console.log('处理curve动作:', action.args.b);
    },
  };

  if (!action.means) {
    action = { ...action, means: 'line' } as ILine;
  }

  switch (action.means) {
    case 'line':
      objSwitch.line(action);
      break;
    case 'curve':
      objSwitch.curve(action);
      break;
    default:
      return;
  }
}

方法3：泛型辅助函数 #

通过泛型约束确保handler与action的类型严格匹配：

// ... 保持其他定义不变

export function ResolveAction(
  action: PActions,
): void {
  const objSwitch: Actions = {
    line: (action: ILine): void => {
      console.log('处理line动作:', action.args.a);
    },
    curve: (action: ICurve): void => {
      console.log('处理curve动作:', action.args.b);
    },
  };

  if (!action.means) {
    action = { ...action, means: 'line' } as ILine;
  }

  const handler = objSwitch[action.means];
  if (!handler) {
    return;
  }

  // 泛型辅助函数，严格约束类型对应关系
  function callHandler<T extends PActions['means']>(means: T, action: Extract<PActions, { means: T }>) {
    objSwitch[means](action);
  }

  callHandler(action.means, action as Extract<PActions, { means: typeof action.means }>);
}

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