为何嵌套的setImmediate回调无法在事件循环同一tick执行？

根据Node.js官方文档中关于事件循环的说明：

每个阶段都有一个待执行回调的FIFO队列。尽管每个阶段各有特性，但通常事件循环进入某个阶段后，会先执行该阶段的特定操作，然后执行队列中的回调，直到队列耗尽或达到最大回调执行数，之后才会进入下一个阶段。

考虑以下代码：

setImmediate(() => {
  console.log("setImmediate 1");
  setImmediate(() => {
    console.log("setImmediate 2");
  });
});

setTimeout(() => {
  console.log("setTimeout 1");
}, 2);

setImmediate(() => {
  console.log("setImmediate 3");
});

实际输出为：

setImmediate 1
setImmediate 3
setTimeout 1
setImmediate 2

而预期的输出是：

setImmediate 1
setImmediate 3
setImmediate 2
setTimeout 1

推理过程如下：

• 调度setImmediate执行"setImmediate 1"（Check队列：["setImmediate 1"]）。
• 调度setTimeout执行"setTimeout 1"（Timer队列：["setTimeout 1"]）。
• 调度setImmediate执行"setImmediate 3"（Check队列：["setImmediate 1", "setImmediate 3"]）。
• 执行setImmediate的"setImmediate 1"（Check队列：["setImmediate 3"]）。
• 打印"setImmediate 1"。
• 调度setImmediate执行"setImmediate 2"（Check队列：["setImmediate 3", "setImmediate 2"]）。
• 执行setImmediate的"setImmediate 3"（Check队列：["setImmediate 2"]）。
• 打印"setImmediate 3"。
• 执行setImmediate的"setImmediate 2"（队列：[]）。
• 打印"setImmediate 2"。
• 执行Timer队列中的setTimeout。
• 打印"setTimeout 1"。

但实际执行到打印"setImmediate 3"后，事件循环转向了Timer队列，跳过了队列中的嵌套setImmediate回调，请问这是为什么？

解答 #

你对事件循环阶段的核心误解在于：Check阶段只会处理「进入该阶段时已经存在的队列任务」，在Check阶段执行过程中新添加的setImmediate回调，不会被加入当前阶段的队列，而是会被放到下一轮事件循环的Check队列中等待执行。

结合你的代码具体分析：

1. 事件循环启动时，Check队列初始包含setImmediate 1和setImmediate 3，Timer队列包含延迟2ms的setTimeout 1。
2. 事件循环进入Check阶段，开始处理初始队列里的任务：
   • 先执行setImmediate 1，此时内部嵌套的setImmediate 2被调度，但它会被放到下一轮的Check队列，而非当前队列的尾部。
   • 接着执行setImmediate 3，此时当前Check阶段的初始队列已经全部处理完毕。
3. 按照事件循环的阶段顺序，Check阶段结束后会进入后续阶段，此时setTimeout 1的2ms延迟已经到期，Timer队列有可执行任务，所以事件循环转向Timer阶段，执行setTimeout 1并打印。
4. 等这一轮事件循环走完所有阶段（Timer、I/O、Idle/Prepare、Poll、Check、Close等）后，下一轮事件循环进入Check阶段时，才会处理之前嵌套添加的setImmediate 2，打印对应的内容。

官方文档里的「队列耗尽」指的是进入该阶段时存在的任务被处理完，阶段执行过程中新增的任务不属于当前阶段的处理范围，必须等下一次进入该阶段才会被执行，这就是为什么你的预期和实际输出不一致的核心原因。

内容的提问来源于stack exchange，提问作者roman465