在JavaScript语言体系中，作用域、作用域链、变量提升、严格模式与闭包是贯穿代码执行机制、变量生命周期、模块化编程的核心底层知识。其中，作用域决定变量的可访问范围，作用域链构建变量的查找规则，变量提升是JS预解析的独有特性，严格模式规范代码执行逻辑，而闭包则是依托以上所有机制形成的高级语法特性，是实现数据私有化、函数复用、异步编程的核心基础。
五者层层递进、环环相扣，是前端开发进阶、面试核心考点，也是理解JS执行底层逻辑的关键。本文将系统性拆解各知识点的定义、语法规则、运行原理，结合IIFE实战场景与配套嵌入式面试真题，做到理论与刷题一体化掌握。
一、JavaScript作用域体系
作用域（Scope）是指代码中变量、函数的可访问范围，即变量与函数生效、可被调用的代码区域。JS引擎通过作用域隔离变量，避免全局变量污染，规范变量的生命周期与访问权限。JavaScript作用域主要分为三大类型：全局作用域、函数作用域、块级作用域。
1.1 全局作用域
脚本顶层、所有函数与代码块之外的区域为全局作用域。在全局作用域中定义的变量、函数称为全局变量、全局函数，可在代码任意位置访问，生命周期贯穿整个页面运行周期。
浏览器环境中，全局作用域的变量会挂载到 window 对象上；Node环境中会挂载到global 对象。全局作用域的弊端十分明显：过度使用全局变量会造成全局命名空间污染，极易出现变量命名冲突、数据被意外修改的问题。
// 全局变量
let globalNum = 100;
function globalFn() {
console.log(globalNum); // 可访问全局变量
}
globalFn();1.2 函数作用域
每个独立函数在调用时都会生成专属的函数作用域，函数内部定义的变量、函数仅能在当前函数作用域及内部嵌套作用域中访问，外部作用域无法直接访问。函数执行结束后，其内部普通变量会被销毁，内存自动释放。
函数作用域是JS早期实现变量隔离的核心方式，有效解决了全局变量污染问题，也是闭包能够形成的基础前提。
function fn() {
// 函数局部变量
let num = 20;
console.log(num);
}
fn();
// console.log(num); // 报错：num未定义，外部无法访问函数局部变量1.3 块级作用域（ES6新增）
ES6 新增 let、const 关键字，引入了块级作用域。凡是被 {} 包裹的代码块（if、for、while、单独代码块），都会形成独立的块级作用域。块级作用域内定义的变量，仅在当前代码块内有效，外部无法访问。
块级作用域彻底解决了 ES5 中 var 变量无块级隔离、变量泄露、循环变量全局污染的历史问题，是现代JS开发的标准规范。
if (true) {
let msg = "块级作用域变量";
console.log(msg);
}
// console.log(msg); // 报错：msg未定义
// var无块级作用域，会造成变量泄露
for(var i = 0; i < 3; i++){}
console.log(i); // 3，变量泄露至全局本节配套面试真题：块级作用域+函数声明易错点
题目：判断严格模式下代码执行结果。
"use strict";
if (true) {
function fn() {
return 10;
}
}
console.log(fn());执行结果：报错 fn 未定义
深度解析：
1、ES6 严格模式下，代码块内的函数声明仅作用于当前块级作用域，不会提升到全局；
2、非严格模式下会兼容 ES5 规则，块内函数声明挂载至全局，外部可访问；
3、该考点考察 ES5 与 ES6 作用域规则差异，是前端笔试高频易错点。
二、作用域链（Scope Chain）核心原理
当多个作用域嵌套时，会形成层级关系，JS 变量查找的层级查询机制即为作用域链。作用域链是闭包实现的核心底层支撑，所有嵌套函数的变量访问都依赖该机制。
2.1 查找规则
变量查找遵循由内向外、逐级查找、就近优先的原则：代码执行时，会优先在当前作用域查找变量；若当前作用域未找到，则向上查找父级作用域、祖父级作用域，直至全局作用域；若全局作用域仍未找到，抛出变量未定义错误。
作用域链的查找是单向的，子作用域可访问父作用域变量，父作用域无法访问子作用域变量。
2.2 层级示例
let a = "全局变量";
function outer() {
let b = "父级变量";
function inner() {
let c = "子级变量";
// 逐级查找：自身无→父级→全局
console.log(a, b, c);
}
inner();
}
outer();2.3 核心特性总结
1、作用域链在函数定义阶段就已确定，而非执行阶段，遵循静态作用域规则；
2、作用域链的本质是嵌套作用域的层级引用关系，保障变量的有序访问；
3、作用域链不会主动销毁，是闭包能够保留外部变量的核心原因。
本节配套面试真题：静态作用域（作用域链经典陷阱）
题目：写出代码执行结果并解释原因。
var myname = "global";
function bar() {
console.log(myname);
}
function foo() {
var myname = "foo";
bar();
}
foo();执行结果：global
深度解析：
JavaScript 遵循静态作用域（词法作用域）规则，作用域链在函数定义阶段确定，与调用位置无关。
1、bar 函数定义在全局作用域，其作用域链固定为：自身作用域 → 全局作用域；
2、虽然 bar 在 foo 内部调用，但不会继承 foo 的局部作用域；
3、bar 中查找 myname 只会向上找到全局变量，因此输出 global。
面试加分话术：JS 不存在动态作用域，所有变量查找均以函数定义时的层级为准，这是作用域链的核心本质。
三、变量提升与暂时性死区
变量提升是JS预解析阶段的特殊机制，不同变量声明方式、函数定义方式的提升规则不同，直接影响作用域内变量的执行顺序，也是开发中高频报错点。
3.1 var 变量提升
使用 var 声明的变量，会在预解析阶段被提升至当前作用域顶部，初始值为 undefined。因此可以先访问、后声明，不会报错，但会获取undefined，存在极大的逻辑隐患。
console.log(num); // undefined
var num = 10;3.2 let/const 暂时性死区（TDZ）
ES6 的 let、const 也存在变量提升，但不会初始化默认值，在变量声明语句执行前，该变量处于暂时性死区，禁止被访问，提前访问会直接报错。该机制彻底解决了 var 变量提升的逻辑混乱问题。
3.3 函数提升优先级
函数声明会整体提升，优先级高于 var 变量提升。同一作用域内，函数声明提升顺序优先于变量声明，可直接先调用后定义。而函数表达式遵循变量提升规则，无整体提升特性。
本节配套面试真题：变量提升与暂时性死区辨析
题目：判断两段代码执行结果并说明差异。
// 代码A
console.log(a);
var a = 10;
// 代码B
console.log(b);
let b = 20;执行结果：代码A输出 undefined；代码B直接报错 Cannot access 'b' before initialization
深度解析：
1、var 变量提升：声明提升至作用域顶部，默认初始化为 undefined，先访问后赋值不报错，存在逻辑隐患；
2、let/const 存在变量提升，但不初始化默认值，在声明前访问属于暂时性死区（TDZ），禁止访问，直接报错；
3、ES6 规范通过暂时性死区，彻底解决了 var 变量提升带来的语义混乱问题。
四、严格模式（Strict Mode）
严格模式是 ES5 引入的代码执行规范，用于规避JS语法不严谨、规则模糊的问题，规范变量声明、作用域、函数执行行为，是现代前端开发的标准模式，同时对作用域与闭包的运行规则有重要修正作用。
4.1 开启方式
在代码顶部书写 "use strict" 开启全局严格模式；写在函数首行，开启局部严格模式。
4.2 核心规范（与作用域强相关）
1、禁止隐式全局变量：未声明直接赋值的变量会直接报错，杜绝全局变量污染；
2、修正块级函数声明：块内函数声明仅作用于当前代码块，不再提升至全局，规范作用域层级；
3、禁止删除变量：无法删除声明的变量，保护作用域内变量稳定性；
4、this 指向规范化：普通函数调用 this 指向 undefined，不再指向 window，避免全局误修改。
本节配套面试真题：严格模式作用域规则考点
题目：以下代码严格模式与非严格模式执行结果分别是什么？
function test() {
num = 100;
}
test();
console.log(num);执行结果：
非严格模式：输出 100，未声明的变量自动挂载为全局变量；
严格模式：直接报错 num is not defined。
深度解析：
1、ES5 非严格模式允许隐式全局变量，未声明直接赋值的变量自动变为全局变量，极易造成全局污染；
2、严格模式强制所有变量必须声明，杜绝隐式全局变量，规范作用域使用，是现代工程化项目的必备规范。
五、IIFE 立即执行函数（作用域隔离实战）
IIFE（Immediately Invoked Function Expression）即立即执行函数，是依托函数表达式特性实现的语法，是 ES6 之前唯一的局部作用域隔离方案，广泛用于早期模块化开发、防止全局变量污染，也是闭包的经典应用场景。
5.1 核心原理
JS 引擎默认将行首 function 识别为函数声明，无法直接执行。通过括号、运算符等将其转换为函数表达式，即可实现定义即执行，执行后生成独立局部作用域，内部变量不会泄露到全局。
5.2 标准写法与应用
// 标准IIFE写法，实现作用域隔离
(function() {
let msg = "局部私有变量";
console.log(msg);
})();
// 传参IIFE
(function(a, b) {
console.log(a + b);
})(10, 20);ES6 块级作用域普及后，IIFE 使用场景减少，但仍是理解作用域隔离、闭包原理的重要案例。
本节配套面试真题：IIFE 作用域隔离与闭包结合考点
题目：分析如下 IIFE 代码的变量访问规则，说明其作用。
(function() {
var privateMsg = "私有数据";
console.log(privateMsg);
})();
console.log(privateMsg);执行结果：打印私有数据，外部报错 privateMsg 未定义
深度解析：
1、IIFE 将函数声明转为函数表达式，定义即执行，生成独立局部作用域；
2、内部变量 privateMsg 属于函数局部变量，外部作用域无法访问，实现变量私有化、作用域隔离；
3、ES6 之前无块级作用域，IIFE 是前端模块化、隔离私有逻辑、防止全局污染的核心方案，本质是立即执行的闭包。
六、闭包（Closure）核心原理与实战
闭包是 JavaScript 依托作用域、作用域链、变量生命周期形成的高级特性，是前端开发最重要、应用最广泛的底层能力。简单来说：闭包是能够读取外部函数局部变量的内部函数。
6.1 闭包形成条件（缺一不可）
1、存在函数嵌套：内部函数嵌套在外部函数中；
2、内部函数引用外部函数的局部变量/参数；
3、外部函数执行结束后，内部函数依然可被访问，延长变量生命周期。
6.2 闭包运行原理
常规函数执行结束后，其局部作用域会销毁，局部变量随之释放。但在闭包场景中，内部函数依托作用域链引用了外部函数的变量，JS 引擎为了保证变量正常访问，不会销毁外部函数的作用域与变量，使得局部变量可以在函数执行结束后继续保留，形成私有化、持久化的变量存储效果。
6.3 基础闭包案例
function outer() {
let count = 0; // 外部局部变量
// 内部函数，形成闭包
return function inner() {
count++;
return count;
}
}
// fn 持有闭包引用
const fn = outer();
console.log(fn()); // 1
console.log(fn()); // 2
console.log(fn()); // 3案例解析：outer 函数执行完毕后，本该销毁的 count 变量，因被 inner 函数引用而持久保留，每次调用 fn 都会基于原有变量值更新，实现了变量私有化、状态持久化。
6.4 闭包核心作用
1、实现变量私有化：外部无法直接访问闭包内变量，仅能通过暴露的方法操作，避免全局污染；
2、保存函数状态：持久保留局部变量的值，实现数据累加、缓存等效果；
3、实现模块化封装：隐藏私有逻辑，暴露公共方法，符合高内聚低耦合思想；
4、支撑异步编程：定时器、回调函数、Promise 异步逻辑均依赖闭包保存上下文。
6.5 闭包副作用与优化
闭包会长期占用内存，不会主动销毁，过度使用会造成内存泄漏。优化方案：在闭包使用完毕后，手动清空引用，将接收闭包的变量赋值为 null，释放内存。
fn = null; // 切断闭包引用，释放内存本节配套高频真题
真题1：var 循环+定时器 经典闭包坑（必考）
题目：分析以下代码输出结果，并给出 ES6 标准解决方案。
for (var i = 1; i <= 5; i++) {
setTimeout(() => {
console.log(i);
}, 1000);
}执行结果：延迟1秒后，连续打印 5 个 6
深度解析：
1、var 无块级作用域，循环产生的所有定时器回调，共用同一个全局变量 i；
2、循环同步代码瞬间执行完毕，此时 i 自增为 6；
3、定时器异步回调滞后执行，通过闭包引用最终的 i 值，因此全部打印 6；
4、本质：闭包保留了变量的引用，而非捕获变量当前快照。
最优解决方案（ES6）：使用 let 声明循环变量，let 具备块级作用域，每次循环都会生成独立绑定的 i，回调各自引用独立变量。
for (let i = 1; i <= 5; i++) {
setTimeout(() => {
console.log(i);
}, 1000);
}
// 输出：1 2 3 4 5真题2：闭包状态保存经典面试题
题目：写出代码执行结果并解释闭包原理。
function createCount() {
let count = 0;
return function() {
count++;
return count;
}
}
const c1 = createCount();
const c2 = createCount();
console.log(c1());
console.log(c1());
console.log(c2());执行结果：1、2、1
深度解析：
1、每次调用 createCount() 都会生成全新的局部作用域与独立的 count 变量；
2、c1、c2 是两个独立的闭包实例，各自引用不同作用域的 count 变量；
3、闭包延长了局部变量生命周期，函数执行结束后变量不销毁，实现独立状态保存；
4、该特性是计数器、缓存、私有变量、模块化封装的核心原理。
真题3：闭包内存泄漏考点（问答高频）
题目：闭包为什么会造成内存泄漏？如何解决？
标准面试回答：
1、产生原因：常规函数执行完毕后，局部作用域与变量会被 JS 垃圾回收机制销毁；但闭包会通过作用域链引用外层局部变量，持有作用域引用导致变量无法被回收，长期堆积会造成内存占用过高、内存泄漏。
2、解决方案：闭包使用完毕后，手动切断引用，将接收闭包的变量赋值为 null，解除引用后即可被垃圾回收。
c1 = null; // 手动释放闭包内存七、核心知识串联总结
1、作用域是基础：全局、函数、块级作用域规范了变量的访问边界，是所有机制的前提；
2、作用域链是规则：嵌套作用域的变量查找机制，支撑闭包的变量引用逻辑；
3、变量提升是特性：区分 var、let/const、函数声明的提升差异，规避代码报错；
4、严格模式是规范：修正作用域漏洞，标准化变量与函数执行行为；
5、IIFE 是作用域隔离实践：早期模块化核心方案，闭环作用域污染问题；
6、闭包是最终应用：依托以上所有机制，实现变量私有化、状态持久化，是JS高级编程的核心基石。
八、面试终极核心总结（可直接背诵）
1、作用域链静态不变：定义时确定，与调用位置无关；
2、闭包核心：嵌套函数引用外层变量、延长变量生命周期、保留作用域；
3、var/let 核心差异：var 存在变量提升、无块级作用域；let 存在暂时性死区、拥有块级隔离；
4、严格模式：杜绝隐式全局变量、规范块级函数声明、修复作用域漏洞；
5、IIFE 本质：函数表达式+立即执行，ES5 唯一的作用域隔离方案；
6、闭包利弊：利为数据私有化、状态保存、模块化；弊为易内存泄漏，需手动释放引用。
