TypeScript中fireEvent函数参数类型关联时内部报错的解决方法

你遇到的问题是TypeScript联合类型的窄化限制导致的：虽然外部调用fireEvent时类型检查完全符合预期，但函数内部执行eventsSchema[event](params)会报错。核心原因在于，当泛型K是keyof typeof eventsSchema的联合类型时，eventsSchema[event]会被推断为三个事件处理函数的联合类型，而params是对应参数类型的联合类型。TypeScript无法保证联合类型的函数和联合类型的参数是一一匹配的——联合函数仅能接受所有函数参数类型的交集，但这里三个参数类型的交集为空，因此类型检查失败。

下面提供两种实用的解决方法：

方法一：类型断言（简洁直接） #

通过类型断言明确告诉TypeScript，当前的事件处理函数可以接受传入的params参数：

const eventsSchema = {
  onComplete: ({ id, name }: { id: number, name: string }): void => { 
    // do some things 
  },
  onStart: ({ name }: { name: string }): void => { 
    // do some things 
  },
  onCancel: ({ reason }: { reason: string }): void => { 
    // do some things 
  },
}

function fireEvent<K extends keyof typeof eventsSchema>(event: K, params: Parameters<typeof eventsSchema[K]>[0]) {
  // 断言当前事件处理函数与params类型匹配
  return (eventsSchema[event] as (args: typeof params) => void)(params);
}

这种方式改动最小，适合事件数量较多的场景。只要外部调用的类型正确性已经由泛型约束保证，内部的断言就是安全的。

方法二：函数重载（类型更清晰） #

如果事件数量不多，可以通过函数重载明确每个事件对应的参数类型，内部无需额外处理：

const eventsSchema = {
  onComplete: ({ id, name }: { id: number, name: string }): void => { 
    // do some things 
  },
  onStart: ({ name }: { name: string }): void => { 
    // do some things 
  },
  onCancel: ({ reason }: { reason: string }): void => { 
    // do some things 
  },
}

// 定义重载签名，明确每个事件的参数类型
function fireEvent(event: 'onComplete', params: { id: number, name: string }): void;
function fireEvent(event: 'onStart', params: { name: string }): void;
function fireEvent(event: 'onCancel', params: { reason: string }): void;

// 实现签名，内部使用any跳过类型检查
function fireEvent(event: keyof typeof eventsSchema, params: any): void {
  return eventsSchema[event](params);
}

这种方式的优点是类型定义更直观，外部调用的类型提示更清晰，但需要手动维护每个事件的重载，事件数量增加时会比较繁琐。

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