如何基于函数参数数量实现TypeScript函数重载？

你可以通过泛型+条件类型实现严格的参数约束，让函数f根据传入的函数G的参数数量，动态决定是否需要接收第二个参数。以下是正确的实现：

function f<F extends (...args: any[]) => any>(
  fn: F,
  ...args: Parameters<F> extends [] ? [] : [Parameters<F>]
): void {
  // 示例实现逻辑
  if (args.length > 0) {
    fn(...args[0]);
  } else {
    fn();
  }
}

代码原理说明 #

• 泛型F约束为任意函数类型，确保第一个参数是合法函数。
• 剩余参数args通过条件类型动态限制：
  • 若F是无参函数（Parameters<F> extends []为true），则args类型为[]，不允许传入任何额外参数。
  • 若F有1个及以上参数，则args类型为[Parameters<F>]，必须传入一个与F参数列表类型完全匹配的数组作为第二个参数。

测试验证 #

逐一验证你的场景：

1. f(() => {}) → 正常，符合预期。
2. f((a: number) => {}, [2]) → 正常，符合预期。
3. f((a: number) => {}, ['a']) → 报错：类型'string'不能赋值给类型'number'，符合预期。
4. f((a: number) => {}) → 报错：缺少2个参数中的第2个，正确提示缺少第二个参数，解决了之前的逻辑错误。
5. f(() => {}, []) → 报错：应有0个参数，但获得1个，符合预期，禁止给无参函数传额外参数。

原重载方案失效原因 #

你之前的重载问题源于TypeScript的函数兼容性规则：无参函数可以赋值给接受任意参数的函数类型（调用时可忽略多余参数），导致() => any会匹配第二个重载。而条件类型通过严格的类型约束，直接限制了无参函数不能传第二个参数，从根源上避免了这个问题。

内容的提问来源于stack exchange，提问作者jeron-diovis