Promise.all

题目链接

题目

给函数PromiseAll指定类型，它接受元素为 Promise 或者类似 Promise 的对象的数组，返回值应为Promise<T>，其中T是这些 Promise 的结果组成的数组。

const promise1 = Promise.resolve(3);
const promise2 = 42;
const promise3 = new Promise<string>((resolve, reject) => {
  setTimeout(resolve, 100, 'foo');
});

// 应推导出 `Promise<[number, 42, string]>`
const p = PromiseAll([promise1, promise2, promise3] as const)

解答

注意到，PromiseAll接收的参数可能是一个Promise，也可能是一个普通值。

我们需要返回的是一一对应values的已等待的结果的数组的Promise。

一个简单的想法如下：

declare function PromiseAll<T extends any[]>(values: T): Promise<{
  [P in keyof T]: Awaited<T[P]>
}>

但是这个类型无法通过样例：

const promiseAllTest3 = PromiseAll([1, 2, Promise.resolve(3)])
Expect<Equal<typeof promiseAllTest3, Promise<[number, number, number]>>>

因为输入的参数[1, 2, Promise.resolve(3)]的类型退化为(number | Promise<number>)[]

我们需要一个类型来处理这种情况，我们可以使用readonly来解决这个问题。

readonly可以保持数组的类型，而不会退化为联合类型。

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