模块记录是引擎私有元数据结构,非JS堆对象,内存分配在引擎专用区,不参与GC;它通过导出绑定、导入请求和环境引用间接支配JS堆内存,且卸载困难易致内存泄漏。

模块记录(Module Record)是 JavaScript 引擎在 模块实例化阶段 为每个 ES 模块创建的核心内部数据结构,它不直接对应开发者写的代码变量,而是引擎用来管理模块状态、依赖关系和绑定行为的“元信息容器”。理解它的内存分配机制,关键在于区分它 不是普通对象,也不存于用户可访问的堆/栈中,而是一组由引擎私有维护、生命周期严格绑定模块加载流程的结构体。
模块记录不是 JS 堆对象,而是引擎内部元数据
模块记录由引擎(如 V8)在解析完模块源码、生成 AST 后,于 链接(Linking)阶段之前 创建。它不通过 new Object() 或字面量构造,不参与 JS 垃圾回收(GC)流程。其内存通常分配在引擎的“代码空间”或专用元数据区,而非 JS 堆——这意味着:
- 你无法用
console.dir或堆快照看到它本身; - 它不占用开发者关心的“JS 堆内存(Heap Size)”,但会消耗引擎内部内存(如 V8 的
CodeSpace或ReadOnlySpace); - 它的生命周期由模块图(Module Graph)控制:从加载开始存在,到整个模块图被卸载(如动态
import()后未保留引用且无活跃执行)才释放。
它持有三类关键引用,影响 JS 堆内存行为
虽然模块记录自身不占 JS 堆,但它通过以下方式间接支配堆内存分配与存活:
-
导出绑定(Export Entries):记录每个
export语句对应的本地绑定名(如export const foo = {}中的foo)。这些绑定指向实际 JS 值——若值是对象,该对象就因被模块记录“强引用”而驻留堆中; -
导入请求(ImportEntries):存储对其他模块的引用(如
import { bar } from './utils.js'),形成模块图的有向边。只要本模块还存活,它所导入的模块记录及其导出值也保持可达; - 本地声明环境(Environment):模块顶层作用域对应一个词法环境,其中变量/函数声明的初始值(尤其是对象、闭包)被写入堆,而模块记录持有着对该环境的引用——这使整个模块作用域内的大对象不会因作用域结束而释放。
实例化阶段的内存分配特点:延迟、按需、不可变
模块记录在实例化(Instantiation)阶段触发实际 JS 值的分配,但并非全部一次性完成:
-
延迟初始化:
export let x = new BigArray(1e6)这类语句的右侧表达式,只在模块首次求值(Evaluation)时执行,此时才在堆中分配数组内存;模块记录此前只存“待求值”的描述; -
按需绑定:动态
import()返回 Promise,模块记录及其依赖的堆对象只在 Promise resolve 后创建;静态import则在链接阶段就建立完整引用链,但堆值仍等到求值; -
不可变性保障:模块记录一旦创建,其导出绑定表不可修改(ES 规范要求
export是“实时绑定”)。这意味着引擎可在编译期优化内存布局,例如将常量导出内联,避免堆分配。
与普通对象内存管理的根本区别
对比 const obj = { a: 1 }:
-
obj是堆中一个普通对象,变量obj是栈中引用,设为null后可能被 GC 回收; - 模块记录中的
export const data = { a: 1 },其{ a: 1 }对象由模块记录强持有,即使你没在代码里显式引用data,只要模块图存活,该对象就不可达释放; - 模块卸载(如通过
import.meta.url动态加载后主动清理)极难触发,现代浏览器不提供标准 API,因此模块导出的大对象往往长期驻留内存——这是比闭包更隐蔽的泄漏源。











