ESM解析与执行按依赖图拓扑排序进行：先并行加载、依赖受限解析（子模块优先），再批量链接建立实时绑定，最后深度优先后序遍历执行（叶子优先）。
ESM（ECMAScript Module）的解析与执行是严格按依赖图拓扑排序进行的异步过程，它不等同于简单的“从上到下”执行，而是在加载阶段就构建好完整的静态依赖树，再按“先子后父”（即深度优先、后序遍历）顺序执行模块体。
1. 加载（Fetch）与解析（Parse）是并行但有序的
浏览器或运行时根据 import 语句静态分析出所有依赖路径，发起并行 HTTP 请求获取模块源码；但解析（Parse）必须等待其所有静态依赖完成解析后才开始——这是“解析时依赖约束”，确保 import 声明能正确绑定。
- 模块 A
import { x } from './B.js'→ B 必须先完成解析，A 才能解析 - 解析阶段只生成模块记录（Module Record），不执行任何代码（包括顶层语句和函数定义）
- 循环依赖中，未解析完的模块会暴露一个“空壳”（已初始化但无导出值），后续执行阶段再填充
2. 链接（Link）阶段建立导出-导入绑定（同步、一次性）
链接发生在所有依赖模块都解析完成后，由引擎统一执行：为每个 import 创建实时绑定（live binding），指向对应模块的 export 绑定位置。此阶段不运行用户代码，不可被中断或延迟。
- 例如：B 导出
let count = 0，A 中import { count } from './B.js'→ A 的count是对 B 中count的引用（非拷贝） - 链接失败（如导入不存在的名称）会立即抛出
SyntaxError，阻断后续流程
3. 执行（Evaluate）是深度优先后序遍历（关键顺序所在）
执行严格遵循依赖拓扑：只有当一个模块的所有依赖都执行完毕，该模块才会执行其顶层代码。这形成天然的“叶子优先”顺序，与 import 出现顺序无关，只取决于依赖结构。
立即学习“Java免费学习笔记（深入）”；
- 假设：C → B → A（C 导入 B，B 导入 A），则执行顺序一定是 A → B → C
- 同一层级的兄弟模块（如 C 同时导入 B 和 D，且 B/D 无依赖关系），执行顺序由解析完成先后决定，但规范不保证，应避免依赖此行为
-
export * from不改变执行顺序，只是转发导出绑定，不触发额外执行
4. 动态 import() 是真正的异步分界点
import('./foo.js') 返回 Promise，其加载、解析、链接、执行全部异步进行，且独立于主模块图。它引入的模块子图有自己的依赖顺序，但整体插入时机由 Promise 解析时刻决定。
- 动态导入不会阻塞主 ESM 图的执行，也不会影响主图中其他静态模块的顺序
- 多次
import('./X.js')对同一路径返回相同 Promise（去重缓存），但执行仍只发生一次 - 可在
try/catch中捕获加载失败，但解析/执行错误需在.catch()或await后处理
整个流程本质是：静态可分析 → 并行加载 → 依赖受限解析 → 批量链接 → 拓扑驱动执行。理解这一点，就能预判 console.log 在不同模块中的实际输出时机，避免因误以为“import 行=执行行”而产生的竞态困惑。
