在使用通用初始值设定项 function 时，如何让 typescript 正确推断类型？

Question

我有一个 function 可以采用这样的可调用形式的参数：

type Initial<T> = T | PromiseLike<T> | (() => T) | (() => PromiseLike<T>)

const usePromise = <T>(initial: Initial<T>): T => {
  let result: unknown = null
  
  /* ... */
  
  return result as T
}

如果initial的类型类似于Promise<number>或PromiseLike<number> ，则 typescript 会正确地将T的类型推断为number 。 但是，如果initial是 function 类型，如() => PromiseLike<number> ，则 typescript 将T推断为PromiseLike<number> 。 例如：

// good:
const initial1 = new Promise<number>(() => null)
const result1 = usePromise(initial1)  // result1: number (OK)

// bad:
const initial2: () => PromiseLike<number> = () => new Promise(() => null)
const result2 = usePromise(initial2)  // result2: PromiseLike<number> (ERROR, should be number)

注意：显然这些承诺永远不会解决或拒绝，但这个问题纯粹是关于类型推断的。

如何让 typescript 也正确推断第二个示例中的类型？

Answer 1

该联合提供了多个有效的推理目标。 单数T类型始终有效，并且 TypeScript 可能不会进行计算以查看(() => PromiseLike<T>)也是一个有效目标。 我们需要明确给出一个推理顺序，让编译器首先检查更具体的类型，例如(() => PromiseLike<T>) 。 我建议使用重载。

重载按顺序解决。 第一个过载在第二个过载之前被检查等等......

type Initial<T> = T | PromiseLike<T> | (() => T) | (() => PromiseLike<T>)

function usePromise<T>(initial: (() => PromiseLike<T>)): T
function usePromise<T>(initial: (() => T)): T
function usePromise<T>(initial: PromiseLike<T>): T
function usePromise<T>(initial: T): T
function usePromise<T>(initial: Initial<T>): T {
  let result: unknown = null
  
  /* ... */
  
  return result as T
}

---

操场