打字稿中的函数类型重载

Question

如何在不提供具体功能的情况下创建重载的函数类型？ 通过检查重载函数的类型，似乎可以使用接口/对象类型上的多个调用签名：

function a(input: string): string
function a(input: number): number
function a(input: string | number): string | number {
  return input
}

type A = typeof a

type B = {
  (input: string): string
  (input: number): number
}

const b: B = a // Okay!

定义同样的想法与联合类型（不，你需要做的重载高兴讨厌的包罗万象的情况下） 也适用 ，该类型是双向兼容！

type C = ((input: number) => number) & ((input: string) => string)

const c: C = b // Okay!

const a2: A = c // Okay too!

但是，现在如何制作适合这种类型的功能？ 我是否也必须使用重载？

const x: A = (input: string | number) => input

和

const y: A = (input: string | number) => {
  if (typeof input === "number") return input
  if (typeof input === "string") return input
  throw "excrement"
}

两者均因以下完全相同的错误而失败：

Type '(input: string | number) => string | number' is not assignable to type '{ (input: string): string; (input: number): number; }'.
  Type 'string | number' is not assignable to type 'string'.
    Type 'number' is not assignable to type 'string'.

最糟糕的是，即使我使用可读性较低的联合类型C ，也会发生这种情况

Type '(input: string | number) => string | number' is not assignable to type 'C'.
  Type '(input: string | number) => string | number' is not assignable to type '(input: number) => number'.
    Type 'string | number' is not assignable to type 'number'.
      Type 'string' is not assignable to type 'number'.

希望我正在做一些明显的错误，并且有一个简单的解决方法。 否则，当我需要传递到某个地方的函数处理具有相应返回类型的多个调用签名时，最好的选择是什么？

Answer 1

要定义具有多个呼叫签名的功能，如果您无法编写可分配给所需的所有呼叫签名的单个呼叫签名，则必须使用两种重载方法（为了保证呼叫签名的兼容性，该规则具有较宽松的规则）带有实现签名）或类型断言。 您什么都不会错过。

Answer 2

您可以使用通用声明来解决此问题：

type Input = string | number

function a<T extends Input>(input: T): T {
  return input
}

type A = typeof a

type B = {
  (input: string): string
  (input: number): number
}

const b: B = a // Okay!

type C = ((input: number) => number) & ((input: string) => string)

const c: C = b // Okay!

const a2: A = c // Okay too!

对于x和y ，您不能宽松地定义参数类型，并且不能期望严格推断输出类型。 如果要将x和y声明为A类型，则忽略为函数定义输入类型：

const x: A = input => input

const y: A = input => {
  if (typeof input === "number") return input
  if (typeof input === "string") return input
  throw "excr"
}

您可以在此TypeScript Playground演示中验证以上所有内容是否正常。