TypeScript函数调用展开数组报TS2556错误及动态数组场景处理咨询

你遇到的TS2556报错本质是TypeScript的类型校验机制触发的：
默认情况下，你定义的const args = [0,1,2]会被TS推导为number[]类型（长度不固定的数字数组），而foo函数明确要求传入3个独立的number类型参数，TS无法确定这个数组的长度刚好匹配入参要求，因此抛出错误：

A spread argument must either have a tuple type or be passed to a rest parameter

要解决这个问题，只需要让TS识别到args是长度固定为3的元组即可，有两种常用写法：

• 显式声明元组类型

// 明确指定args是长度为3的数字元组
const args: [number, number, number] = [0, 1, 2];
foo(...args); // 校验通过

• 使用const断言

// const断言会让TS把数组推导为只读的固定长度元组
const args = [0, 1, 2] as const;
foo(...args); // 校验通过

对于你补充的new Array(3).map动态生成的数组，无法通过类型自动推导得到元组类型，可采用以下方案：

• 手动添加类型断言
  如果你明确知道生成的数组长度刚好匹配入参要求，直接加类型断言即可，这是最高效的写法：

const args = new Array(3).map(() => Math.random()) as [number, number, number];
foo(...args); // 校验通过

• 封装固定长度数组生成工具
  如果你需要频繁生成固定长度的数组，可以封装通用工具函数，让TS自动推导元组类型，避免重复写断言：

function createFixedArray<T, L extends number>(len: L, generateItem: () => T): T[] & { length: L } {
  return Array.from({ length: len }, generateItem) as any;
}

// 使用时自动识别为长度为3的数字数组
const args = createFixedArray(3, () => Math.random());
foo(...args); // 校验通过

• 修改函数为rest参数形式
  如果业务场景允许，也可以把foo函数调整为接收rest参数，不需要调整入参的使用逻辑，也能解决问题：

// 调整为rest参数形式，支持传入任意长度的数字入参
function foo(...args: number[]) {
  console.log(args.reduce((sum, cur) => sum + cur, 0));
}

const args = new Array(3).map(() => Math.random());
foo(...args); // 校验通过

内容的提问来源于stack exchange，提问作者Martin J.H.