process.nextTick、微任务、宏任务优先级

Node.js 的事件循环不同于浏览器，其中最显著的区别是引入了 process.nextTick 这一特殊机制。理解 process.nextTick、微任务和宏任务的优先级关系，是掌握 Node.js 异步执行顺序的关键。

1. 定义回顾

宏任务（Macrotask）：包括 setTimeout、setInterval、setImmediate、I/O 操作完成回调等。它们处于事件循环的各个阶段，不同阶段处理不同类型的宏任务。
微任务（Microtask）：包括 Promise 的 then/catch/finally 回调、async/await 中 await 之后的代码（本质是 Promise）。微任务队列在事件循环的每个阶段切换时、且当前宏任务执行完后立即清空。
process.nextTick：这是 Node.js 特有的，不属于宏任务也不属于标准的微任务，而是拥有独立队列。它的回调会在当前操作完成后、下一阶段开始前立即执行，甚至在微任务之前。

2. 优先级顺序：nextTick > 微任务 > 宏任务

可以用这样的层级来描述它们的执行优先级：

当前执行栈代码 → process.nextTick 队列 → 微任务队列（Promise） → 宏任务队列（各阶段）

具体规则：

每执行完一个宏任务（或一段代码），Node.js 会先清空 process.nextTick 队列中的所有回调。
接着，清空所有微任务队列（Promise）。
然后，事件循环继续前进到下一个阶段，取出并执行下一个宏任务。

process.nextTick 的优先级甚至高于 Promise，这是因为 nextTick 的设计初衷是在当前操作完成后、任何异步任务之前立即执行某些逻辑，比如某些 API 需要确保在用户代码继续执行前完成状态同步。

3. 代码验证

以下代码可以清晰地演示三者的优先级：

setTimeout(() => {
  console.log('1. setTimeout（宏任务）');
}, 0);

setImmediate(() => {
  console.log('2. setImmediate（宏任务）');
});

Promise.resolve().then(() => {
  console.log('3. Promise（微任务）');
});

process.nextTick(() => {
  console.log('4. process.nextTick');
});

console.log('5. 同步代码');

输出顺序：

5. 同步代码
4. process.nextTick
3. Promise（微任务）
1. setTimeout（宏任务）
2. setImmediate（宏任务）

解释：

先执行所有同步代码，输出 5。
同步代码执行完毕，立即清空 nextTick 队列，输出 4。
接着清空微任务队列，输出 3。
进入事件循环，Timer 阶段执行 setTimeout，输出 1。
继续到 Check 阶段，执行 setImmediate，输出 2。

4. 实际开发中的使用建议

能用微任务解决问题的，尽量不用 nextTick。因为 nextTick 的优先级过高，如果在 nextTick 中递归调用自身，会导致事件循环“饿死”，永远无法进入下一个阶段。例如：process.nextTick 的递归调用会让 I/O 回调得不到执行，程序陷入死循环。
nextTick 的典型场景：
需要确保在“当前执行栈完成，但其他任何异步操作（包括 Promise）之前”执行某些清理或状态同步操作。
Node.js 内部很多核心模块（如 Stream、EventEmitter）会在合适时使用 nextTick 来保证事件的触发时机符合预期。
微任务使用：Promise 和 async/await 是实现异步流程控制的标准方式，也是日常开发中的首选。
宏任务使用：setTimeout、setImmediate 用于将回调放到后续阶段执行；注意 setImmediate 在 Node.js 中总是比 setTimeout(fn,0) 先执行，除非在 I/O 回调中（具体取决于阶段）。

5. 易错点提醒

在同一个 Node.js 版本和环境下，setTimeout(fn, 0) 和 setImmediate 的执行顺序并非绝对固定。在非 I/O 循环（如主模块）中，它们的顺序受系统调度影响，可能 setTimeout 先执行，也可能 setImmediate 先执行。但在 I/O 回调内部，setImmediate 总是先于 setTimeout。
process.nextTick 虽然像微任务，但不是微任务，它的队列独立且优先级更高。在某些文档中会被称为“微任务”，但应该明确区分，避免混淆。

记忆口诀：nextTick 是插队，微任务是正常队列，宏任务是等待叫号。