TypeScript接口修改rest参数类型如何不破坏原有实现

报错根因 #

你之前把泛型声明写在f的函数签名上，相当于要求f是一个可以适配任意入参类型的泛型函数，所有实现必须兼容所有可能的rest参数类型，这和你现有固定参数的实现逻辑冲突，所以会触发TS错误。

可选方案 #

方案1：仅需要rest参数类型校验，不需要推断返回值类型 #

直接把原有接口的rest参数类型从any[]改为unknown[]即可，所有现有实现无需任何修改：

interface Options {
  // ...
  f: (a: number, ...rest: unknown[]) => number[];
}

这个方案的效果：

• 所有现有实现完全兼容，TS不会抛错（TS允许函数实现时少声明不需要的参数，any类型也可以兼容unknown类型）
• 调用f时传入的rest参数会被标注为unknown类型，必须做类型收窄才能操作，避免了any的类型安全问题

方案2：需要调用时自动推断rest参数类型，同时推导返回值类型 #

如果你需要和你之前测试的单个泛型函数一样，调用时自动识别rest参数的类型，甚至推导返回值中包含的rest参数类型，可以用接口函数重载的写法：

interface Options {
  // 兼容层签名：和原有定义对齐，保证所有现有实现不需要修改
  f(a: number, ...rest: any[]): number[];
  // 调用层泛型签名：调用时自动推断rest参数类型
  f<T extends unknown[]>(a: number, ...rest: T): [number, ...T];
}

这个方案的效果：

• 现有实现完全兼容，不会触发错误
• 调用f时TS会优先匹配泛型签名，自动推导传入的rest参数类型，返回值也会自动带上rest的类型信息，比如：

const opt: Options = {
  f: (n, ...rest) => [n, ...rest]
}
// 调用时自动推断类型
const res1 = opt.f(1) // 类型为 [number]
const res2 = opt.f(1, {c: "d"}) // 类型为 [number, { c: string }]

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