TypeScript多函数工厂参数类型推断报错及Parameters工具类型疑问

嗨，我来帮你梳理下这个问题~

首先先还原你的代码和遇到的问题：

你写了这样的TypeScript代码：

const foo = (a: string, b: string) => {
  console.log('foo', a, b);
};

const bar = (a: number, b: number) => {
  console.log('bar', a, b);
};

const factory =
  <M extends typeof foo | typeof bar>(method: M) =>
  (...args: Parameters<M>) => {
    method(...args); // 这里TypeScript抛出错误：A spread argument must either have a tuple type or be passed to a rest parameter.
  };

你想做一个能适配不同参数函数的工厂，但遇到了上述报错，同时疑惑Parameters工具类型是不是返回元组类型。

先解答你的核心疑问：Parameters确实返回元组类型 #

比如Parameters<typeof foo>会得到明确的元组类型[string, string]，Parameters<typeof bar>会得到[number, number]，本质都是元组。那为什么还会报错呢？

报错原因分析 #

问题出在TypeScript对联合类型的处理逻辑上：当M是typeof foo | typeof bar的联合类型时，Parameters<M>会变成[string, string] | [number, number]——这是一个元组的联合类型，而非单个确定的元组。TypeScript无法提前确定你传入的args到底对应哪个元组，因此在执行method(...args)的展开操作时，它无法确认这个操作的类型安全性，就抛出了错误。

两种可行的解决方法 #

方案一：用类型断言明确参数匹配关系

既然我们明确args就是当前method对应的参数类型，直接给展开操作加个类型断言就能解决：

const factory =
  <M extends typeof foo | typeof bar>(method: M) =>
  (...args: Parameters<M>) => {
    method(...args as Parameters<M>);
  };

方案二：调整泛型约束，让TypeScript精准推断

换一种泛型写法，直接把函数的参数列表作为泛型变量，避免联合类型的模糊性：

const factory = <A extends any[]>(method: (...args: A) => void) => 
  (...args: A) => {
    method(...args);
  };

// 使用示例：
const fooFactory = factory(foo);
fooFactory("hello", "world"); // 类型校验正常

const barFactory = factory(bar);
barFactory(123, 456); // 类型校验正常

这种写法下，TypeScript能精准推断每个工厂函数对应的参数类型，自然不会再报错。

备注：内容来源于stack exchange，提问作者Hyesung Oh