如何在TypeScript中强制函数参数长度与数组/元组长度一致？

需求回顾 #

需要编写一个函数，满足：

• 第一个参数是长度为L的字符串数组
• 第二个参数是接受L个数字参数并返回数字的函数
• 强制两者的长度L完全一致，不匹配时TypeScript直接报错

解决方案代码 #

const acceptSameLength = <T extends readonly string[]>(
  stringArray: T,
  fnc: (...args: { [K in keyof T]: number }) => number
) => ({
  names: stringArray,
  calcFunc: fnc
});

验证案例 #

// ✅ 正常运行：数组长度1，回调接受1个数字参数
acceptSameLength(['foo'], (a: number) => 123);

// ❌ 报错：数组长度1，但回调接受2个数字参数
acceptSameLength(['foo'], (a: number, b: number) => 123);

// ❌ 报错：数组长度2，但回调只接受1个数字参数
acceptSameLength(['foo', 'bar'], (a: number) => 123);

原理说明 #

1. 泛型元组推导：通过<T extends readonly string[]>约束泛型T，让TypeScript把传入的字面量数组自动推导为元组类型（而非普通的string[]）。元组的length属性是字面量数值（比如['foo']的length是1），而普通数组的length是number类型，无法做精确匹配。
2. 映射类型生成匹配参数：用{ [K in keyof T]: number }生成一个和元组T长度完全一致的数字元组。映射类型会遍历元组的每个索引位置，把每个位置的类型替换为number，这样回调函数的参数数量就和字符串数组的长度强制绑定了。

对比你的尝试 #

你之前的代码泛型约束过于复杂，其实只需要让第一个参数被推导为元组即可。不需要额外的Exclude或者复杂的联合类型，利用TypeScript对元组的原生支持就能实现长度匹配，而且完全适配20-30长度的场景，不用硬编码任何重载。

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