在 JavaScript 的世界里，变量“在哪里定义”和“何时可用”并非总是显而易见。一段看似简单的代码，可能因为作用域规则的微妙差异而产生令人困惑的行为。这种复杂性源于语言早期的设计取舍，也见证了它从一个轻量级脚本工具成长为现代 Web 开发核心语言的蜕变历程。理解 JavaScript 作用域的演变，不仅有助于写出更可靠的代码，更能窥见这门语言背后的设计哲学与历史轨迹。
执行上下文：变量生命的舞台
JavaScript 引擎（如 V8）在运行代码前会经历两个阶段：编译与执行。在函数被调用时，引擎会为其创建一个执行上下文（Execution Context），这个上下文包含两个关键部分：变量环境（Variable Environment）和词法环境（Lexical Environment）。它们共同决定了变量的存储位置、生命周期以及查找规则。
每当一个函数被调用，其执行上下文就被压入调用栈；执行完毕后出栈，相关变量随之回收。这一机制确保了函数间的隔离性，也是作用域概念得以成立的基础。
变量提升：历史的妥协
在 ES5 及更早版本中，使用 var 声明的变量存在一个显著特性——变量提升（Hoisting）。这意味着无论变量在函数何处声明，都会被“提升”到函数顶部进行初始化（值为 undefined）。例如：
console.log(a); // undefined，而非报错
var a = 10;
这种行为常导致意外覆盖或逻辑混乱。比如在一个 if 块中声明的 var 变量，实际上在整个函数内都可见，违背了程序员对“块内局部变量”的直觉预期。
究其原因，JavaScript 最初被设计为一种快速嵌入网页的动态脚本语言，开发周期极短，目标是“简单可用”。为了简化实现，设计者放弃了其他语言普遍支持的块级作用域，转而采用函数作用域，并将所有变量统一提升至函数顶部。这种“先声明后赋值”的模型虽然粗糙，却极大降低了早期引擎的实现复杂度。
一国两制：ES6 的兼容性革新
随着应用复杂度提升，var 的缺陷日益凸显。ES6 引入了 let 和 const，不仅支持块级作用域，还通过暂时性死区（Temporal Dead Zone, TDZ）杜绝了变量提升带来的歧义。
但 JavaScript 必须保持向后兼容。于是，引擎在执行上下文中采用了“双轨制”：
var变量存入变量环境，遵循传统提升规则；let/const变量存入词法环境，受块级作用域约束，并在声明前处于 TDZ（访问会抛出错误）。
这种设计巧妙地在同一套执行机制下容纳了新旧两种变量声明方式，既保留了历史代码的运行能力，又为现代开发提供了更安全的工具。
块级作用域的实现机制
那么，ES6 是如何在不破坏原有架构的前提下实现块级作用域的？
答案在于词法环境的栈式结构。当程序进入一个由 {} 包裹的代码块（如 if、for 或独立块）时，引擎会在当前词法环境中压入一个新的作用域记录（Scope Record）。这个记录专门用于存放该块内通过 let 或 const 声明的变量。
变量查找时，引擎优先在当前词法环境的栈顶（即最内层块）中搜索；若未找到，则逐层向外回溯，直至全局作用域。一旦块执行结束，其对应的作用域记录便从栈中弹出，内部变量随即不可访问，内存也可被回收。
这种基于栈的词法环境模型，使得块级作用域的实现既高效又符合直觉，同时与函数作用域自然融合。
三种作用域的层级关系
JavaScript 目前支持三种作用域，形成清晰的嵌套结构：
- 全局作用域：在任何函数或块外部定义，生命周期贯穿整个页面会话；
- 函数作用域：由
function定义，变量仅在函数内部可见，随函数调用创建与销毁； - 块级作用域：由
{}界定（配合let/const），提供更细粒度的变量控制。
值得注意的是，var 无法进入块级作用域——它始终属于最近的函数或全局作用域。这也是为何在现代开发中，社区普遍推荐完全弃用 var，转而统一使用 let 和 const。
为什么早期不支持块级作用域？
回溯历史，JavaScript 诞生于 1995 年，最初名为 LiveScript，目标是在 Netscape 浏览器中为静态 HTML 页面添加简单的交互效果。在短短十天内完成初版设计的背景下，团队有意规避了复杂的语言特性，如类、继承、命名空间等。块级作用域虽在 C、Java 等语言中常见，但其实现需要更精细的作用域管理机制，对当时的浏览器性能和开发资源都是挑战。
因此，采用函数作用域 + 变量提升的组合，成为了一种“够用就好”的务实选择。谁也没想到，这门临时脚本语言日后会支撑起整个现代 Web 生态。
结语：在兼容与进步之间前行
JavaScript 的作用域演进，是一部在历史包袱与现代需求之间不断平衡的工程史诗。从 var 的全局污染，到 let/const 的精准控制；从函数作用域的粗放管理，到块级作用域的精细隔离——每一次改进都试图在不打破现有生态的前提下，让语言变得更严谨、更可预测。
今天，当我们用 const 声明一个循环中的变量，或在一个 if 块中安全地定义临时状态时，背后是执行上下文中词法环境栈的默默工作。理解这些机制，不仅能帮助我们避开陷阱，更能让我们以更敬畏的心态，使用这门历经沧桑却依然生机勃勃的语言。
