Promise.all
题目
Github: Promise.all
传入函数PromiseAll
,它接受PromiseLike对象数组,返回值应为Promise<T>
,其中T
是解析的结果数组。
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)
解题思路
这个挑战要求我们从 Promise.all
方法的入参中,提取出 参数类型。 Promise.all
接收一个数组参数,数组的每个成员可以是不同的类型,这也包括 Promise<T>
类型, 对于 Promise<T>
类型,需要递归展开获取 T
类型。
这个挑战实际上可以转换为 对 数组的每个成员进行递归展开,即对每个成员进行 Awaited
的展开操作。 我们已经在 简单 > Awaited 中完成了该挑战:
type Awaited<T> = T extends Promise<infer R> ? Awaited<R> : T
因此,我们只需要完成 参数的类型约束,再对返回类型进行做 映射类型 的操作即可。
答案
type Awaited<T> = T extends Promise<infer R> ? Awaited<R> : T
declare function PromiseAll<T extends any[]>(
values: readonly [...T],
): Promise<{
[K in keyof T]: Awaited<T[K]>
}>
验证
const promiseAllTest1 = PromiseAll([1, 2, 3] as const)
const promiseAllTest2 = PromiseAll([1, 2, Promise.resolve(3)] as const)
const promiseAllTest3 = PromiseAll([1, 2, Promise.resolve(3)])
const promiseAllTest4 = PromiseAll<Array<number | Promise<number>>>([1, 2, 3])
type cases = [
Expect<Equal<typeof promiseAllTest1, Promise<[1, 2, 3]>>>,
Expect<Equal<typeof promiseAllTest2, Promise<[1, 2, number]>>>,
Expect<Equal<typeof promiseAllTest3, Promise<[number, number, number]>>>,
Expect<Equal<typeof promiseAllTest4, Promise<number[]>>>,
]