使用承诺数组调用 Promise.all 时打字稿会引发错误

Question

我在 Typescript 中遇到了 Promise 的问题。我正在尝试使用一系列承诺调用 Promise.all但相反，我得到了

没有重载匹配这个调用。最后一次重载给出了以下错误。'(Promise | Promise)[]' 类型的参数不可分配给 'Iterable<boolean | 类型的参数 PromiseLike>'。[...]

下面是我所指的简化示例：

const promise1 = Promise.resolve(true);         //promise1:Promise<boolean>
const promise2 = Promise.resolve('promise...'); //promise2:Promise<string>
const promises = [promise1, promise2];

Promise.all(promises); //Error here

但是，下面的代码按我的假设工作。：

const promise1 = Promise.resolve(true);
const promise2 = Promise.resolve('promise...');

Promise.all([promise1, promise2]);

对我来说似乎是一个错误，但我不确定。我一直在浏览 GitHub，搜索这个问题，但没有找到任何匹配项。或者我做错了什么，有一个解决方案，所以你可以克服这个问题。显然，我不能只在我的主要代码中编写 Promise.all([promise1, promise2])，因为 promise 数组是动态的。

我正在使用打字稿@3.9.6。

Answer 1

问题与 Promise 本身无关，而是与 TypeScript 推断元组类型的方式有关。

您可以在此答案中阅读有关实际问题的更多信息，但其要点如下

const a = [1, "a", true] //<- (string | number | boolean)[], not [number, string, boolean]

这个问题应该通过在 TS 4.0 中引入可变参数来解决。目前，有两种方法可以做你想做的事。

第一个是const 断言

const b = [1, "a", true] as const // <- [number, string, boolean]

第二个是使用一个实用函数，就像我上面链接的答案中发布的那个一样。

在您的特定情况下，Promise.all输入的方式与 TS 如何推断promises. 通过使用上述方法之一使用适当的元组，可以轻松解决此问题。

游乐场链接