词法作用域在函数定义时固化变量查找路径,闭包通过绑定外部变量的引用而非值快照来捕获变量,引擎依作用域链按序查找并保留活跃词法环境以防GC。

词法作用域本身不“确保”闭包获取正确变量,而是为闭包提供确定的变量查找依据——变量在哪一层定义,就固定从哪一层找,不随调用位置变化。闭包能拿到“正确的”值,关键在于函数创建时就锁定了词法环境,而不是运行时动态决定。
词法作用域在定义时就固化了变量归属
JavaScript 的作用域是词法的,意味着函数内部访问哪个变量,取决于它在源码中写在哪里,而不是怎么被调用的。比如:
function outer(x) {
return function inner() {
return x; // 这里的 x 永远绑定 outer 的参数 x,不管 inner 在哪调用
};
}
const fn = outer(42);
fn(); // 返回 42,不是其他值
inner 函数一被定义,引擎就为其内部的 x 记录下:它来自 outer 的参数,属于 outer 创建的词法环境。这个绑定发生在函数对象生成那一刻,不可更改。
作用域链让查找过程可预测
每次函数执行,JS 引擎会按固定顺序沿着作用域链向上找变量:
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- 先查自身执行上下文(局部变量)
- 没找到,就查外层函数的词法环境(即 outer 的活动对象或词法环境记录)
- 再没找到,继续往上,直到全局
因为 inner 的词法父级永远是 outer,所以每次访问 x 都必然落到 outer 当初传入的那个值上——只要该环境还存在(即未被 GC 回收),值就不会丢、不会错。
变量捕获的是绑定,不是值的快照
闭包捕获的是对变量的**引用**,不是复制一份值。这意味着:
- 如果外部变量是 let/const 声明,且后续被修改,闭包里读到的就是最新值
- 如果多个闭包共享同一个外部变量(如循环中未用块级作用域隔离),它们会看到同一份内存地址上的值
- var 声明在循环中容易出问题,正是因为所有闭包都引用同一个 i 变量,等循环结束时 i 已变成终值(如 10)
要得到不同值,得让每个闭包绑定独立的变量绑定——用 let 声明循环变量,或用立即执行函数隔离作用域。
垃圾回收配合词法作用域保留必要数据
按理说,outer 执行完,它的局部变量该被释放。但 JS 引擎发现 inner 函数的[[Environment]] 引用了 outer 的词法环境,于是不销毁它。这种“按需保留”机制,使得词法作用域中被闭包依赖的变量,能持续存活并保持准确状态。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










