typescript :如何输入不同类型的未知大小的元组？

Question

我在类似问题中找不到这个。

我正在尝试键入一个包含未知数量元素的元组。
我知道 Typescript 4 添加了对可变元组的支持

尽管我阅读了 the docs，但我无法理解它

这个例子很简单:

function map<S, T, U, Z>(values: [S, T, U], mapper: (s: S, t: T, u: U) => Z): Z {
    return mapper(...values);
}


const v = map([1, 'hello', 3], (s, t, u) => `${s + t + u}`);

Typescript playground link

这适用于 3 个元素，但不适用于任何(动态)数量的元素。
如何以通用方式为任意数量的元素键入此内容？

谢谢!

Answer 1

你的数据代表数组的一些扩展，所以有一个像 Elems extends unknown[] 这样的泛型，那么诀窍是指定 [...Elems] 作为第一个参数而不仅仅是 Elems 这表明 typescript 应该尝试保留输入的任何元组性*:

function map<Elems extends unknown[],  Z>(values: [...Elems], mapper: (...args: Elems) => Z): Z {
    return mapper(...values);
}


const v = map([1, 'hello', 3], (s, t, u) => `${s + t + u}`);

( playground link )

*当我说它保留元组时，这只是通用解析如何工作的副产品，如果我有 2 个这样的函数:

function foo<T               >(arg: T){ return arg; }
function bar<T extends string>(arg: T){ return arg; }

调用 foo("a") 将给出类型 string 但 bar("a") 给出类型 "a"，这是因为如果可能的话，typescript 将变得更加具体以适应通用约束，因此虽然 Elems 在功能上与 [...Elems] 相同，但第一个被认为是数组类型，第二个被认为是元组类型，这就是泛型以不同方式解析的原因，保留了元组特性。