JavaScript函数与作用域：参数传递及闭包基础解析

理解 JavaScript 函数的底层运行逻辑，核心在于厘清三个关键链条：调用栈与词法环境如何决定变量的可访问性、函数调用时参数在内存中究竟传递了什么，以及为什么内部函数在外部函数执行完毕后仍然能够访问其局部变量。本文将抛弃空泛术语，从底层内存模型与代码执行过程切入，具体解析函数参数的传递本质及闭包的工作原理。

一、函数调用、执行上下文与词法作用域

JavaScript 采用的是词法作用域（Lexical Scoping），也称静态作用域。这意味着变量的作用域并不是在函数被调用时决定的，而是在函数被书写（定义）的位置就已经确定。当解析器编译代码时，函数嵌套关系便锚定了其外部作用域链。

每次调用函数时，JavaScript 引擎会创建对应的执行上下文（Execution Context）并将其推入调用栈（Call Stack）。每个执行上下文内部包含环境记录（保存局部变量、形参及函数声明）与一个外部环境引用（Outer Reference）。查找变量时，引擎先检查当前上下文环境，若不存在则沿着外部引用逐层向外追溯，直至全局上下文。若全局依然未找到，则抛出 ReferenceError。

二、参数传递机制：值传递的真相

在技术讨论中，常有人提出“基本类型是值传递，对象类型是引用传递”这一说法。在规范层面，JavaScript 中的所有参数传递都是严格的“按值传递（Pass by Value）”。造成行为差异的根本原因，是存储在变量中的“值”在内存形态上存在本质区别：

• 原始类型（Primitive Type）：如 Number、String、Boolean、null、undefined、Symbol、BigInt。栈内存中直接保存其实际数据。将其作为实参传入时，复制的是该数据本身的副本。在函数体内对形参赋予新值，绝不会影响外部实参。
• 引用类型（Reference Type）：如 Object、Array、Function。实际对象存放在堆内存（Heap）中，而栈内存变量中存储的仅仅是指向该堆内存地址的指针值（Reference）。传入函数时，同样是按值复制，但复制的是内存地址的值。形参与实参同时持有指向堆中同一个实体的引用指针。

1. 原始值传递代码验证

function updateNumber(x) {
  x = 100; // 修改局部变量 x
  console.log("函数内 x:", x); // 输出 100
}

let count = 10;
updateNumber(count);
console.log("外部 count:", count); // 依然输出 10，完全不受影响

2. 引用类型修改属性与重新赋值的差异

function modifyObject(target) {
  // 1. 通过指针修改内部属性：外部可感知
  target.name = "Alice";

  // 2. 将形参重新指向一个全新的对象：外部不受影响
  target = { name: "Bob" };
  console.log("函数内 target.name:", target.name); // 输出 "Bob"
}

let user = { name: "Initial" };
modifyObject(user);
console.log("外部 user.name:", user.name); // 输出 "Alice"（而非 "Bob"）

如果 JavaScript 是完全的“引用传递（Pass by Reference）”，那么在 target = { name: "Bob" } 发生时，外部的 user 变量也应同步被替换为新对象。然而 user 依旧指向旧对象，只是其 name 属性被改成了 "Alice"。这无可辩驳地证实了传递的只是指针副本，业内常将这种行为准确命名为共享传递（Call by Sharing）。

三、闭包的本质与生命周期推演

闭包（Closure）是 JavaScript 中最核心也最常被误解的机制之一。从学术与规范角度而言：闭包是由一个函数以及该函数被声明时所绑定的词法环境（Lexical Environment）组合而成的实体。

常规情况下，当一个函数执行结束，其执行上下文会从调用栈弹出，栈帧随之销毁，其内部局部变量由于失去引用而被垃圾回收（Garbage Collection）释放。然而，如果该函数内部嵌套定义了一个子函数，且该子函数被返回并在外部继续被引用，那么子函数在定义时就悄悄在其内部属性 [[Scopes]] 中打包了对其父级词法作用域的引用。

由于存在指向父级词法环境的活动引用，垃圾回收器的“标记清除（Mark-and-Sweep）”算法判定该环境仍然可达（Reachable），因而不会将其销毁。这使得那些本该随着父函数退出而消亡的变量，得以驻留在内存中并继续由内层函数操作。

四、闭包的典型应用场景与常见误区

1. 数据封装与私有变量保护

在 ES6 Class 引入私有字段（#field）之前，闭包是 JavaScript 模块化和数据私有化的唯一机制。通过将变量隐藏在外部函数的作用域内，仅向外暴露指定的方法，外部代码将无法通过任何直接途径读取或篡改该私有变量。

function createVault(initialValue) {
  let secretData = initialValue; // 私有变量，外界无法直接访问

  return {
    getSecret: function() {
      return secretData;
    },
    setSecret: function(newValue) {
      if (typeof newValue === "string" && newValue.length > 0) {
        secretData = newValue;
      }
    }
  };
}

const myVault = createVault("TopSecret123");
console.log(myVault.getSecret()); // 输出: "TopSecret123"
console.log(myVault.secretData); // 输出: undefined
myVault.setSecret("NewCode456");
console.log(myVault.getSecret()); // 输出: "NewCode456"

2. 经典排错：循环中的闭包与变量共享

初学者在使用异步回调配合 for 循环时，经常遇到如下典型陷阱：

// 错误示例：使用 var 声明循环变量
for (var i = 0; i < 3; i++) {
  setTimeout(function() {
    console.log("var 输出:", i);
  }, 100);
}
// 实际输出：3, 3, 3（而非预期的 0, 1, 2）

原因分析：var 声明的变量不具备块级作用域，其实际属于外部函数作用域或全局作用域。3 个定时器回调引用的都是同一个 i。当 100 毫秒后定时器触发时，循环早已跑完，此时 i 的值已经变为 3。

解决方案有两种：

• 使用 ES6 的 let 关键字：let 在每次循环迭代时都会为当前循环体创建一个独立的块级作用域（Block Scope），闭包捕获的是该轮迭代中独立存在的 i 副本。
• 使用 IIFE（立即调用函数表达式）：通过传参构建新的函数级作用域，将当前的 i 按值传入形参，完成即时锁定。

// 方案 A：使用 let (现代标准实践)
for (let i = 0; i < 3; i++) {
  setTimeout(() => console.log("let 输出:", i), 100);
} // 顺序输出 0, 1, 2

// 方案 B：使用 IIFE 手工构建闭包隔离层
for (var j = 0; j < 3; j++) {
  (function(lockedIndex) {
    setTimeout(() => console.log("IIFE 输出:", lockedIndex), 100);
  })(j);
} // 同样输出 0, 1, 2

五、函数、作用域与闭包核心全景总结

掌握 JavaScript 的函数与作用域体系，需将执行栈、内存划分、参数值拷贝及词法闭包串联成统一的整体认知架构。下方的全景图总结了这套体系的内在逻辑：