打字稿重载可选参数不起作用？

Question

让我们假设一个简化的例子（我知道在这个特殊的简化中不需要重载，但它被简化了）

编辑：给出的第一个例子不足以理解这个问题，这里是一个更新的例子：

function fn <T>( // Overload signature is not compatible with function implementation.ts(2394)
  fn: (item: T) => T,
): (idx: number) => (src: T[]) => T[]
function fn <T>(
  fn: (item: T) => T,
  idx: number,
): (src: T[]) => T[]
function fn(fn: (x: any) => any, idx?: number) {

}

在这种情况下，您将如何限定实现中的 Return 类型。

编译器在第一个定义上抱怨ts(2394)，但我不明白我做错了什么。

提前谢谢你 赛博

Answer 1

要解决您的问题，您需要将返回类型添加到实际的函数逻辑中，而不仅仅是定义。

由于每个定义重载都可以返回不同的结果，实际逻辑需要某种方式来支持这一点。懒惰的方法是只返回any，但更好的方法是返回由管道| 分隔的所有定义。如果返回类型太长，只需创建一个declare type 定义并分别声明每个。

declare type A<T> = (idx: number) => (src: T[]) => T[]
declare type B<T> =  (src: T[]) => T[]

function fn<T>(fn: (item: T) => T): A<T>
function fn<T>(fn: (item: T) => T, idx: number): B<T>
function fn<T>(fn: (x: any) => any, idx?: number): A<T> | B<T> {

}