TypeScript - 泛型被错误地推断为未知

Question

我有以下通用功能：

export function useClientRequest<T, R extends (...args: any) => AxiosPromise<T>>(
  func: R,
  ...args: Parameters<R>
): [T | undefined, boolean, AxiosError | undefined] {
  // Irrelevant
}

总而言之，函数的返回值包含一个类型为 T 的值，应该按照上面的描述进行推断。

然后我尝试按如下方式使用它：

interface Foo {
  // ...
}

function fooGetter(url: string): AxiosPromise<Foo> {
  return Axios.get<Foo>(url);
}

const [data] = useClientRequest(fooGetter, 'url.com');

但是，我的 IDE 报告该data类型为unknown，因为T被推断为unknown.

我做错了什么还是这是 TypeScript 的限制？

打字稿 v3.7.2

我知道我可以指定类型参数。我想知道为什么它们被错误地推断出来，以及我是否可以以某种方式更改实现以帮助推断机制。

Answer 1

从打字稿规范：

类型参数可以在参数类型和返回类型注释中引用，但不能在引入它们的调用签名的类型参数约束中引用。

鉴于您的函数签名，

<T, R extends (...args: any) => AxiosPromise<T>>(
  func: R, ...args: Parameters<R>
): [T | undefined, boolean, AxiosError | undefined]

，我对上述语句的解释是，T出现在参数的类型参数约束签名extends (...args: any) => AxiosPromise<T>中R，因此无法正确解析。unknown只是泛型类型参数的隐式默认约束类型。

所以这些人为的例子会起作用：

declare function fn0<T, U extends T>(fn: (t: T) => U): U
const fn0Res = fn0((arg: { a: string }) => ({ a: "foo", b: 42 }))  // {a: string; b: number;}

declare function fn1<T, F extends (args: string) => number>(fn: F, t: T): T
const fn1Res = fn1((a: string) => 33, 42) // 42

在接下来的两个示例中，编译器推断T为unknown，因为T仅在 的调用签名约束中引用U，而未在函数参数代码位置中用于进一步的编译器提示：

declare function fn2<T, U extends (args: T) => number>(fn: U): T
const fn2Res = fn2((arg: number) => 32) // T defaults to unknown

declare function fn3<T, U extends (...args: any) => T>(fn: U): T
const fn3Res = fn3((arg: number) => 42) // T defaults to unknown

可能的解决方案（选择最合适的）

1.) 你可以引入类型参数T并且R只针对函数参数和返回类型：

declare function useClientRequest2<T, R extends any[]>(
    func: (...args: R) => Promise<T>,
    ...args: R
): [T | undefined, boolean, AxiosError | undefined]

const [data] = useClientRequest2(fooGetter, 'url.com'); // data: Foo | undefined

2.) 这是条件类型的替代方案（更详细一点）：

declare function useClientRequestAlt<R extends (...args: any) => Promise<any>>(
    func: R,
    ...args: Parameters<R>
): [ResolvedPromise<ReturnType<R>> | undefined, boolean, AxiosError | undefined]

type ResolvedPromise<T extends Promise<any>> = T extends Promise<infer R> ? R : never
const [data2] = useClientRequestAlt(fooGetter, 'url.com'); // const data2: Foo | undefined

操场

Answer 2

我无法回答为什么它不起作用。但是，我会做这样的事情：

type UnpackedAxiosPromise<T> = T extends AxiosPromise<infer U> ? U : T; 

function useClientRequest<R extends (...args: any) => any>(
    func: R,
    ...args: Parameters<R>
  ): [UnpackedAxiosPromise<ReturnType<R>> | undefined, boolean, AxiosError | undefined] {
    //irrelevant
  }