TypeScript 基于条件类型与声明合并实现onEvent函数的类型安全匹配

原有实现之所以会出现类型校验失效，本质是踩中了TypeScript泛型推导的默认规则：当同一个泛型参数T同时出现在多个函数入参位置时，TS会扫描所有入参收集T的候选值，合并为联合类型后再做匹配，并不会按照参数顺序，先从第一个入参固定T的取值。

• 举个实际的推导过程：当调用onEvent('login', (message: number) => {})时，TS首先从第一个参数收集到T的候选值'login'；同时在检查第二个参数时，发现传入的回调(message: number) => void刚好能匹配Events['do-something']的签名，于是又把'do-something'加入T的候选列表，最终T被推导为'login' | 'do-something'的联合类型。
• 此时第二个参数标注的Library.Events[T]就会变成两个事件回调的联合类型。因为函数参数遵循逆变检查规则，只要传入的回调能适配联合类型里任意一个签名，就能通过校验，完全失去了事件名和回调签名的精准绑定。

可以利用TypeScript的分布式条件类型做延迟解析，切断第二个参数位置对泛型T的反向推导，让T的取值只由第一个传入的事件名决定：

function onEvent<T extends keyof Library.Events>(
  name: T,
  callback: T extends any ? Library.Events[T] : never
): void {
  console.log(name + " uses callback: " + callback);
}

• 这里的T extends any ? Library.Events[T] : never是标准的分布式条件类型，因为被检查的类型是未确定的泛型T，整个类型表达式会延迟到函数实际调用时才解析，TS不会从这个参数位置反向推导T的候选值。
• 此时T的取值来源完全收敛到第一个name参数：传入什么事件名，T就是对应的单键类型，后续取到的Library.Events[T]自然就是该事件精准对应的回调签名，不会出现跨事件的类型错配。
• 这种实现完全匹配最初的设计目标：Library.Events是可通过声明合并扩展的公共接口，不管使用者后续添加多少自定义事件，onEvent的类型检查、自动补全都能自动适配，不需要修改函数本身的代码。

• 所有合法调用可以正常通过类型校验：
  • onEvent('login', (username: string, password: string) => undefined)
  • onEvent('do-something', (message: number) => undefined)
  • onEvent('do-nothing', () => undefined)
• 所有非法错配调用都会被TS拦截，比如传入'login'作为事件名，却搭配对应'do-something'的回调签名：

  // TS 会抛出明确的类型错误：当前回调签名不匹配login事件的参数要求
  onEvent('login', (message: number) => undefined)
  

注：这种实现思路和Knex这类成熟类型友好的工具库逻辑一致——通过延迟条件类型切断非预期的泛型联合推导，在保留接口对外可扩展性的同时，实现了事件名和回调类型的一一精准绑定。

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