为什么TypeScript函数重载未触发预期的类型编译报错？

TypeScript的函数重载设计中存在两类签名，检查规则不同：

• 写在前面的两行是重载签名，仅用于约束函数对外调用时的入参、返回值对应关系，不会参与函数内部实现的类型校验
• 写在最后一行的是实现签名，是编译器校验内部代码合法性的唯一依据，不会对外暴露

你给出的代码中，实现签名的返回值类型声明为number | string，而代码中return x + '1'的返回值固定为string类型，属于number | string的合法子类型，因此不会触发编译错误。

TypeScript官方从编译性能和静态推导复杂度的角度出发，没有设计「自动校验函数内部逻辑是否完全匹配所有重载分支的入参返回对应关系」的能力，这类逻辑一致性需要开发者自行保证。如果需要让编译器帮你校验输入输出的类型绑定，可以用泛型替代重载实现，示例如下：

function reverse<T extends number | string>(x: T): T extends number ? number : string {
  if (typeof x === 'number') {
    // 此处如果返回非number类型的值会直接抛出编译错误
    return x + 1 as any
  }
  return x + '1' as any
}

如果直接调用你写的重载版本，传入number类型参数时，TypeScript会按照重载签名返回number类型的类型提示，但运行时实际拿到的是string，会出现类型不匹配的问题，需要额外注意。

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