如何理解打字稿中類型定義中的`[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[]表示：任意數量的零