ES模块中const/let伪提升行为是否符合TDZ概念规则？

你观察到的运行结果完全符合ECMAScript规范，这个行为不是TDZ的例外情况，恰恰是TDZ规则和ES模块执行逻辑共同作用的正常结果，你提出的「所有模块级表达式都会在导入阶段完成定义与初始化」的推测并不准确。

• 首先明确ES模块的标准执行流程：
  模块导入阶段只会完成依赖解析、模块依赖图构建，同时收集模块内所有顶层声明的绑定（包括let/const/function/class声明的变量），不会在这个阶段执行模块代码、完成变量初始化。等整个依赖图构建完成后，JS引擎会按照深度优先的后序遍历顺序，逐行执行每个模块的顶层代码。
  对应你给出的示例，实际执行顺序是：
  1. 解析main.mjs，识别到它依赖func.mjs
  2. 解析func.mjs，收集到三个顶层绑定：func、num1、num2，此时三个绑定全部进入未初始化的TDZ状态
  3. 先执行func.mjs的顶层代码：
     • 执行export const func = () => {return num1 + num2;}：func被初始化为箭头函数，注意此处只是定义函数，没有执行函数体，因此不会触发对num1/num2的访问
     • 执行const num1 = 5;：num1完成初始化，退出TDZ
     • 执行const num2 = 6;：num2完成初始化，退出TDZ
  4. func.mjs所有顶层代码执行完毕后，再执行main.mjs的顶层代码：导入func后调用func()，此时num1和num2早已完成初始化，因此正常返回11。
• 再明确TDZ的生效规则：
  TDZ（暂时性死区）的判定标准非常简单：从作用域创建、绑定被注册开始，到对应变量的初始化语句执行完成之前，任何访问该变量的行为都会抛出ReferenceError。它只限制「初始化完成前的访问」，不关心引用代码的书写位置——哪怕引用变量的代码写在声明语句前面，只要实际访问行为发生在初始化完成之后，就不会触发TDZ报错。
  你可以做个对照试验，把func.mjs改成如下内容，就会稳定触发TDZ错误：

  export const func = () => {
    return num1 + num2;
  }
  // 定义完func立刻调用，此时num1、num2仍处于TDZ中
  console.log(func())
  const num1 = 5;
  const num2 = 6;
  

  运行这段代码会直接抛出Cannot access 'num1' before initialization，原因就是调用func、访问num1的时机早于num1的初始化语句执行，完全符合TDZ的规则。

你提到的「导入阶段完成所有模块级表达式初始化」是对模块加载流程的误解：导入阶段仅做声明收集，所有变量的初始化都是在模块顶层代码按顺序执行时完成的。你的示例能正常运行，核心原因是调用func的时机在func.mjs所有顶层代码执行完成之后，此时func内部引用的变量都已经退出TDZ，和导入阶段的处理没有关系。

内容的提问来源于stack exchange，提问作者Track83