为什么JavaScript箭头函数中不能使用arguments

很多开发者在刚接触 ECMAScript 2015（ES6）的箭头函数时，会尝试像在传统函数中那样通过 arguments 对象来获取传入的不定长实参，却往往发现代码要么直接报错抛出 ReferenceError，要么阴差阳错地读取到了外层函数的参数。在 JavaScript 语言设计中，箭头函数自身并没有定义独立的 arguments 绑定。这并非规范制定者的疏忽，而是为了消除历史包袱、简化函数运行机制而做出的明确设计决策。

一、核心机制：执行上下文与词法作用域的绑定差异

要理解箭头函数为什么没有自身特有的 arguments，需要从 JavaScript 引擎创建函数执行环境的底层规范看起。

在传统的普通函数（通过 function 关键字声明或函数表达式定义）被调用时，JavaScript 引擎会为该调用实例化一个新的“函数环境记录”（Function Environment Record）。规范明确规定，该记录会检查内部标志 [[ArgumentsObjectNeeded]]。只要该函数不是箭头函数，引擎就会在初始化阶段自动在局部作用域内创建一个名为 arguments 的类数组对象，将调用时传入的所有实参按索引填充进去。

而箭头函数被设计为具有完全透明的词法特性。当箭头函数被调用时，引擎同样会建立环境记录，但其内部规定不建立自身的 this、arguments、super 以及 new.target 绑定。因此，箭头函数的作用域链中根本不存在属于它自己的 arguments 标识符。

图 1：普通函数与箭头函数在环境记录与 arguments 绑定上的根本差异

二、在箭头函数中编写 arguments 时发生的实际场景

当我们在箭头函数内部引用了 arguments 变量时，由于局部作用域内未定义该标识符，JavaScript 引擎会严格按照词法作用域链（Lexical Scope Chain）向外层依次排查。这会导致以下三种具体的运行表现：

1. 场景一：嵌套在外层普通函数中（捕获外层实参）

如果箭头函数包含在一个普通函数内，箭头函数中的 arguments 将直接指向外部普通函数的实参对象。这常常导致意料之外的隐蔽缺陷：

function outer(a, b) {
  const innerArrow = () => {
    // 这里的 arguments 并非 innerArrow 的实参，而是 outer 的实参
    console.log(arguments[0], arguments[1]);
  };
  innerArrow('x', 'y');
}

outer('hello', 'world'); 
// 实际打印输出: "hello" "world"，而非 "x" "y"

在上述代码中，开发者试图在 innerArrow 内读取 'x' 和 'y'，但实际上打印出的是外部 outer 函数的 'hello' 和 'world'。由于语法上完全合法，编译器和引擎不会报错，往往给排查业务逻辑带来极大的困难。

2. 场景二：全局作用域或 ES 模块环境（抛出引用错误）

如果在标准的 ES 模块（ES Module）顶层或浏览器全局环境中直接书写带有 arguments 的箭头函数：

// ES Module 顶层环境
const calculateTotal = () => {
  return arguments.length; // 抛出错误
};

calculateTotal(10, 20);
// Uncaught ReferenceError: arguments is not defined

因为整个作用域链一直查找到全局对象都没有名为 arguments 的变量声明，引擎便会立即抛出 ReferenceError。

3. 场景三：Node.js CommonJS 文件顶级（捕获模块包装参数）

在 Node.js 的 CommonJS 规范中，每个文件在执行前都会被隐式地包裹在一个外层普通函数中：(function(exports, require, module, __filename, __dirname) { ... })。如果在一个 .js 文件顶层写箭头函数并访问 arguments，它会抓取到 Node.js 模块包装器的这 5 个内置参数，而非报错，这也是不少初学者感到困惑的地方。

图 2：在箭头函数中访问 arguments 时的运行时查找推导图

三、为什么规范设计者（TC39）选择移除它？

ES6 在引入箭头函数时，目标非常清晰：提供一种语法简洁、运行时语义轻量且透明的函数形式。舍弃自身的 arguments 对象，主要有以下深层原因：

• 保持词法一致性，消除动态上下文副作用：在 ES6 之前，回调函数中的 this 与 arguments 经常发生“作用域遮蔽（Shadowing）”。在回调里想使用外层的 this 必须声明 var self = this;，想用外层的实参必须声明 var outerArgs = arguments;。箭头函数彻底统一了这一行为，将它们完全交给词法作用域处理。
• 避免不必要的性能损耗：传统函数每次被触发时，JavaScript 引擎都需要在堆中为 arguments 对象分配内存，并且维护形参与实参对象属性之间的同步（非严格模式下尤为复杂）。箭头函数常用于高频调用的数组操作（如 map、filter），省略此对象大幅降低了垃圾回收（GC）与运行时开销。
• 淘汰历史设计瑕疵：arguments 是一个“类数组对象（Array-like Object）”，虽然有 length 和下标，但无法直接调用数组的 slice、push、map、forEach 等方法。在现代工程中，它早已被视为应当逐步退场的遗留特性。

四、标准替代方案：从 arguments 规范重构到 Rest 参数

为了在不损失灵活性的前提下优雅地接收不定长实参，ES6 同期推出了剩余参数（Rest Parameters，即 ...args）。与 arguments 相比，Rest 参数是原生的 Array 实例，语法明确，并且与箭头函数完全兼容。

图 3：现代 JavaScript 从 arguments 向 Rest 参数演进的重构三步骤

重构代码对照示例

以下展示一段典型的重构前后代码对比：

// 改造前：ES5 普通函数配合 arguments
function sumOld() {
  // 必须借用 Array 原型方法转换为真正数组
  var nums = Array.prototype.slice.call(arguments);
  return nums.reduce(function(acc, val) {
    return acc + val;
  }, 0);
}

// 改造后：ES6 箭头函数配合 Rest 参数
const sumModern = (...nums) => nums.reduce((acc, val) => acc + val, 0);

console.log(sumModern(1, 2, 3, 4, 5)); // 输出: 15

重构后的箭头函数不仅消除了冗余的 slice 样板代码，而且让函数声明直接体现出“接收一组数字”的语义，运行速度与代码可读性均得到了显著提升。

五、全景对照与关键特性总结

在日常开发中，选择使用哪种参数接收方式，可以通过下面的核心差异表进行对照：

图 4：现代 JavaScript 抛弃 arguments 并采用箭头函数与 Rest 参数的核心价值全景总结