常量函数、重载和泛型类型脚本

Question

Typescript支持函数重载，这很酷，可以像这样重载一个常量函数:

interface FetchOverload {
  (action: string, method: 'post' | 'get'): object;
  (action: string): object
}

const fetch: FetchOverload = (action: string, method: 'get' | 'post' = 'get'): object { ... }

但假设我想通知预期的响应类型，而不是任何对象。我可以通过简单地用所需类型替换object来实现这一点：

interface FetchOverload {
  (action: string, method: 'post' | 'get'): UserResponse;
  (action: string): UserResponse
}

const fetch: FetchOverload = (action: string, method: 'get' | 'post' = 'get'): UserResponse { ... }

如果我想更进一步，而不是说它只能返回User响应类型的响应，我可以返回一个泛型类型：

interface FetchOverload<T> {
  (action: string, method: 'post' | 'get'): T;
  (action: string): T
}

const fetch: FetchOverload<T> = (action: string, method: 'get' | 'post' = 'get'): T { ... }

问题是，对于< code>const，没有泛型类型< code>T。事实上没有，我需要在某处声明< code>T是一个泛型类型，但是我不知道在哪里！

我到处尝试，无法理解有一个T类型：

<T> const fetch: ...
const <T> fetch: ...
const fetch <T>: ...
const fetch: <T> FetchOverload<T> = ...
const fetch: FetchOverload<T> = <T> (action: ...)

我找到的唯一解决方案是将const函数转换为带有重载的本机函数：

function fetch<T>(action: string, method: 'post' | 'get'): T;
function fetch<T>(action: string): T;
function fetch<T>(action: string, method: 'post' | 'get' = 'get'): T { ... }

因此，我想知道的是，实际上我是否需要这样使用它，或者是否仍然有一些继续使用< code>const的解决方案。

Answer 1

我“发现”了答案，因为我最终在这个问题，这个问题，这个答案和这个答案中遇到了一个非常相似的问题。基本上我会做：

interface FetchOverload {
  <T> (action: string, method: 'post' | 'get'): T;
  <T> (action: string): T
}

export const fetch: FetchOverload = <T,> (action: string, method: 'get' | 'post' = 'get'): T { ... }

实际上，唯一奇怪的是类型后面的逗号，但它是强制性的，所以我没有太多事情要做。但一切都解决了！