JavaScript作用域链形成与变量查找规则解析

积累知识，胜过积蓄金银！毕竟在文章开发的过程中，会遇到各种各样的问题，往往都是一些细节知识点还没有掌握好而导致的，因此基础知识点的积累是很重要的。下面本文《JavaScript作用域链如何形成？变量查找规则详解》，就带大家讲解一下知识点，若是你对本文感兴趣，或者是想搞懂其中某个知识点，就请你继续往下看吧~

JavaScript的作用域链在函数定义时确定，由词法环境决定，变量查找沿定义时嵌套关系向上进行，未找到则抛ReferenceError；闭包依赖此静态链。

JavaScript 的作用域链是在函数定义时就确定的，它由函数创建时所处的词法环境（lexical environment）决定，不是在调用时动态生成的。变量查找严格遵循“词法作用域”规则：从当前执行上下文的作用域开始，沿着作用域链逐级向外查找，直到全局作用域；找不到则报 ReferenceError。

作用域链的形成过程

每当一个函数被定义，JS 引擎会记录下它所在的词法环境（即外层作用域），这个引用被保存在函数的内部属性 [[Environment]] 中。函数执行时，会基于该属性构建作用域链：

• 当前函数自己的词法环境（含形参、let/const 声明、function 声明）作为链首
• 接着是外层函数的词法环境（如果存在）
• 逐层向上，直到全局词法环境（浏览器中是 window，Node.js 中是 global）

变量查找的具体规则

查找变量时，JS 引擎按以下顺序进行：

• 先在当前作用域内搜索标识符（区分 var、let/const 和 function 的声明提升与暂时性死区）
• 若未找到，沿 [[Environment]] 指向的外层作用域继续查找
• 全局作用域也找不到，则抛出 ReferenceError（注意：不是 undefined）
• 不跨函数体横向查找，只沿定义时嵌套关系向上查找（这就是“词法”而非“动态”的关键）

一个典型例子说明链的静态性

看这段代码：

即使 outer 执行结束、其执行上下文被销毁，inner 仍能通过作用域链访问 x —— 因为 inner 的 [[Environment]] 在定义时就绑定了 outer 的词法环境。这正是闭包的本质基础。

注意几个常见误区

• with 和 catch 语句会临时插入作用域链节点，但已不推荐使用
• eval 在非严格模式下可能修改作用域链，行为复杂且危险，应避免
• 箭头函数没有自己的 this、arguments，也没有自己的作用域链顶层，它直接继承外层函数的词法环境
• 模块作用域（import/export）也是词法作用域的一部分，位于全局作用域之上一层

到这里，我们也就讲完了《JavaScript作用域链形成与变量查找规则解析》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！