`promise.all` 的类型定义在这种情况下如何运作良好？

Question

我在做一道type-challenges的题的时候发现了这个问题。

以下代码在情况 3 中将失败：

declare function PromiseAll<A extends readonly unknown[]>(values: A): Promise<{
  -readonly [key in keyof A]: Awaited<A[key]>
}>

// test
const promiseAllTest3 = PromiseAll([1, 2, Promise.resolve(3)]) 
// except Promise<[number, number, number]>, but got Promise<number[]>

但是当我将通用readonly unknown[]更改为(readonly unknown[]) | [] (readonly unknown[]) | []像下面这样，一切都会好的。

declare function PromiseAll<A extends (readonly unknown[]) | [] /* change here */>(values: A): Promise<{
  -readonly [key in keyof A]: Awaited<A[key]>
}>

// test
const promiseAllTest3 = PromiseAll([1, 2, Promise.resolve(3)]) // Promise<[number, number, number]>

我不明白为什么向通用“A”添加“[]”约束会影响案例 3。我根本无法将它们关联起来。

另外，正确的实现是我在vscode中找到的lib.es2015.promise.d.ts的标准实现

// lib.es2015.promise.d.ts
/**
 * Creates a Promise that is resolved with an array of results when all of the provided Promises
 * resolve, or rejected when any Promise is rejected.
 * @param values An array of Promises.
 * @returns A new Promise.
 */
all<T extends readonly unknown[] | []>(values: T): Promise<{ -readonly [P in keyof T]: Awaited<T[P]> }>;

我发现这段代码工作正常。 因为它通过转换为 Tuple 来保留所有类型及其位置：

declare function PromiseAll<A extends any[]>(values: readonly [...A]): Promise<{
  [key in keyof A]: Awaited<A[key]>
}>

Answer 1

基本上它是窄元组[number, number, number]类型而不是加宽数组number[]因为添加... | [] ... | []到类型，将文字类型[]添加到定义返回类型的上下文中，在本例中为通用A 。

这是详细解释/实现正在发生的事情的 PR： GitHub

并且您的代码是 PR 中引入的以下更改的完美示例：

为数组文字中的元素推断的类型是表达式的扩展文字类型，除非该元素具有包含文字类型的上下文类型。

PromiseAll的返回类型在A的上下文中定义。 A又在其定义中使用文字类型。 因此它构成了一个“包含文字类型的上下文类型”，阻止了从元组到数组的类型扩展。

Answer 2

作为传递给函数的数组文字的默认推断行为，TypeScript 团队选择推断数组类型而不是元组类型。

如果将鼠标悬停在函数调用上，您可以在工具提示中看到它：

declare function PromiseAll<A extends readonly unknown[]>(values: A): void

PromiseAll([1, 2, Promise.resolve(3)])
// function PromiseAll<(number | Promise<number>)[]>(...)

A的类型被推断为数组类型(number | Promise<number>)[]而不是元组类型[number, number, Promise<number>] 。

这种行为在大多数情况下都可以正常工作，但要正确键入Promise.all()函数，我们需要推断元组类型。 有多种方法可以做到这一点，您在问题中发现了其中两种。

---

但是为什么这两种方法都可以推断出元组类型呢？ 我们可以在#31434中从ahejlsberg得到澄清

我们仅在上下文类型是或包含类似元组的类型时推断元组类型

这几乎是最重要的一点。 (readonly unknown[]) | [] (readonly unknown[]) | []起作用是因为约束中的联合现在包含一个元组类型[] 。 这足以提示编译器推断元组类型。

使用readonly [...A]也可以推断元组，因为它使用的是4.0中引入的可变元组语法。 有关使用可变元组类型进行推理的详细说明，请参阅PR/#39094 。

当数组文字的上下文类型是元组类型时，将为数组文字推断出元组类型。 类型 [...T]，其中 T 是类似数组的类型参数，可以方便地用于指示对元组类型推断的偏好。