如何让TypeScript在重载函数体内实现参数类型关联收窄？

你遇到的是TypeScript传统重载的常见局限：重载签名仅约束函数的调用规则，但实现签名里的参数类型是独立的联合类型，TypeScript无法建立event和value之间的关联关系，因此收窄event的类型时，value的类型不会自动同步收窄。

要实现参数类型的联动收窄，可采用以下两种方案：

方案一：泛型条件类型 #

通过泛型约束参数间的关联逻辑，让TypeScript根据event的类型自动推导value的类型：

function foo<T extends 'one' | 'two'>(
  event: T,
  value: T extends 'one' ? string : number
): void {
  if (event === 'one') {
    value; // 类型自动收窄为string
  } else {
    value; // 类型自动收窄为number
  }
}

方案二：联合元组参数 #

将参数定义为联合类型的元组，直接建立参数对的绑定关系：

function foo(...args: ['one', string] | ['two', number]): void {
  const [event, value] = args;
  if (event === 'one') {
    value; // 类型自动收窄为string
  } else {
    value; // 类型自动收窄为number
  }
}

这两种方式既保留了原重载的调用类型检查能力，又能在函数体内实现参数类型的联动收窄，完美解决你遇到的问题。

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