为何TypeScript不允许使用扩展运算符传递数组作为函数参数？

问题场景 #

在JavaScript中，直接用扩展运算符把数组作为固定参数数量的函数的参数，代码运行完全正常：

function f(a, b) { console.log(a, b) }
let arr = [1, 2]
f(...arr) // 运行正常

但在TypeScript 5.3.2中，同样的写法会抛出错误：

function f(a, b) { console.log(a, b) }
let arr = [1, 2]
f(...arr) // 错误提示：A spread argument must either have a tuple type or be passed to a rest parameter.(2556)

错误原因 #

这不是TypeScript的bug，而是它的类型安全检查机制导致的。
TypeScript会把未显式标注类型的let arr = [1,2]推断为number[]——也就是任意长度的数字数组。而函数f明确需要两个参数，TypeScript无法保证这个数组的长度恰好是2：如果数组长度不够，函数后续参数会是undefined；如果数组过长，多余的值会被忽略，这些都是潜在的运行时问题。所以TypeScript会提前抛出错误，帮你规避风险。

规避方法 #

• 给数组标注元组类型：明确告诉TypeScript这个数组的长度和元素类型是固定的

  function f(a, b) { console.log(a, b) }
  let arr: [number, number] = [1, 2]
  f(...arr) // 正常通过检查
  

• 使用类型断言：强制指定数组为符合要求的元组（注意：这种方式会跳过类型检查，要确保数组实际长度确实符合函数参数数量）

  function f(a, b) { console.log(a, b) }
  let arr = [1, 2]
  f(...(arr as [number, number])) // 正常通过检查
  

• 修改函数为剩余参数形式：让函数接受任意数量的参数，这样扩展任何数组都合法

  function f(...args: number[]) { console.log(args[0], args[1]) }
  let arr = [1, 2]
  f(...arr) // 正常通过检查
  

相关讨论 #

TypeScript官方仓库中针对这个问题有过详细讨论（Issue编号：microsoft/TypeScript#49700），核心逻辑就是TypeScript优先保障类型安全，即使对应的JavaScript代码合法，也会对存在潜在风险的写法进行提示。

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