Node.js中event queues、Promises与setTimeout执行顺序疑问

核心疑问先明确 #

new Promise((r) => setTimeout(r, t)) 里的 setTimeout 是同步执行的，它的回调既不会立即触发，也不会进入Promise微队列，而是直接进入Timers宏队列。只有当Timers队列轮到这个回调执行、调用r() resolve Promise的时候，才会往Promise微队列推送对应的回调任务。

示例代码执行流程拆解 #

首先补全你给出的未闭合示例代码：

const sleep_st = (t) => new Promise((r) => setTimeout(r, t));
const sleep_im = () => new Promise((r) => setImmediate(r));

(async () => {
  setImmediate(() => console.log(1));
  console.log(2);
  await sleep_st(0);
  setImmediate(() => console.log(3));
  console.log(4);
})();

结合Node.js事件循环规则（Timers → Pending → Poll → Check → Close 宏队列遍历顺序，每个宏任务执行完后清空所有微队列，setTimeout最小延迟强制为1ms），输出2 1 4 3的完整流程如下：

1. 同步代码执行阶段
   • 先定义两个工具函数，再执行async自执行函数
   • 执行setImmediate(() => console.log(1))，将输出1的回调推入Check宏队列
   • 执行console.log(2)，直接输出2
   • 调用sleep_st(0)：同步执行内部的setTimeout(r, 0)，将resolve Promise的回调推入Timers宏队列，注意Node.js会把0延迟强制转为1ms，此时这个回调还未到期
   • await关键字暂停async函数执行，把await后的所有代码注册为当前Promise的resolve回调，等待Promise状态变更
   • 所有同步代码执行完毕，进入事件循环
2. 第一轮事件循环
   • 遍历Timers队列：setTimeout回调还没到1ms的最小延迟，无可用任务
   • 遍历Pending队列：无任务
   • 进入Poll队列：当前无I/O任务等待处理，且Check队列存在待执行任务，Poll队列提前退出进入Check阶段
   • 执行Check队列里的任务：运行输出1的回调，输出1
   • 清空当前微队列（无任务），遍历Close队列无任务，第一轮循环结束
3. 第二轮事件循环
   • 遍历Timers队列：setTimeout回调已到期，执行该回调resolve Promise，将之前注册的await后续代码推入Promise微队列
   • 清空微队列：执行await后续代码
     • 执行setImmediate(() => console.log(3))，将输出3的回调推入Check队列
     • 执行console.log(4)，输出4
   • 继续遍历后续队列，到Check阶段时执行输出3的回调，输出3

之前推测的错误点 #

• 程序启动的主同步代码不属于Poll队列任务，是主线程直接执行的
• await后的代码不会在同步代码执行完就立即执行，必须等待对应的Promise被resolve后才会进入微队列等待调度
• setTimeout(0)存在1ms的最小延迟，这是第一轮事件循环会先执行setImmediate回调输出1的核心原因

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