在 JavaScript 的世界里，一段代码的行为不仅取决于它写了什么，更取决于它写在哪里。这种“位置决定命运”的机制，正是词法作用域（Lexical Scope）的核心思想。理解它，是掌握 JavaScript 执行逻辑、避免变量陷阱、乃至深入闭包原理的第一步。
作用域的本质：变量的可见性边界
作用域定义了变量在程序中的可访问范围。JavaScript 中存在三种主要作用域：全局作用域、函数作用域和块级作用域。但比分类更重要的是：作用域的嵌套关系决定了变量查找的路径——这条路径被称为作用域链。
关键在于，作用域链并非在函数被调用时动态生成，而是在代码编写时就已确定。也就是说，一个函数能访问哪些变量，完全取决于它在源码中被声明的位置，而非它在何处被调用。这种静态绑定机制，称为词法作用域。
一个反直觉的例子
考虑以下代码：
function bar() {
console.log(myName);
}
function foo() {
var myName = '极客邦';
bar();
}
var myName = '极客时间';
foo(); // 输出：极客时间
初看之下，bar 在 foo 内部被调用，似乎应输出 '极客邦'。但实际结果却是 '极客时间'。为什么？
因为 bar 函数是在全局作用域中声明的。当它执行 console.log(myName) 时，引擎会沿着其词法作用域链向上查找：首先在 bar 自身作用域中找，未找到；接着跳到其声明时所处的全局作用域，找到 myName = '极客时间'。尽管 bar 是在 foo 内部被调用的，但这对它的作用域链毫无影响。
这清晰地揭示了：函数的作用域由声明位置决定，而非调用位置。
作用域链的构建：编译阶段的秘密
JavaScript 引擎（如 V8）在执行代码前会经历编译阶段。在此阶段，它会分析函数的嵌套结构，并为每个函数预先建立一条静态的作用域链。
例如：
function outer() {
let x = 1;
function inner() {
console.log(x); // 能访问 x
}
return inner;
}
在编译时，引擎就已知道 inner 嵌套在 outer 内部，因此 inner 的作用域链包含两层：自身作用域 → outer 的作用域 → 全局作用域。这一链条在 inner 被创建时就已固化，无论它之后在哪里被调用。
块级作用域与词法环境的栈结构
ES6 引入的 let 和 const 支持块级作用域，进一步细化了变量的生命周期。引擎通过在词法环境中维护一个栈式结构来实现这一点。
当程序进入一个 {} 块时，一个新的作用域记录被压入词法环境栈；块内声明的 let/const 变量存储于此。查找变量时，引擎从栈顶（最内层块）开始搜索；块执行完毕后，该记录出栈，内部变量随即不可访问。
这种设计使得作用域管理既精确又高效，同时与函数作用域无缝融合。
为什么作用域链如此重要？
作用域链不仅是变量查找的路径，更是 JavaScript 实现封装与模块化的基础。它确保了内部状态不会被外部随意篡改，也为后续的闭包机制埋下伏笔。
试想，如果没有静态的作用域链，每次函数调用都要根据调用栈动态决定变量来源，代码将变得极其脆弱且难以推理。词法作用域的“静态性”，恰恰是 JavaScript 可预测性的基石。
