JavaScript的作用域链在函数定义时确定,由词法环境决定,变量查找沿定义时嵌套关系向上进行,未找到则抛ReferenceError;闭包依赖此静态链。
JavaScript 的作用域链是在函数定义时就确定的,它由函数创建时所处的词法环境(lexical environment)决定,不是在调用时动态生成的。变量查找严格遵循“词法作用域”规则:从当前执行上下文的作用域开始,沿着作用域链逐级向外查找,直到全局作用域;找不到则报 ReferenceError。
每当一个函数被定义,JS 引擎会记录下它所在的词法环境(即外层作用域),这个引用被保存在函数的内部属性 [[Environment]] 中。函数执行时
,会基于该属性构建作用域链:
let/const 声明、function 声明)作为链首window,Node.js 中是 global)查找变量时,JS 引擎按以下顺序进行:
var、let/const 和 function 的声明提升与暂时性死区)[[Environment]] 指向的外层作用域继续查找ReferenceError(注意:不是 undefined)看这段代码:
function outer() {即使 outer 执行结束、其执行上下文被销毁,inner 仍能通过作用域链访问 x —— 因为 inner 的 [[Environment]] 在定义时就绑定了 outer 的词法环境。这正是闭包的本质基础。
with 和 catch 语句会临时插入作用域链节点,但已不推荐使用eval 在非严格模式下可能修改作用域链,行为复杂且危险,应避免this、arguments,也没有自己的作用域链顶层,它直接继承外层函数的词法环境import/export)也是词法作用域的一部分,位于全局作用域之上一层