await 单个 Promise 与异步迭代器的异步解析顺序

Question

所以这是基于我在开发一个包以简化异步生成器或迭代器时发现的。

通常情况下，promise 的执行顺序是由它被调用的时间决定的，这意味着以下是正确的（在 Windows 和 Mac 上的 Chrome 和 Node 中）。

let resolve, promise = new Promise(r => resolve = r);

(async () => {
  await promise
  console.log('1st')
})();
(async () => {
  await promise
  console.log('2nd')
})();

resolve();

但是，在处理异步生成器或迭代器时，不遵守此顺序

let resolve, promise = new Promise(r => resolve = r);

async function* generator() {
   yield promise
}

(async () => { // regular promise
  await promise
  console.log('1st')
})();
(async () => { // promise generator
 for await (let _ of generator())
   console.log('3rd (should be 2nd)')
})();
(async () => { // promise iterator
 for await (let _ of [promise])
   console.log('4th (should be 3rd)')
})();
(async () => { // regular promise again
  await promise
  console.log('2nd (should be 4th)')
})();

resolve();

我不确定“执行/解决顺序”是否是正确的术语，但这个顺序是否得到保证？有什么办法可以在 Node 或 Browser 程序中保证这个顺序？

Answer 1

承诺解决顺序有保证：

25.6.1.8 TriggerPromiseReactions（反应，参数）

[...]

1. 对于reactions中的每个reaction，在原始插入顺序中，做

   一个。执行 EnqueueJob("PromiseJobs", PromiseReactionJob, >)

要了解迭代器发生了什么，请查看以下 sn-p：

let resolve, promise = new Promise(r => resolve = r);

let chained = promise.then(it => Promise.resolve());

(async () => {
  await chained;
  console.log("2nd");
})();

(async () => { // regular promise
  await promise
  console.log('1st')
})();


resolve();

如您所见，当另一个 Promise 解决时，一个 Promise 会得到解决，这需要两个微滴。

这就是异步迭代器中发生的事情。当您调用.next 时，会返回一个 Promise 并将其存储在迭代器内部队列中。同时，异步生成器函数的执行继续进行。然后，当异步迭代器 yields （在您的情况下是一个微滴之后）时，它会解析队列中的下一个承诺。由于 promise 解析是另一个微任务，因此总共需要两个滴答声。

resolve();
// 1 microtick
await promise; // generators await yielded promises implicitly
yield; 
// 1 microtick
for await(const _ of iterator)