TypeScript类型合并异常：联合类型为何被错误转换？

问题分析 #

你遇到的问题是TypeScript无法正确识别联合类型Data中name和options的关联关系。虽然Data是A | B的区分联合类型，但直接通过functions[data.name]调用函数时，TypeScript会将functions[data.name]推断为typeof a | typeof b——而联合函数的参数类型遵循逆变规则，会被推断为两个函数参数的交集（{ o1: number } & { o2: string }），但data.options是两个参数类型的并集，自然无法匹配，导致报错。

解决方案 #

方案1：使用泛型函数明确类型关联 #

通过泛型绑定name和对应的options类型，让TypeScript能精准推断参数匹配关系：

const a = (options: { o1: number }) => {}
const b = (options: { o2: string }) => {}

const functions = { a, b }
type FunctionMap = typeof functions;

// 用泛型定义关联的Data类型
type Data<K extends keyof FunctionMap> = {
  name: K;
  options: Parameters<FunctionMap[K]>[0];
};

const callFunction = <K extends keyof FunctionMap>(data: Data<K>) => {
  functions[data.name](data.options); // 无类型错误
};

这种方式扩展性最好，新增函数时无需修改调用逻辑，TypeScript会自动推导对应参数类型。

方案2：通过switch-case手动收窄类型 #

利用switch-case做类型守卫，让TypeScript在每个分支中明确options的具体类型：

const a = (options: { o1: number }) => {}
const b = (options: { o2: string }) => {}

const functions = { a, b }

type A = { name: 'a'; options: Parameters<typeof a>[0] }
type B = { name: 'b'; options: Parameters<typeof b>[0] }
type Data = A | B

const callFunction = (data: Data) => {
  switch(data.name) {
    case 'a':
      functions.a(data.options); // TS明确此处options是{ o1: number }
      break;
    case 'b':
      functions.b(data.options); // TS明确此处options是{ o2: string }
      break;
  }
};

这种方式直观且类型安全，但函数数量较多时会增加代码量。

方案3：使用类型断言快速解决 #

如果你能确保业务逻辑中name和options的对应关系绝对正确，可以用类型断言跳过TS的检查：

const callFunction = (data: Data) => {
  (functions[data.name] as (opts: typeof data.options) => void)(data.options);
};

注意：这种方式会绕过TypeScript的类型检查，若后续业务逻辑出错（比如name和options不匹配），TS无法给出提示，需谨慎使用。

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