JavaScript词法作用域指变量和函数的可访问范围在代码写完时即确定，仅取决于定义位置而非调用位置；其静态绑定、嵌套查找、与调用无关及支撑闭包四大特点直接影响变量遮蔽、闭包形成、for循环问题及eval限制等行为。
JavaScript 的词法作用域，指的是变量和函数的可访问范围，在代码**写完那一刻就已确定**，不依赖函数在哪里被调用，只取决于它在源码中**定义的位置**。简单说：你把函数写在哪儿，它就“认”哪儿的外层变量。
词法作用域的核心特点
• 静态绑定：作用域关系在编译阶段（词法分析时）就固定了，运行时不会因调用方式改变。
• 嵌套查找：访问变量时，从当前作用域开始，逐级向外（向上）查找，直到全局；找到第一个同名标识符就停止（遮蔽效应）。
• 与调用无关：哪怕函数被传到别处执行，它依然沿用定义时的外层作用域链。
• 支撑闭包：内部函数能持续访问定义时的外部变量，正是靠词法作用域的静态结构。
为什么它直接影响代码行为
很多看似奇怪的输出，根源都在词法作用域没理清：
• 全局变量被意外覆盖？可能因为内层同名 let 遮蔽了外层，但你以为改的是同一个。
• 函数返回后还能用外层变量？不是魔法，是词法作用域让作用域链被保留下来，形成闭包。
• for 循环里用 var 导致所有回调共享同一变量？本质是 var 没块级作用域，循环体不构成新词法作用域。
• eval() 或 with 会破坏词法作用域规则——正因如此，它们被严格限制或禁用。
它如何影响日常开发决策
• 避免全局污染：理解词法作用域，才明白为何要把逻辑封装进函数或模块——变量天然隔离。
• 正确使用 let/const：它们引入块级作用域，改变了传统函数作用域的边界，比如 if 块内声明的 let 外部不可见。
• 调试更高效：遇到 ReferenceError，不用猜“它该在哪”，直接看函数定义位置，顺作用域链往上数。
• 写出可靠闭包：计数器、私有变量、柯里化……这些模式都建立在“函数记住自己出生地”的基础上。
立即学习“Java免费学习笔记（深入）”；
一个典型误区澄清
很多人以为 foo() 在 bar() 里被调用，就能自动访问 bar 的变量。错。只要 foo 是在全局定义的，它的词法作用域链里就没有 bar —— 它只认自己“出生地”的邻居，不认“工作地”的同事。
