增加元组数量的函数的打字稿签名[重复]

Question

是否可以在 Typescript 中为函数编写类型感知声明，它接受元组并返回带有附加项的新函数，而不使用函数重载？

简而言之，我需要表达以下功能：

[T1, T2, ... Tn] + U => [T1, T2, ... Tn, U]

除了多重重载之外，还有一个明显的方法：

function append<A, B>(a: [A], b: B): [A, B];
function append<A, B, C>(a: [A, B], c: C): [A, B, C];
function append<A, B, C, D>(a: [A, B, C], d: D): [A, B, C, D];
function append(tuple: any[], b: any): any[] {
  return tuple.concat([b]);
}

有没有办法写成这样的：

function append<T extends any[], U>(t: T, u: U): ??? => ???;

Answer 1

我认为这实际上超出了 Typescript 目前的理解范围。考虑完全没有声明返回类型的函数：

function append<U, T extends any[]>(u: U, ...t: T) {
  return [u, ...t];
}

const a = append(4, 'a', 'b')

常量a 显然是[number, string, string] 类型，但3.7.2 编译器认为它是any[]。