不使用元组，如何确保TypeScript函数接收指定长度的数组参数？

你可以通过交叉类型约束数组长度或者泛型+条件类型的方式实现，无需依赖元组类型，以下是具体方案：

方案一：交叉类型固定数组长度 #

通过交叉类型将普通数组类型与指定length属性的对象类型结合，既保留数组原生特性，又强制限制长度：

// 定义约束：长度为2的数字数组
type Length2NumberArray = number[] & { length: 2 };

// 声明函数
const checkNumbers: (arr: Length2NumberArray) => boolean = (arr) => {
  return arr[0] > arr[1];
};

// 合法调用
checkNumbers([1, 2]);

// 非法调用（都会触发类型错误）
checkNumbers([]);
checkNumbers([3]);
checkNumbers([4, 5, 6]);

方案二：泛型+条件类型动态校验 #

利用泛型捕获数组类型，通过条件类型判断数组长度是否符合要求，不符合时将参数类型设为never触发错误：

function requireExactLength2<T extends any[]>(arr: T): T['length'] extends 2 ? boolean : never {
  // 可选：运行时额外加长度校验，增强鲁棒性
  if (arr.length !== 2) throw new Error('数组必须包含2个元素');
  return arr[0] > arr[1] as boolean;
}

// 合法调用
requireExactLength2([10, 20]);

// 非法调用（编译期报错）
requireExactLength2([]);
requireExactLength2([5]);
requireExactLength2([1, 2, 3]);

这两种方案都能在编译阶段拦截不符合长度要求的数组传入，同时保持数组类型的灵活性，无需使用元组固定元素位置。

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