TypeScript中Omit处理联合类型时转为交叉类型引发TS2345报错

这不是TypeScript的固有bug，是内置Omit工具类型作用于交叉联合类型时符合设计预期的行为，核心原因有两点：

• TypeScript中keyof操作符作用于联合类型时，返回的是所有联合成员共有的属性键的交集，而非所有键的并集——只有所有联合成员都存在的属性，才能被安全访问
• 内置Omit的默认实现为type Omit<T, K extends PropertyKey> = Pick<T, Exclude<keyof T, K>>，它不是分布式类型，不会自动拆解联合类型给每个成员单独做属性剔除，而是基于keyof T拿到的键集合做映射

我们可以拆解推导Omit<Movement, 'name'>的实际类型：

1. Movement本质是({name: string} & Cartesian) | ({name: string} & Polar)的联合类型
2. 计算keyof Movement时，两个联合成员的公共键只有name和kind（x/y仅属于笛卡尔坐标成员，angle/distance仅属于极坐标成员，会被keyof的交集逻辑过滤掉）
3. 因此Omit<Movement, 'name'>最终得到的类型只有{ kind: 'cartesian' | 'polar' }，完全丢失了坐标相关的属性，这和你预期的Cartesian | Polar并不等价，自然会在传参时抛出类型不匹配错误。

你看到报错中提到缺少angle、distance属性，本质就是这些属性根本不在Omit的结果类型中，不是TypeScript将其推断为了交叉类型。

你可以根据场景选以下任意一种修复方式：

• 方案1：使用分布式Omit工具类型
  自定义支持自动分配联合成员的Omit类型，利用分布式条件类型的特性，让属性剔除操作作用到联合的每个成员上：

  type DistributiveOmit<T, K extends PropertyKey> = T extends any ? Omit<T, K> : never;
  
  const unnamedMove = (unnamedMovement: DistributiveOmit<Movement, 'name'>) => {
      move({ name: 'default', ...unnamedMovement }) // 类型校验正常通过
  }
  

  这种写法下DistributiveOmit<Movement, 'name'>会被正确推导为Cartesian | Polar，完全符合预期。

• 方案2：抽离公共基础类型（推荐）
  直接定义不带name的坐标联合基础类型，后续复用即可，不需要依赖Omit做类型转换，语义更清晰，也避免了工具类型的推导偏差：

  type Coordinate = Cartesian | Polar;
  type Movement = { name: string } & Coordinate;
  
  const move = (movement: Movement) => { /* whatever */ };
  const unnamedMove = (unnamedMovement: Coordinate) => {
      move({ name: 'default', ...unnamedMovement }) // 类型校验正常通过
  }
  

• 方案3：直接定义显式判别联合
  定义Movement时直接写为完整的联合结构，避免交叉类型带来的隐式推导：

  type Movement = 
    | { name: string; kind: 'cartesian'; x: number; y: number }
    | { name: string; kind: 'polar'; angle: number; distance: number };
  

  注意这种写法下仍然需要配合分布式Omit使用才能正确剔除name属性，日常开发更推荐用方案2的分层类型定义。

补充：你直接传入对象字面量调用move时能正常通过校验，是因为TypeScript会根据字面量里的kind判别字段自动匹配对应的联合成员，不会触发keyof取公共键交集的逻辑。

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