如何利用Parameters<F>推断参数类型并修复call函数类型错误？

修复后的代码 #

function call<F extends (...args: any[]) => any>(
  fn?: F,
  ...args: Parameters<F>
): ReturnType<F> | undefined {
  if (fn) return fn(...args);
  return undefined;
}

const fn = (a: string) => {};

// 自动推断参数类型，此处会提示需传入string类型参数
call(fn, "test");
// 不传参数会触发类型报错，符合预期
call(fn);

问题解析与修复说明 #

• 类型错误解决：原代码单独声明泛型P extends Parameters<F>，导致TypeScript无法明确识别P为可迭代的元组类型，进而报错。直接将剩余参数类型设为Parameters<F>，TypeScript能直接关联到函数F的参数元组，支持展开操作。
• 自动参数推断：简化泛型定义后，传入fn时TypeScript会自动从fn的类型中提取参数信息，调用call时会自动提示对应的参数类型要求，实现预期的自动推断效果。

可选优化（支持无函数传入场景） #

如果需要兼容不传入fn的情况并保证类型检查严谨性，可以调整为：

function call<F extends (...args: any[]) => any = never>(
  fn?: F,
  ...args: F extends never ? [] : Parameters<F>
): F extends never ? undefined : ReturnType<F> | undefined {
  if (fn) return fn(...args);
  return undefined;
}

// 无fn调用时，args必须为空
call();

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