JavaScript中是否真的存在作为一等语言概念的块级作用域？

这绝对是个戳中很多JS开发者痛点的问题——毕竟在ES6之前，我们只能和函数作用域、全局作用域打交道，var的变量提升经常搞出各种奇怪的bug。那let/const带来的块级作用域，到底是JS引擎原生支持的一等概念，还是只是用某种手段模拟出来的“伪块级作用域”？

答案很明确：JavaScript现在确实拥有原生的块级作用域，而非简单模拟。下面我拆解一下底层逻辑和实际表现：

先回顾传统JS的作用域困境 #

在ES6之前，JS只有两种作用域：全局作用域和函数作用域。var声明的变量会被提升到当前作用域的顶部，哪怕你把它写在if、for这类块里，它的作用域依然是外层的函数或全局：

function test() {
  if (true) {
    var x = 10;
  }
  console.log(x); // 输出10，完全不受if块的限制
}

这种情况下，根本不存在“块级作用域”的概念，变量会穿透所有块结构。

ES6的块级作用域：原生的词法环境绑定 #

ES6引入let/const后，JS引擎的底层机制发生了变化——当遇到任何由{}包裹的块（if块、for块、while块，甚至是单独的{}块）时，会创建一个新的块级词法环境。这个环境是独立于外层函数/全局环境的，let/const声明的变量会被绑定到这个块级环境中，只有在当前块内部（包括嵌套的子块）才能访问。

比如下面的例子，块外访问let变量会直接抛出错误：

if (true) {
  let y = 20;
  console.log(y); // 正常输出20
}
console.log(y); // ReferenceError: y is not defined

这不是引擎做了什么“隐藏变量”的模拟，而是当代码执行到块结束时，这个块级的词法环境会被销毁，里面的变量绑定也会被回收，外部自然无法访问。

关键证据：for循环中的let表现 #

最能体现原生块级作用域的例子就是for循环中的let：

for (let i = 0; i < 3; i++) {
  setTimeout(() => console.log(i), 100);
}
// 输出：0、1、2

如果是用闭包模拟块级作用域（比如早期的IIFE写法），我们需要手动为每次循环创建独立的作用域，但这里的let是引擎自动为每一轮循环创建了一个新的块级词法环境，保存了当前i的快照值——这是原生块级作用域的直接体现，完全不需要开发者手动模拟。

总结：块级作用域是JS的一等概念 #

所以不用怀疑，ES6及之后的JavaScript中，块级作用域是语言原生支持的一等概念，通过词法环境的块级绑定实现，并非仅仅模拟变量的块内可见性。它和函数作用域、全局作用域一起，构成了JS完整的作用域体系。

内容的提问来源于stack exchange，提问作者peter.petrov