打字稿：需要至少一个参数时使用扩展运算符

Question

我正在学习如何在打字稿中使用剩余参数/扩展运算符。现在，我需要编写一个将数组作为参数的函数，并且我想使用 rest 运算符。这是函数：

insert(elem: number, ...elems: number[])

elem 参数在那里是因为我需要数组至少有一个元素。

所以，给定一个这样的数组：

const numArray = [1, 2, 3, 4]

如何将数组传递给函数？我尝试了以下方法，但它给了我一个错误：

insert(...numArray)

我理解错误，因为 numArray 可能有 0 到 N 个元素，而函数需要至少一个元素，但我不知道最好的解决方案。

有什么方法可以实现吗？

注意：insert 函数是我正在开发的库的一部分，因此我需要尽可能地使用它，而不是取决于用户将如何使用其中

Answer 1

您可以创建一个包含至少一个（或多个）项目的数组类型并将其展开：

function insert(...elem: [number, ...number[]]) { 
  // ...
}

你甚至可以编写一个辅助类型，例如：

type AtLeastOne<T> = [T, ...T[]]

function insert(...element: AtLeastOne<number>) {
  //...
}

Answer 2

问题是数组是任意长度的。如果您将其键入为一个元组，一个数字元素后跟任意数量的数字，它将起作用。

function insert(elem: number, ...elems: number[]) { }

const numArray:[number, ...number[]] = [1, 2, 3, 4]

insert(...numArray)

您也可以只使用一个函数来帮助推断，将 const 键入为一个元组：

function insert(elem: number, ...elems: number[]) { }
function tuple<T extends any[]>(...a: T) { return a;}
const numArray = tuple(1, 2, 3, 4);

insert(...numArray)