JS中let、const块级变量是在执行上下文创建阶段提升还是进入块时分配内存？

你基于报错差异推导的核心结论方向是准确的，我们可以结合JS引擎的实际执行逻辑、对应你观察到的报错现象拆解清楚：

• 首先明确执行上下文创建阶段（也就是代码逐行执行前的预编译阶段）的实际工作边界：
  这个阶段只会扫描当前执行上下文直接关联的顶层作用域内的var声明、具名函数声明，为这些变量完成内存空间分配、绑定到当前上下文的变量环境记录，甚至会提前给var类型变量赋值为undefined、给函数声明赋值对应的函数引用。整个创建阶段完全不会处理嵌套块内部的let/const声明——因为块是和执行流绑定的动态作用域，预编译阶段引擎甚至无法确定某段块级代码最终会不会被执行到（比如块写在永远不触发的if(false)分支里），不可能提前为它预留内存。
• 这完全可以解释你观察到的两类报错的本质差异：
  1. 当你在块的外部访问块内声明的let a时，因为从预编译阶段到执行流抵达块边界之前，引擎从来没有在块外的作用域链上给a做过任何内存绑定、登记，所以引擎遍历完整条作用域链都找不到这个变量的存在痕迹，自然抛出和访问完全不存在的变量完全一致的Uncaught ReferenceError: a is not defined报错。
  2. 当执行流真正进入块的瞬间，引擎会立刻做三个连续动作：
     • 为当前代码块创建独立的词法环境记录，挂到当前的作用域链顶端
     • 扫描这个块内所有的let/const/class声明，为每个声明的变量在这个块的词法环境里开辟专属的内存空间
     • 将刚开辟的内存空间标记为「未初始化锁定状态」，也就是暂时性死区的边界起点
       这时候你在块内部、执行到let a = 5这行赋值语句之前访问a，引擎已经能在当前作用域链上找到a对应的内存地址了，只是因为内存还处在未初始化的锁定状态，才会抛出和“变量不存在”完全不同的Uncaught ReferenceError: Cannot access 'a' before initialization报错。
• 补充澄清一个常见的概念误解：
  很多资料提到的「let也存在提升」，指的是let声明的作用域覆盖整个所在的块，而非从声明所在的行才开始生效——这个作用域覆盖的规则，绝对不等同于let的内存分配是在程序启动的全局预编译阶段就完成的。这也是通过你观察到的报错差异，可以直接推导出来的核心逻辑。

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