如何在Typescript中导出和重载具有不同长度元组的函数参数列表

Question

不幸的是，在Typescript 4.5.4中，以下具有不同长度的不同元组的重载对我不起作用：

export function f<T1>    (t: [T1])   : any { ... }
export function f<T1,T2> (t: [T1,T2]): any { ... }

而使用将是(在另一个文件中(

f(["hello"])
f(["hello", "world"])

打字稿给我：

TS2323:无法重新声明导出的变量"f"。

在不引入多个函数名的情况下(在顶层(有什么解决方法的想法吗？

这个问题很相似，但答案似乎不再有效(编辑：它有效，我误用了(，也不完全相同(在我的问题中，给出了Tuple类型，可能会也可能不会对正确答案产生影响(。

Answer 1

我不确定你是否需要重载的额外开销，但你链接到的答案仍然成立——重载应该声明多个类型签名，但只实现一次函数。

TS游乐场

export function f<T1>(t: [T1]): T1
export function f<T1, T2>(t: [T1, T2]): T2
export function f(t: [unknown] | [unknown, unknown]) {
if (t.length === 2) {
return t[1]
}
return t[0]
}

f([true]) // function f<boolean>(t: [boolean]): boolean (+1 overload)
f([1, 'red']) // function f<number, string>(t: [number, string]): string (+1 overload)
f([1, 'red', 2])
//  ^^^^^^^^^^^^^
//  No overload matches this call.
//    Overload 1 of 2, '(t: [unknown]): unknown', gave the following error.
//      Argument of type '[number, string, number]' is not assignable to parameter of type '[unknown]'.
//        Source has 3 element(s) but target allows only 1.
//      Overload 2 of 2, '(t: [unknown, unknown]): unknown', gave the following error.
//        Argument of type '[number, string, number]' is not assignable to parameter of type '[unknown, unknown]'.
//          Source has 3 element(s) but target allows only 2.