TypeScript泛型函数为何无法使用ReturnType与Parameters？

我尝试编写一个泛型包装函数，原以为以下代码可行但实际无法运行：

function wrapFunctionWithLogging<T extends Function>(f: (...args: Parameters<T>) => ReturnType<T>): ReturnType<T>  {
      return function (...args: Parameters<T>) {
        console.log('before ');
        try {
          return f(...args);
        } catch (error) {
          console.error(error);
          throw error;
        } finally {
          console.log('done');
        }
      };
    }

而使用两个泛型参数（wrapFunctionWithLogging<TArgs extends any[], TReturn>）的版本可以正常运行，我想知道前者失效的原因。

核心原因分析 #

1. 返回值类型完全错误
   你声明函数返回ReturnType<T>，但实际返回的是一个新的包装函数——ReturnType<T>是原函数T的返回值类型（比如原函数返回number，那它就是number），和你实际返回的函数类型完全不兼容，TypeScript直接会抛出类型不匹配的错误。

2. T extends Function的约束太宽泛
   用Function作为泛型约束时，TypeScript对T的类型推导精度不足，虽然Parameters<T>和ReturnType<T>能勉强提取类型，但结合错误的返回值定义，整个类型逻辑彻底混乱。而且Function是一个模糊的顶层类型，无法精准描述原函数的签名细节。

双泛型版本为什么能正常工作 #

当你拆分出参数和返回值两个泛型（TArgs extends any[], TReturn）时，函数签名会明确成：

function wrapFunctionWithLogging<TArgs extends any[], TReturn>(
  f: (...args: TArgs) => TReturn
): (...args: TArgs) => TReturn {
  // 包装逻辑
}

这里返回值清晰定义为和原函数同签名的函数类型，泛型拆分也让TypeScript能精准推导参数和返回值的类型，完全匹配包装函数“输入一个函数，返回同签名包装函数”的逻辑。

另外，单泛型版本还有个隐性问题：就算你把返回值改成正确的函数类型，T extends Function在处理重载函数时，Parameters<T>和ReturnType<T>也无法正确提取所有重载的类型，而双泛型拆分的写法能避免这个问题。

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