需求是这样的,有一个 test 函数
- 接收一个参数,该参数的类型为函数数组,每个函数返回一个 Promise
- 执行 test 函数后,会返回一个数组,数组内的每个值会对应传入的函数数组执行后的结果
最终想要达到的效果:
// 伪代码
function test(data) {}
const [r1,r2] = await test([ () => Promise.resolve(1), () => Promise.resolve(true) ])
// 类型:[number, boolean]
我参考了 Promise.all 的类型定义,
Promise.all 的类型定义:
all<T extends readonly unknown[] | []>(values: T): Promise<{ -readonly [P in keyof T]: Awaited<T[P]> }>;
弄出下面的类型定义:
function test<T extends readonly (() => Promise<any>)[]>(data: T): Promise<{
-readonly [p in keyof T]: Awaited<
T[p] extends () => Promise<any> ? ReturnType<T[p]> : T[p]
>
}> {}
但出来的效果是这样的:
const [r1,r2] = await test([ () => Promise.resolve(1), () => Promise.resolve(true) ])
// 类型:[number | boolean, number | boolean]
每个值的类型推断都是 | ,而 Promise.all 能精确地指出数组每个值分别是什么类型
所以我想请教下大家,如何修改上面的定义,让 TypeScript 推断的类型从
[number | boolean, number | boolean] 变为 [number, boolean]