如何用TypeScript元组限制数组长度为1到2？

核心问题在于TypeScript会将数组字面量默认推断为number[]（可变长度数组类型），而你期望的是固定长度为1或2的元组类型，两者无法直接兼容。以下是两种可行的解决方案：

方案1：使用const断言生成只读元组 #

通过给数组字面量添加as const，强制TypeScript将其推断为只读的固定长度元组：

const obj = { 
  'a': [0, 10] as const, 
  'b': [11, 20] as const, 
  'c': [21] as const 
};

type DataShape = {
  data: Record<string, readonly [number, number?]> 
};

function bar({data}: DataShape) {}

const foo = bar({ data: obj }); // 无类型错误

readonly [number, number?]类型同时兼容1个或2个元素的只读元组，完美匹配obj的推断类型。

方案2：用辅助函数约束非只读元组 #

如果需要可变数组，可通过泛型辅助函数强制输入对象的每个值都是长度为1或2的元组，让TypeScript自动推断为非只读元组：

function createValidData<T extends Record<string, [number] | [number, number]>>(data: T) {
  return data;
}

const obj = createValidData({
  'a': [0, 10],
  'b': [11, 20],
  'c': [21]
});

type DataShape = {
  data: Record<string, [number] | [number, number]> 
};

function bar({data}: DataShape) {}

const foo = bar({ data: obj }); // 无类型错误

辅助函数createValidData确保输入对象的所有值都是合法元组，避免了TypeScript将数组推断为number[]。

为什么无法直接限制number[]的长度？ #

TypeScript的number[]类型代表任意长度的数字数组，本身不具备长度约束能力。元组类型才是用于定义固定长度数组的正确工具，它能明确指定数组的长度和每个位置的元素类型。

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