本文详解如何通过将模块导出逻辑封装为函数，规避因模块级变量直接引用导致的 ReferenceError（无法在初始化前访问词法声明），实现 main → a → b → main 的安全数据流。
本文详解如何通过将模块导出逻辑封装为函数，规避因模块级变量直接引用导致的 referenceerror（无法在初始化前访问词法声明），实现 `main` → `a` → `b` → `main` 的安全数据流。
在 JavaScript（尤其是 ES 模块）中，模块加载与执行是静态分析 + 顺序求值的过程。当 main.js 导入 b.js，b.js 导入 a.js，而 a.js 又导入 main.js 时，即使变量之间没有运行时循环调用（如 fromMain 不依赖 fromB 的值），ESM 仍会在模块实例化阶段尝试解析所有顶层绑定——此时若 fromMain 尚未完成初始化，而 a.js 已试图读取它，就会触发经典的 ReferenceError: can't access lexical declaration 'fromMain' before initialization。
根本原因在于：模块顶层代码在导入链解析完成前即开始执行，而 const/let 声明存在暂时性死区（TDZ）。原始写法中，所有模块均在顶层直接计算并导出变量值，形成静态依赖闭环；而正确解法是打破“立即求值”，将依赖注入延迟到函数调用时。
✅ 正确实践：用函数封装导出逻辑
将变量导出改为函数导出（function export），确保实际计算发生在所有模块加载完毕、依赖就绪之后：
// main.js
const fromEnvironment = Deno.args[0] ?? '123'; // 支持命令行参数
export { fromEnvironment };
import { fromB } from './b.js';
console.log(fromB()); // ✅ 在所有模块加载完成后才调用// a.js
import { fromEnvironment } from './main.js';
// ✅ 不再导出变量，而是导出一个函数
export function fromA() {
return fromEnvironment + 456; // 类型提示：字符串拼接 → "123456"
}// b.js
import { fromA } from './a.js';
// ✅ 同样导出函数，延迟执行
export function fromB() {
return fromA() + 789; // → "123456789"
}运行效果：
立即学习“Java免费学习笔记（深入）”；
$ deno run main.js 123 123456789
⚠️ 关键注意事项
- 禁止在模块顶层使用 import 后立即消费导入值进行赋值（如 const x = importedValue + 1），尤其在存在导入环时；
- 所有跨模块的数据传递应通过函数调用完成，而非模块级常量/变量绑定；
- 若需类型安全（如 TypeScript），可为函数添加明确返回类型：
// a.ts import type { fromEnvironment } from './main.js'; export function fromA(): string { return (fromEnvironment as string) + 456; } - Deno 环境下注意使用 .js 或 .ts 统一后缀，并确保 deno.json 中启用 "tasks" 或直接 deno run（无需额外配置）。
? 总结
模块循环依赖本身不是问题，问题在于过早求值。通过将“值导出”重构为“函数导出”，我们把执行时机从模块实例化阶段（易触发 TDZ）转移到应用逻辑调用阶段（完全可控），既保持了清晰的数据流向（env → A → B → main），又彻底规避了 ReferenceError。这是构建可维护、可测试、支持环境注入的模块化 JavaScript 应用的核心实践之一。
