参考:https://zh.javascript.info/microtask-queue


Promise

Promise 的处理程序(handlers).then、.catch和.finally都是异步的。
即便一个 promise 立即被 resolve,.then、.catch和.finally下面的代码也会在这些处理程序(handler)之前被执行。
示例代码如下:

let promise = Promise.resolve();

promise.then(() => alert(“promise done!”));

alert(“code finished”); // 这个 alert 先显示
如果你运行它,你会首先看到code finished,然后才是promise done。
这很奇怪,因为这个 promise 肯定是一开始就完成的。
为什么.then会在之后才被触发?这是怎么回事?

微任务队列(Microtask queue)

当一个 promise 准备就绪时,它的.then/catch/finally处理程序(handler)就会被放入队列中:但是它们不会立即被执行。当 JavaScript 引擎执行完当前的代码,它会从队列中获取任务并执行它。
这就是为什么在上面那个示例中 “code finished” 会先显示。

Promise 的处理程序(handler)总是会经过这个内部队列。
如果有一个包含多个.then/catch/finally的链,那么它们中的每一个都是异步执行的。也就是说,它会首先进入队列,然后在当前代码执行完成并且先前排队的处理程序(handler)都完成时才会被执行。
如果执行顺序对我们很重要该怎么办?我们怎么才能让code finished在promise done之后运行呢?
很简单,只需要像下面这样使用.then将其放入队列:

Promise.resolve()
.then(() => alert(“promise done!”))
.then(() => alert(“code finished”));
现在代码就是按照预期执行的。

未处理的 rejection

还记得使用 promise 进行错误处理一章中的unhandledrejection事件吗?
现在,我们可以确切地看到 JavaScript 是如何发现未处理的 rejection 的。
如果一个 promise 的 error 未被在微任务队列的末尾进行处理,则会出现“未处理的 rejection”。
正常来说,如果我们预期可能会发生错误,我们会在 promise 链上添加.catch来处理 error:

let promise = Promise.reject(new Error(“Promise Failed!”));
promise.catch(err => alert(‘caught’));

// 不会运行:error 已经被处理
window.addEventListener(‘unhandledrejection’, event => alert(event.reason));
但是如果我们忘记添加.catch,那么,微任务队列清空后,JavaScript 引擎会触发下面这事件:

let promise = Promise.reject(new Error(“Promise Failed!”));

// Promise Failed!
window.addEventListener(‘unhandledrejection’, event => alert(event.reason));
如果我们迟一点再处理这个 error 会怎样?例如:

let promise = Promise.reject(new Error(“Promise Failed!”));
setTimeout(() => promise.catch(err => alert(‘caught’)), 1000);

// Error: Promise Failed!
window.addEventListener(‘unhandledrejection’, event => alert(event.reason));
现在,如果我们运行上面这段代码,我们会先看到Promise Failed!,然后才是caught。
如果我们并不了解微任务队列,我们可能会想:“为什么unhandledrejection处理程序(handler)会运行?我们已经捕获(catch)并处理了 error!”
但是现在我们知道了,当微任务队列中的任务都完成时,才会生成unhandledrejection:引擎会检查 promise,如果 promise 中的任意一个出现 “rejected” 状态,unhandledrejection事件就会被触发。
在上面这个例子中,被添加到setTimeout中的.catch也会被触发。只是会在unhandledrejection事件出现之后才会被触发,所以它并没有改变什么(没有发挥作用)。

总结

Promise 处理始终是异步的,因为所有 promise 行为都会通过内部的 “promise jobs” 队列,也被称为“微任务队列”(ES8 术语)。
因此,.then/catch/finally处理程序(handler)总是在当前代码完成后才会被调用。
如果我们需要确保一段代码在.then/catch/finally之后被执行,我们可以将它添加到链式调用的.then中。
在大多数 JavaScript 引擎中(包括浏览器和 Node.js),微任务(microtask)的概念与“事件循环(event loop)”和“宏任务(macrotasks)”紧密相关。由于这些概念跟 promise 没有直接关系,所以我们将在本教程另外一部分的事件循环:微任务和宏任务一章中对它们进行介绍。