TypeScript中如何定义固定长度数组的对象属性类型？

当然可行，你之前的写法错误是因为误用了索引访问类型，Array<Door>[4]实际上是取数组类型中索引为4的元素类型，所以得到的是Door而非固定长度数组。下面是几种正确的实现方式：

方法一：直接使用元组类型 #

如果固定长度是明确的小数值（比如4），直接写元组类型最直观：

type Door = {
  id: number;
  material: string;
};

export type Car = {
  doors: [Door, Door, Door, Door]; // 严格限制为4个Door元素的数组
  // 其余属性
};

这种写法会在编译阶段严格检查数组长度，比如你传入3个或5个Door元素都会触发类型错误。

方法二：通用固定长度元组类型 #

如果需要复用不同长度的固定数组类型，可以定义一个泛型工具类型：

type Door = {
  id: number;
  material: string;
};

// 递归生成指定长度的元组类型
type TupleOf<T, N extends number, R extends T[] = []> = 
  R['length'] extends N ? R : TupleOf<T, N, [...R, T]>;

export type Car = {
  doors: TupleOf<Door, 4>; // 生成包含4个Door元素的固定长度数组类型
  // 其余属性
};

这个工具类型TupleOf<T, N>可以生成任意长度N的T类型元组，比如TupleOf<Door, 2>就是包含2个Door元素的数组类型，复用性更强。

注意：避免使用数组&length断言的方式 #

有些资料会提到这种写法：

type FixedLengthArray<T, L extends number> = T[] & { length: L };

export type Car = {
  doors: FixedLengthArray<Door, 4>;
};

但这种方式的类型检查不够严格——TypeScript不会验证数组的实际长度，比如你传入一个长度为3的数组，编译阶段不会报错，因为它只是断言数组的length属性为4，而非强制数组必须有4个元素。因此更推荐前两种元组相关的写法。

内容的提问来源于stack exchange，提问作者Ataa Aub