本文解析JavaScript以函数为界的作用域机制，阐述局部变量与全局变量的独立性。重点探讨当内部函数作为返回值时形成的闭包，它如何保留执行环境并保护私有变量。同时分析闭包带来的复杂度、内存占用及性能弊端，建议精简使用以避免内存泄漏风险。
JavaScript作用域与变量访问规则
JavaScript的作用域划分以函数为基本单位，每个函数拥有相对独立的作用域空间。在函数内部，既可以声明和访问全局变量，也可以定义局部变量（通过var关键字声明，函数参数同样属于局部变量）。然而，函数外部的代码无法直接访问函数内部的局部变量。
function test() {
var a = 0; // 局部变量
b = 1; // 全局变量
}
a = ?, b = ? // a为undefined，b为1
当局部变量与全局变量同名时，局部变量会覆盖全局变量的可见性，但它们在内存中是两个完全独立的实体。对其中一个变量的修改不会影响到另一个变量。
a = 5; // 函数外a的值为5
function test() {
var a = 4; // 函数内a的值为4
}();
a = ? // 函数外a的值仍为5，不受函数影响
闭包的形成机制与变量保护
通常情况下，函数执行完毕后，对其内部变量的引用随之消失，局部变量会被垃圾回收机制释放，函数的执行环境也被清空。但如果函数返回了一个内部函数，情况将发生改变。
function test(i) {
var b = i * i;
return function() {
return b--;
};
}
var a = test(8);
a(); // 返回值为64， 内部变量b为63
a(); // 返回值为63， 内部变量b为62
当内部函数被作为返回值返回时，由于该内部函数仍持有对外部局部变量的引用，导致这些局部变量无法被回收，函数的执行环境得以保留，从而形成了闭包。通过返回的内部函数引用，可以访问原本应被销毁的局部变量。闭包还使函数的局部变量变为“私有”状态，仅能通过返回的内部函数进行访问，其他途径无法修改这些变量。因此，闭包可用于维持局部变量的状态并保护变量数据。对比不使用闭包的情况：
var a = []; // 假设a中包含5个元素
for (var i = 0, m = a.length; i < m; i++) {
a[i].onclick = function(e) {
return 'No. ' + i;
};
}
// 点击任何一个元素，返回值都是“No. 5”，因为i最后的值为5
使用闭包的情况：
function test(i) {
return function(e) {
return 'No. ' + i;
};
}
var a = []; // 假设a中包含5个元素
for (var i = 0, m = a.length; i < m; i++) {
a[i].onclick = test(i);
}
// 使用闭包维持局部变量，点击元素返回No. 0 ~ No. 4
闭包的弊端与使用建议
闭包在提供便利的同时，也带来了一些潜在问题：1、增加程序复杂度，提高理解难度；2、干扰正常的垃圾回收机制，复杂的闭包可能导致内存无法释放甚至引发崩溃；3、庞大的闭包结构往往伴随性能问题。因此，闭包应保持精简小巧，避免庞大复杂，并谨慎大规模使用。闭包的产生最初被视为语言的一个缺陷，但因其独特功能而被保留。它作为一种辅助手段存在，而非主要功能。