如何用TypeScript的Array接口定义数组长度与元素类型？

直接给出结论：

• 若需定义不同元素类型的定长数组，必须使用元组声明方式，Array<T>接口无法直接实现；
• 若需定义同类型的定长数组，可通过Array<T>结合类型约束实现，但存在一定局限性。

详细说明： #

1. 不同元素类型的定长数组
   Array<T>接口的泛型参数仅支持单一类型，其设计目标是描述可变长的同类型元素数组，没有提供多类型、定长的定义能力。而元组（如[string, number]）正是TypeScript专门用来表示固定长度、各元素类型可不同的数组结构的语法，因此这类场景下只能依赖元组实现。

2. 同类型的定长数组
   可以通过Array<T>交叉一个带有固定length属性的类型，实现类型层面的定长约束，示例如下：

// 约束为长度3的字符串数组
type FixedLengthStringArray = Array<string> & { readonly length: 3 };

// 合法示例
const arr: FixedLengthStringArray = ["a", "b", "c"];
// 类型错误：长度不符
const arr2: FixedLengthStringArray = ["a", "b"];

注意：这种方式仅为类型层面的约束，运行时无法阻止通过push等方法修改数组长度，仅在TS编译阶段会触发报错。

贴近Array风格的替代写法 #

若想避免直接使用元组的方括号语法，可自行封装一个泛型类型包裹元组：

type Tuple<T extends any[]> = T;

// 使用效果与元组完全一致
type SomeArrayType = Tuple<[string, number]>;

但本质仍基于元组实现，只是换了一层写法包装。

内容的提问来源于stack exchange，提问作者Rafael Furtado