Dart异步代码执行顺序疑问：为何输出A B D C E F G而非预期？

代码示例 #

void main() async {
  print("A");
  await Future(() async { // Main future
    print("B");
    Future(()=>print("C"));
    Future.microtask(()=>print("D"));
    await Future(()=>print("E"));
    print("F");
  });
  print("G");
}

输出差异 #

实际执行输出顺序为：A B D C E F G，但预期顺序是A B E F D C G。

我的推理过程 #

• Dart打印A，这一步正确；
• 在Main future中打印B，这一步正确；
• 执行print("C")的Future进入EventQueue，此时仍在EventLoop中处理Main Future事件；
• 执行print("D")的Future.microtask进入MicrotaskQueue，此时仍在EventLoop中处理Main Future事件；
• 执行print("E")的Future打印E，仍需在EventLoop中等待Main Future事件完成；
• 打印F；
• Main Future完成后，处理MicrotaskQueue中的任务，打印D；
• 处理EventQueue中的下一个任务，打印C；
• 最后打印G。

疑问 #

请问我的推理哪里出错了？为何D和C会在E之前执行？Flutter是否会中断事件处理并将其放回Event队列？

问题解析 #

核心错误：对await触发时机与事件循环优先级的误解 #

你推理的关键错误在于对await行为和Dart事件循环执行规则的偏差，具体拆解：

1. await会立即暂停当前Future的执行：
   当执行到await Future(()=>print("E"))时，当前的Main Future会暂停执行，后续的print("F")会被注册为该子Future完成后的回调。此时Dart会先处理完当前Microtask队列的所有任务，再去处理Event队列中的任务，而非等待Main Future完成后才处理队列。

2. Microtask队列优先级高于Event队列：

   • Future.microtask创建的任务会进入Microtask队列，这类任务会在当前Event任务（Main Future）暂停后被优先执行，所以会先打印D；
   • 普通Future创建的任务进入Event队列，在Microtask队列清空后才会被处理，所以接着打印C。

3. 队列处理完成后才恢复暂停的Future：
   只有当Microtask队列和当前Event队列中已有的任务都执行完毕，才会回到被await暂停的Main Future，执行print("E")的任务，之后再继续执行print("F")，最后完成Main Future回到main函数打印G。

完整执行流程 #

• 执行main函数，打印A；
• 进入await后的Main Future执行体，打印B；
• 创建print("C")的普通Future，加入Event队列；
• 创建print("D")的微任务，加入Microtask队列；
• 遇到await Future(()=>print("E"))：
  • 创建print("E")的普通Future，加入Event队列；
  • 暂停Main Future执行，回到事件循环；
  • 清空Microtask队列：执行print("D")，输出D；
  • 处理Event队列任务：先执行最早加入的print("C")，输出C；再执行print("E")，输出E；
• print("E")的Future完成，恢复Main Future执行，打印F；
• Main Future完成，回到main函数的await之后，打印G。

Flutter并没有中断事件处理并放回队列的操作，这完全是Dart事件循环的标准执行逻辑。

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