微任务队列在每个宏任务结束后由引擎强制同步清空，通过不可中断的while循环持续执行直至为空，期间可动态追加新微任务并顺延执行，且每轮清空仅限该宏任务产生的微任务。
微任务队列在每个宏任务执行后自动清空，不是靠“手动清理”或“定时检查”，而是由 JavaScript 引擎强制执行的底层机制——只要当前宏任务退出，引擎立刻进入一个不可中断的轮询循环，持续取出并执行微任务，直到队列彻底为空。
清空动作发生在宏任务结束的精确时刻
同步代码执行完（即当前宏任务函数调用栈清空），引擎不等待、不跳转，直接开始处理微任务。这个时机非常确定：它紧接在宏任务返回之后、UI 渲染之前、下一个宏任务取用之前。
- 哪怕 setTimeout(0) 已就绪，也得等当前微任务队列完全跑完才轮到它
- 浏览器不会在此期间响应点击、滚动等新事件，这些会排队进宏任务队列，等下一轮
- 这个环节没有“部分执行”或“暂停”，要么全清空，要么不停止
微任务队列是动态可追加的活跃队列
它不是静态快照，而是一个运行中仍可写入的队列。执行某个 .then 回调时，里面再 new Promise 或调用 queueMicrotask，新微任务会立刻插到队尾，引擎继续取下一个执行。
- Promise 链式调用（.then().then().then()）能连贯输出，正依赖于此
- 如果中途产生 10 个新微任务，引擎会顺延执行这 10 个，而不是只执行最初那几个
- 这种“边执行边追加、追加完继续执行”的行为，是规范强制要求，不是优化策略
引擎层面用 while 循环实现“耗尽式”执行
V8、SpiderMonkey 等主流引擎源码里，都明确写着类似 MicrotaskQueue::PerformMicrotaskCheckpoint 的逻辑：反复调用，直到队列 size === 0。
- 每次取队首任务执行，执行完再判断是否还有剩余
- 不按“初始长度”执行固定次数，而是以队列为空为唯一退出条件
- 这个 while 循环是同步、不可打断的，期间不会让出主线程控制权
每个宏任务对应独立的一次清空过程
不是整个事件循环共用一个微任务队列，而是每个宏任务执行完毕后，清空的是它自己这一轮产生的全部微任务。
- script 主代码块产生的 Promise.then 属于第一轮微任务
- setTimeout 回调里的 Promise.then 属于第二轮，和第一轮互不影响
- 上一轮没清完？不可能——引擎保证每次只在宏任务结束后启动一次“清空流程”，且必须清完才走下一步
