ES Modules 加载机制解析:同步执行表象下的异步本质

老明大大_3688

老明大大_3688

2026-05-06

841人浏览

原创

ES Modules 的“异步加载”并非指代码执行顺序异步,而是指模块图构建、链接与求值全过程由 Promise 驱动;静态 import 语句看似同步阻塞,实则是顶层模块执行被延迟至整个依赖图完成链接与求值后——这是 ESM 与 CommonJS 根本性差异的核心。

es modules 的“异步加载”并非指代码执行顺序异步,而是指模块图构建、链接与求值全过程由 promise 驱动;静态 `import` 语句看似同步阻塞,实则是顶层模块执行被延迟至整个依赖图完成链接与求值后——这是 esm 与 commonjs 根本性差异的核心。

在 JavaScript 模块化演进中,ES Modules(ESM)与 CommonJS(CJS)最常被简述为“ESM 异步、CJS 同步”,但这一说法极易引发误解。正如你在 Bun 中观察到的现象:import "exporter.mjs" 后 console.log("importer") 仍按序输出,且 Bun 甚至允许 require("./exporter.mjs") 成功运行——这恰恰说明:“异步”不是指执行时序不可预测,而是指模块生命周期的底层调度模型发生了根本转变。

✅ 正确理解:ESM 的三阶段异步流程(Load → Link → Evaluate)

根据 ECMAScript 规范,ESM 加载并非单一线性操作,而是一个严格分阶段、以 Promise 编排的异步流水线:

阶段 关键行为 是否异步 说明
Load(加载) 递归获取所有依赖模块源码(如 HTTP 请求或文件读取) ✅ 异步 返回 Promise,可被中断、缓存、并行发起
Link(链接) 构建模块环境记录(Module Environment Record),建立 import ↔ export 的内存绑定关系 ✅ 异步(微任务级) 所有依赖必须 Load 完成后才启动;此时导出变量已“声明就绪”,但尚未执行初始化代码
Evaluate(求值/执行) 逐层执行模块体代码(即 export const x = ... 中的右侧表达式) ✅ 异步(微任务级) 严格遵循拓扑序:依赖模块先 Evaluate,当前模块后执行;import 语句本身不执行代码,仅触发该流程

? 关键洞察:import 语句不立即执行模块代码,它只是向引擎提交一个“待处理的模块图构建请求”。真正执行 console.log("exporter") 是在 Evaluate 阶段——而该阶段被设计为在所有依赖完成 Link 后,统一按依赖顺序在微任务队列中同步执行。因此你看到“exporter 先于 importer 输出”,是规范强制保障的确定性执行顺序,而非 CJS 式的同步阻塞。

⚠️ 对比 CommonJS:执行即加载,无分离阶段

CommonJS 的 require() 是一个运行时函数调用:

// a.cjs
console.log('a start');
const { b } = require('./b.cjs'); // ? 此刻:同步解析路径 → 同步读文件 → 同步包装执行 → 同步返回 exports
console.log('a end', b);
  • 每次 require 都会真实阻塞主线程,直到目标模块完全执行完毕并返回 module.exports;
  • 循环依赖时,b.cjs 中 require('./a.cjs') 拿到的是 a.cjs 中尚未执行完的 exports 对象(初始空对象),导致 a 为 undefined;
  • 无静态分析能力,无法做 Tree Shaking,也无法在编译期优化导入路径。

? 实际影响:为什么“CJS 不能直接 require ESM”?(Node.js vs Bun)

  • Node.js(严格遵循规范):
    require() 是同步函数,而 ESM 的 Load/Link/Evaluate 全程需 Promise 协调。若允许 require("./mod.mjs"),则必须将异步流程强行“降级”为同步——这会破坏模块图一致性(如循环依赖处理、顶层 await 支持等)。因此 Node.js 明确禁止,并要求使用 await import() 动态导入。

  • Bun(扩展兼容性):
    Bun 在底层实现了对 require() 调用 ESM 的桥接:当检测到 .mjs 时,自动将其包裹为 await import(...) 并等待 Promise resolve 后返回命名空间对象。这属于运行时魔法,非标准行为,不可跨平台迁移。

✅ 正确跨环境写法(推荐):

// 在 CJS 环境中安全加载 ESM(Node.js / Bun / Deno 通用)
async function loadESM() {
  const { number } = await import('./exporter.mjs');
  console.log(number); // ✅ 始终可靠
}

? 总结:一句话厘清核心差异

CommonJS 是“执行驱动加载”(run-then-load):代码走到 require 才开始加载;
ESM 是“加载驱动执行”(load-then-run):所有依赖提前加载链接,再统一执行——整个过程由 Promise 编排,故称“异步”,但执行顺序高度确定。

这种设计使 ESM 天然支持静态分析(Tree Shaking)、动态导入(import())、顶层 await、循环依赖安全绑定等现代工程能力;而 CJS 的同步性虽利于调试,却成为大型应用性能与架构演进的隐性瓶颈。选择模块系统,本质是在开发体验、运行时确定性与工程可扩展性之间做出权衡。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4826

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1189

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4744

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

940

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1856

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3425

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4433

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2920

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

928

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.7万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.7万人学习