TypeScript中是否有必要保留与实现签名一致的函数重载？

先看你提到的代码片段：

interface IdLabel {
  id: number /* some fields */;
}
interface NameLabel {
  name: string /* other fields */;
}
 
function createLabel(id: number): IdLabel;
function createLabel(name: string): NameLabel;
function createLabel(nameOrId: string | number): IdLabel | NameLabel; // 这个重载的核心作用
function createLabel(nameOrId: string | number): IdLabel | NameLabel {
  throw "unimplemented";
}

这个第三个重载绝对不是文档疏忽，它是专门用来处理联合类型输入的场景，核心原因在于TypeScript的重载匹配规则：

• 前两个重载只匹配明确的单一类型输入：比如传123（number类型）会匹配第一个重载，返回IdLabel；传"Alice"（string类型）匹配第二个重载，返回NameLabel，此时类型推断精准。
• 但如果变量是string | number联合类型，比如：

  const val: string | number = Math.random() > 0.5 ? "Bob" : 456;
  // 没有第三个重载的话，这里会直接报错：找不到匹配的重载
  const label = createLabel(val);
  

  这时候前两个重载都无法匹配（它们只接受单一类型，不接受联合类型），而函数的实现签名对外不可见——TypeScript不允许外部直接调用实现签名，只能匹配你声明的重载签名。

所以第三个重载的作用就是：明确告诉TypeScript，当传入string | number类型的参数时，函数会返回IdLabel | NameLabel类型，让联合类型的输入场景也能合法调用，同时保留单一类型输入时的精准类型推断。

内容的提问来源于stack exchange，提问作者Robo Robok