TypeScript中如何处理元组联合类型的参数展开问题？

问题原因 #

TypeScript对联合类型的元组进行展开时，无法自动推断每个分支都匹配目标函数的参数类型，因此抛出A spread argument must either have a tuple type or be passed to a rest parameter错误。

简单实现方法 #

方法1：类型断言 #

直接将联合元组断言为兼容函数参数的统一元组类型：

const p3: [number, string] | [number, number] = createParams()
test(...(p3 as [number, number | string]))

[number, string]和[number, number]都是[number, number | string]的子类型，断言后编译器可识别参数匹配。

方法2：类型守卫拆分分支 #

通过类型守卫将联合类型拆分为确定的元组分支，每个分支单独展开调用：

const p3: [number, string] | [number, number] = createParams()

if (typeof p3[1] === 'string') {
  test(...p3) // 此时p3被推断为[number, string]
} else {
  test(...p3) // 此时p3被推断为[number, number]
}

这种方式保留了类型检查的严谨性，避免断言带来的潜在风险。

方法3：调整返回类型（若可控） #

如果createParams函数由你实现，直接让它返回[number, number | string]而非联合类型，无需额外处理即可直接展开：

function createParams(): [number, number | string] {
  return Math.random() > 0.5 ? [42, 'test'] : [42, 3.14]
}

const p3 = createParams()
test(...p3) // 无报错

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