ES Module通过静态分析和实时绑定处理循环依赖。当模块A导入模块B,而B又导入A时,ESM在加载阶段解析依赖,建立符号引用,并创建模块实例的绑定关系。执行时,若一方尚未完成赋值,则访问其导出变量会得到undefined,但后续更新可被对方感知。例如,moduleA.js和moduleB.js相互导入,输出顺序为:Module B: value from A is undefined,Module A: value from B is B。这表明ESM虽允许循环依赖,但需注意初始化时机。建议避免循环依赖,可通过重构代码或使用函数延迟访问来优化。

ES Module(ESM)在设计上采用静态解析机制,能够在编译阶段就识别模块依赖关系,从而为解决循环依赖提供了更清晰的处理方式。它并不完全“避免”循环依赖,而是通过一种称为“实时绑定”和“模块记录初始化顺序控制”的机制来安全地处理。
什么是循环依赖?
当模块 A 导入模块 B,而模块 B 又导入模块 A 时,就形成了循环依赖。在早期的模块系统如 CommonJS 中,这种依赖可能导致某个模块在未执行完毕时就被导出,造成 不完整或 undefined 的值。
ES Module 如何处理循环依赖?
ESM 不像 CommonJS 那样在运行时同步执行模块代码并立即导出值,而是通过以下机制优雅应对:
- 静态分析与提前绑定:ESM 在加载阶段就解析所有 import/export 语句,建立模块间的符号引用关系。这意味着即使存在循环,也能提前知道哪些变量会被导出和导入。
- 实时绑定(Live Bindings):导入的变量不是值的拷贝,而是对原始变量的只读引用。即使模块尚未执行完毕,导入方也能访问该变量——只要它已被声明。
- 延迟取值,按需访问:如果一个模块在另一个模块执行过程中被导入,而此时导出的变量还未赋值,那么访问时会得到当前的实际值(可能是 undefined),但后续一旦原模块中该变量被更新,导入方也能看到最新值。
举个例子说明
假设有两个模块:
立即学习“Java免费学习笔记(深入)”;
moduleA.js
import { valueFromB } from './moduleB.js';
export const valueFromA = 'A';
console.log('Module A: value from B is', valueFromB);
moduleB.js
import { valueFromA } from './moduleA.js';
export const valueFromB = 'B';
console.log('Module B: value from A is', valueFromA);
尽管存在循环导入,浏览器或 Node.js 的 ESM 加载器会:
- 先解析所有 export 和 import 声明
- 创建模块实例,设置绑定关系
- 执行 moduleA 时发现需要 moduleB,转去执行 moduleB
- 执行 moduleB 时,
valueFromA已存在绑定但尚未赋值(仍为 undefined) - moduleB 打印出
value from A is undefined - 继续执行 moduleA,此时
valueFromA被赋值为 'A'
最终输出顺序为:
Module B: value from A is undefined Module A: value from B is B
这表明虽然存在循环依赖,但程序不会崩溃,只是需要注意某些值在初始化期间可能还未就绪。
最佳实践建议
虽然 ESM 能处理循环依赖,但应尽量避免:
- 重构代码,提取公共逻辑到第三方模块
- 使用函数或 getter 延迟访问变量,确保执行时机正确
- 避免在顶层代码中直接依赖对方模块的运行时值
基本上就这些。ES Module 并没有彻底禁止循环依赖,而是用静态结构和动态绑定让它变得可预测、可管理。相比以前,开发者更容易理解问题所在,也更容易修复。










