为何泛型返回类型R未被正确推断？如何修复？

问题原因 #

你定义的call函数泛型参数顺序是Args、R、F，TypeScript的泛型推断是按参数顺序优先级进行的。当传入some这个泛型函数时，TS先尝试推断Args为[number[]]，但此时some的泛型T还未确定，导致后续的R无法从F中正确提取返回类型，最终R只能默认 fallback 到unknown。另外，F被Args和R约束的写法本身冗余，反而干扰了正常的类型推断流程。

解决方法 #

方法一：调整泛型参数顺序，优先推断函数类型 #

把F放在泛型参数的第一位，让TS先推断出完整的函数类型，再从中提取参数和返回值类型：

function call<F extends (...args: any[]) => any, Args extends Parameters<F>, R extends ReturnType<F>>(
  fn: F, ...args: Args
): R {
  return fn(...args)
}

function some<T>(a: T[]): string { return "" }

let v = call(some, [1]) // v的类型现在是string

方法二：使用TS工具类型简化写法 #

直接用Parameters和ReturnType工具类型，不需要单独声明Args和R，写法更简洁，推断也更准确：

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

function some<T>(a: T[]): string { return "" }

let v = call(some, [1]) // v的类型为string

两种方法的核心逻辑都是让TS先完整推断出传入函数fn的类型（包括其内部泛型的具体类型），再基于这个完整类型推导参数和返回值类型，这样就能正确得到string类型的返回值了。

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