如何使用扩展语法将TypeScript类型添加到析构参数？

Question

忽略这是一个很糟糕的add功能。这是一个关于在TypeScript中使用带有扩展语法的数组解构的问题。

这就是我正在尝试的

const add = ([x,...xs]) => {
  if (x === undefined)
    return 0
  else
    return x + add(xs)
}

console.log(add([1,2,3])) //=> 6

但我不知道如何添加TypeScript类型。我最好的猜测是做这样的事情（最直接的翻译）

const add = (xs: number[]): number => {
  if (xs[0] === undefined)
    return 0;
  else
    return xs[0] + add(xs.slice(1));
};

console.log(add([1,2,3])); // => 6

这两个函数都有效，但是在TypeScript中，我失去了构造数组参数的能力，并且函数体被jazxswpoi和xs[0]等一堆丑陋的东西搞砸了 - 即使我将它们抽象到自己的函数中，除此之外。

是否可以在TypeScript中添加类型来解构扩展参数？

---

到目前为止我尝试过的

这样的东西适用于固定数组

xs.slice(1)

但当然我需要可变长度数组输入。我试过这个，但它没有编译

// compiles
const add = ([x,y,z]: [number, number, number]): number => ...

Answer 1

我的不好，答案很简单：

// does not compile
const add = ([x, ...xs]: [number, number[]]): number => ...

（Qazxswpoi）

---

Original answer:

你可以这样做：

const add = ([x, ...xs]: number[]) => {
  if (x === undefined)
    return 0
  else
    return x + add(xs)
}

console.log(add([1, 2, 3])); //=> 6
add(["", 4]); // error

您还可以使用类型别名：

code in playground