如何在 TypeScript 中定义一个数组类型，它强制给定类型的多个元素？

Question

我可以为字符串类型的 N 元素数组创建一个类型：

type A = string[];

以及预定义数量的元素，例如正好 2 个元素：

type A = [string, string];

我想要的是一种可以接受 2 个或更多元素的类型，但不仅仅是一个或一个都没有。

type A = ?

A = ['a', 'b'];  // OK 
A = ['a', 'b', 'c'];  // OK 
A = ['a', 'b', ... 'N'];  // OK 
A = ['a'];  // Error
A = [];  // Error

这可能吗？

Answer 1

您可以在元组类型中使用 rest 元素来指示元组类型是开放式的，并且可能有零个或多个数组元素类型的附加元素：

type A = [string, string, ...string[]];

类型A必须以两个string元素开头，然后可以有任意数量的string元素：

let a: A;
a = ['a', 'b'];  // OK 
a = ['a', 'b', 'c'];  // OK 
a = ['a', 'b', 'c', 'd', 'e', 'N'];  // OK 
a = ['a'];  // error! Source has 1 element(s) but target requires 2
a = [];  // error!  Source has 0 element(s) but target requires 2.

Playground 代码链接