即便一个 promise 立即被 resolve，`.then`、`.catch` 和 `.finally` **下面**的代码也会在这些处理程序之前被执行。

异步任务需要适当的管理。为此，JavaScript 标准指定了一个内部队列 `PromiseJobs`，通常被称为 “microtask 队列”（v8 术语）。

浏览器内的 JavaScript 以及 Node.js 的执行流程都是基于**事件循环**的。

“事件循环”是引擎休眠并等待事件的过程。只有当事件发生时才会处理它们，然后重新进入休眠状态。

事件可能来自外部，例如用户操作，或者也可能来自于内部任务的结束信号。

例如下面的事件：

- `mousemove`，用户移动了他们的鼠标。

- `setTimeout` 处理程序将被调用。

- 一个外部的 `<script src="...">` 被加载完成，准备执行。

- 网络操作，例如 `fetch` 被完成。

- 等等。

事情发生了 —— 引擎处理它们 —— 并等待更多的事情发生（在休眠时消耗接近零 CPU）。

如你所见，这里也有一个队列。所谓的 “macrotask（宏任务）队列”（v8 术语）。

当一个事件发生时，如果引擎正忙，它的处理程序就会进入这个队列排队等待执行。

例如，当引擎忙于处理网络 `fetch` 请求时，用户可能会移动他们的鼠标，这会触发 `mousemove`，或者相应的 `setTimeout` 等等，正如上图所示。

来自 macrotask 队列的事件基于“先进 —— 先处理”的原则被处理。当浏览器引擎完成 `fetch` 时，它会接着处理 `mousemove` 事件，然后是 `setTimeout` 处理程序，等等。

到目前为止，很简单，对吧？引擎正忙，所以其他任务需要排队。

现在重要的东西来了。

**Microtask 队列的优先级高于 macrotask 队列。**

换句话说，引擎会首先执行所有的 microtask，然后执行 macrotask。

例如，下面的代码：

```js run

setTimeout(() => alert("timeout"));

Promise.resolve()

.then(() => alert("promise"));

alert("code");

顺序是什么？

1. `code` 第一个出现，因为它是一个常规的同步调用。

2. `promise` 第二个出现，因为 `.then` 通过 microtask 队列被执行，并在当前代码之后运行。

3. `timeout` 最后出现，因为它来自于 macrotask 队列。

可能会发生这样的情况，在处理 macrotask 时，新的 promise 被创建。

或者，反过来说，一个 microtask 调度了一个 macrotask（例如 `setTimeout`）。

例如，这里的 `.then` 调度了一个 `setTimeout`：

```js run

Promise.resolve()

.then(() => {

setTimeout(() => alert("timeout"), 0);

})

.then(() => {

alert("promise");

});

当然，`promise` 会首先出现，因为 `setTimeout` 宏任务在一个低优先级的 macrotask 队列中进行等待。

作为一个合乎逻辑的结果，只有当 promise 给引擎一个“空闲时间”时才处理 macrotask。因此，如果我们有一系列不等待任何事情的 promise 处理程序，它们会被一个接一个地执行，`setTimeout`（或者用户操作处理程序）永远不能在它们之间运行。

例如，考虑以下的代码：

window.addEventListener('unhandledrejection', event => {

alert(event.reason); // Promise Failed!

});

我们创建一个 rejected 的 `promise` 并且没有处理错误。所以我们有了一个 “未处理的 rejection”（也会在控制台打印出来）。

如果我们添加了 `.catch`，我们就不会见到这个“未处理的 rejection”，如下所示：

promise.catch(err => alert('caught'));

如下所示，现在我们假设会在 `setTimeout` 之后抓住这个错误：

现在再次出现“未处理的 rejection”。为什么？因为 `unhandledrejection` 在 microtask 队列完成时才会被生成。而引擎会检查 promise，如果其中的任何一个出现 “rejected” 状态，`unhandledrejection` 事件就会被触发。

在这个例子中，`.catch` 当然被 `setTimeout` 触发器添加了，只是会在 `unhandledrejection` 出现之后被执行。

- Promise 处理始终是异步的，因为所有 promise 操作都被放入内部的 “promise jobs” 队列执行，也被称为 “microtask 队列”（v8 术语）。

如果我们需要确保一段代码在 `.then/catch/finally` 之后被执行，最好将它添加到 `.then` 的链式调用中。

- 还有一个 “macrotask 队列”，用于保存各种事件，网络操作结果，`setTimeout` —— 调度的方法，等等。这些也被称为 “macrotasks（宏任务）”（v8 术语）。

引擎使用 macrotask 队列按出现顺序处理它们。

**Macrotasks 在当前代码执行完成并且 microtask 队列为空时执行。**

换句话说，它们的优先级较低。

所以顺序是：常规代码，然后是 promise 处理程序，然后是其他的一切，比如事件等等。