如何理解打字稿中类型定义中的`[0, 1, 2, ...0[]]`？

Question

我在Typescript: deep keyof of a nested object 中看到了一些这样的类型定义：

type Prev = [never, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10,
    11, 12, 13, 14, 15, 16, 17, 18, 19, 20, ...0[]]

我不明白最后一部分...0[]是什么意思。

有这方面的文件吗？ 谢谢

Answer 1

您需要两条信息才能理解这种类型：

• 元组类型中的其余元素

元组类型的最后一个元素可以是...X形式的剩余元素，其中X是数组类型。 其余元素表示元组类型是开放式的，并且可能具有零个或多个数组元素类型的附加元素。 例如， [number, ...string[]]表示具有number元素后跟任意数量的string元素的元组。

• 您可以将类型限制为一个常量值：

const x: 0 = 0;
const y: 0 = 1; // ERROR: Type '1' is not assignable to type '0'.

因此，元组类型中的尾随...0[]表示：任意数量的零