JS底层小揭秘：作用域链与闭包，代码+图解一看就懂
在 JavaScript 的学习过程中，理解其底层运行机制是进阶的关键，而作用域链和闭包更是其中的核心概念。，很多人只停留在"会用"，没搞懂底层逻辑。本文结合代码+调用栈图解，从V8引擎的运行机制出发，拆解这两个概念的本质，帮你从底层视角搞懂 JS 的执行规则。
一、先搭好JS底层的基础框架
JS代码能运行，依赖V8引擎的三个核心模块：
- 调用栈 ：分编译阶段 （处理变量/函数提升）和执行阶段（创建执行上下文并压入栈，执行完弹出）；
- 执行上下文：全局执行上下文（始终在栈底）+ 函数执行上下文（函数调用时创建）；
- 作用域 ：定义变量的查找范围和生命周期，包含
let/const的块级作用域 （依托栈结构的词法环境），以及var的变量提升特性。
二、作用域链：静态的变量查找路径
作用域链（词法作用域链）的核心是：它由函数声明的位置决定，编译阶段就固定了，和调用顺序无关。
案例1：为什么bar里的myName取全局值？
对应代码与图示：
javascript
function bar(){
console.log(myName); // 输出"极客时间"
}
function foo() {
var myName = '极客邦'
bar() // 在foo内部调用bar
}
var myName = '极客时间'
foo();
运行逻辑拆解：
-
编译阶段：
bar和foo被声明在全局作用域，因此它们的作用域链默认"自身→全局"； -
执行阶段：
foo调用时，创建foo执行上下文（变量环境包含myName="极客邦"）并压入栈；foo内部调用bar，创建bar执行上下文并压入栈；bar中查找myName：自身变量环境无→通过outer指向的全局执行上下文查找→取全局的"极客时间"。
案例2：块级作用域下的变量查找
对应代码与图示：
javascript
function bar () {
var myName = '极客世界';
let test1 = 100;
if (1) {
let myName = "Chrome 浏览器";
console.log(test);
}
}
function foo() {
var myName = '极客邦';
let test = 2;
{
let test = 3;
bar();
}
}
var myName = '极客时间';
let myAge = 10;
let test = 1;
foo();
查找过程：
bar内部if块的console.log(test)，先查自身块级词法环境 （只有myName="Chrome 浏览器"）→ 没找到；- 查
bar函数的词法环境（有test1=100）→ 没找到； - 查
bar的变量环境（有myName="极客世界"）→ 没找到； - 查全局执行上下文的词法环境（有
test=1）→ 但由于bar的作用域链是"自身块级→bar函数→全局"，运行中会输出1。
三、闭包：函数"背着"变量的专属背包
闭包是词法作用域的延伸------外部函数执行后，其内部变量被嵌套函数引用，因此不会被垃圾回收，形成一个"变量背包"供嵌套函数使用。
案例：闭包的形成与运行
对应代码与图示：
javascript
function foo() {
var myName = '极客时间'
let test1 = 1
const test2 = 2
var innerBar = {
getName: function() {
console.log(test1) // 输出1
return myName
},
setName: function(newName) {
myName = newName // 修改foo内部的myName
}
}
return innerBar
}
var bar = foo() // foo执行上下文出栈
bar.setName("极客邦")
console.log(bar.getName()); // 输出1 + "极客邦"
闭包运行流程：
-
foo执行时 ：创建执行上下文，变量环境存储
myName="极客时间"，词法环境存储test1=1、test2=2，并压入栈； -
foo返回innerBar后 ：foo执行上下文出栈，但
getName/setName引用了myName和test1，这两个变量被保留在内存中（形成闭包，即"专属背包"）； -
调用bar.setName/getName时：
setName执行时，通过闭包找到myName并修改为"极客邦"；getName执行时，通过闭包找到test1并输出1，同时返回修改后的myName。
四、核心总结
- 作用域链是静态的：由函数声明位置决定，编译阶段固定，和调用顺序无关；
- 闭包是词法作用域的延伸：嵌套函数引用外部函数变量，导致外部函数变量不被回收，形成"变量背包"；
- 底层逻辑的关键：理解调用栈、执行上下文、作用域的关系，是搞懂JS变量查找和内存管理的基础。
JavaScript 的底层运行机制中，词法作用域是基础，它决定了作用域链的静态查找规则，而闭包则是词法作用域的延伸，通过保留自由变量实现了函数对外部作用域的持久访问。理解这些概念，不仅能帮助我们写出更符合 JS 运行逻辑的代码，还能解决实际开发中变量作用域、内存泄漏等常见问题。掌握作用域链与闭包，是深入理解 JavaScript 语言特性的重要一步。