TypeScript泛型被错误推断为unknown的问题排查与优化

这是TypeScript 3.7.2版本的类型推断限制，不是你的使用错误。让我拆解一下问题原因，再给出优化实现的方案：

问题原因 #

TypeScript 3.7.2的类型推断系统在处理嵌套泛型依赖时存在局限性：

• 你的泛型参数顺序是<T, R extends (...args: any) => AxiosPromise<T>>，其中T是独立的泛型参数，但它并没有直接出现在函数的入参类型中——而是嵌套在R的返回类型里。
• TS的类型推断逻辑是从入参到返回值的正向推断，对于这种需要从R的返回值反向推导T的场景，旧版本无法自动关联两者的关系，最终T会被 fallback 为unknown。

优化实现方案 #

你可以修改函数的泛型定义，让T从R中自动推断出来，无需手动指定类型参数。有两种常见的实现方式：

方案1：利用条件类型提取T #

调整泛型参数，只保留R，然后通过条件类型从R的返回值中提取T：

import { AxiosPromise, AxiosError } from 'axios';

export function useClientRequest<R extends (...args: any) => AxiosPromise<any>>(
  func: R,
  ...args: Parameters<R>
): [
  // 从R的返回值中提取AxiosPromise包裹的T类型
  R extends (...args: any) => AxiosPromise<infer T> ? T : undefined,
  boolean,
  AxiosError | undefined
] {
  // 无关逻辑
}

方案2：使用ReturnType简化提取（适配TS 3.7.2） #

先定义一个工具类型解包AxiosPromise的内部类型，再结合ReturnType完成推断：

import { AxiosPromise, AxiosError } from 'axios';

// 工具类型：提取AxiosPromise包裹的内部类型
type UnwrapAxiosPromise<T> = T extends AxiosPromise<infer U> ? U : unknown;

export function useClientRequest<R extends (...args: any) => AxiosPromise<any>>(
  func: R,
  ...args: Parameters<R>
): [UnwrapAxiosPromise<ReturnType<R>> | undefined, boolean, AxiosError | undefined] {
  // 无关逻辑
}

修改后，当你调用const [data] = useClientRequest(fooGetter, 'url.com');时，data会被正确推断为Foo类型，无需手动指定泛型参数。

补充说明 #

如果你暂时无法修改函数实现，手动指定泛型参数useClientRequest<Foo, typeof fooGetter>(fooGetter, 'url.com')确实是可行的临时方案，但优化后的实现能让类型推断更自动化，减少手动维护成本。

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