如何定义长度依赖类型属性值的TypeScript固定长度数组类型？

直接在你定义的普通对象类型里做不到，因为nbClouds是宽泛的number类型，TypeScript静态类型系统没法直接关联两个动态属性的取值。但可以通过泛型+数字字面量类型的方式实现强约束，让nbClouds的数值和clouds的数组长度严格绑定。

核心实现思路 #

把nbClouds的类型从number缩小为具体的数字字面量（比如3、2），然后让clouds的长度类型和这个字面量绑定。可以用带长度约束的数组类型来实现：

代码示例 #

泛型类型定义

type MyType<N extends number> = {
  index: number;
  label: string;
  nbClouds: N;
  // 约束数组长度必须等于N
  clouds: Array<Cloud> & { length: N };
};

使用方式1：手动指定泛型参数

// 必须传入长度为3的clouds数组，否则类型报错
const test1: MyType<3> = {
  index: 1,
  label: "多云",
  nbClouds: 3,
  clouds: [{ id: 1 }, { id: 2 }, { id: 3 }] // 假设Cloud是包含id的对象类型
};

使用方式2：自动推断长度（配合as const）

// 用as const让TypeScript把nbClouds的取值识别为字面量类型
const test2 = {
  index: 2,
  label: "少云",
  nbClouds: 2 as const,
  clouds: [{ id: 4 }, { id: 5 }]
} satisfies MyType<2>;

更便捷的封装：用函数自动推断

如果不想每次手动写泛型参数，可以用函数封装，让TypeScript自动推断长度：

function createCloudData<N extends number>(data: {
  index: number;
  label: string;
  nbClouds: N;
  clouds: Array<Cloud> & { length: N };
}) {
  return data;
}

// 自动校验clouds长度必须等于nbClouds的取值
const test3 = createCloudData({
  index: 3,
  label: "阴天",
  nbClouds: 4,
  clouds: [{ id: 6 }, { id: 7 }, { id: 8 }, { id: 9 }]
});

注意事项 #

如果nbClouds是运行时动态生成的数值（比如来自后端接口），TypeScript在编译期无法知晓具体值，这种情况下静态类型约束就失效了，只能靠运行时校验（比如在代码里判断clouds.length === nbClouds）。

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