JavaScript 实现匿名递归的方法：arguments.callee 详解

引言：匿名递归的需求

递归是编程中常用的技巧，大家通常对命名递归（实名递归）比较熟悉。然而，若需返回一个匿名递归函数，或定义后直接调用匿名递归函数，该如何操作？本文将探讨其具体实现方式。

实名递归与变量递归基础

实名递归

首先从常见的实名递归入手，以计算阶乘的最简示例为例：

function fact(n) {
 if (n < 2) {
  return n;
 } else {
  return n * fact(n - 1);
 }
}
console.log(fact(5));

递归的核心在于函数调用自身。当函数拥有名称时，实现这一点十分直接。

利用变量实现递归

函数可赋值给变量，但若要实现递归，函数体内部仍需依赖该变量名进行调用：

var f = function(n) {
 if (n < 2) {
  return n;
 } else {
  return n * f(n - 1);
 }
}
console.log(f(5));

这种方式与前述方法在本质上并无区别。

匿名递归的实现原理

匿名递归

接下来探讨匿名递归的具体实现。

初步设想

假设需要返回一个匿名递归函数，或定义并直接调用一个匿名递归函数：

(function (n) {
 if (n < 2) {
  return n;
 } else {
  return n * ?(n - 1);
 }
})(5);

若函数没有名称，代码中的问号处无法填入任何标识符，递归便无法形成。此时需借助 arguments 对象来解决。

arguments 对象的作用

arguments 对象

在 JavaScript 函数中，arguments 对象代表调用时传入的实际参数集合。在递归场景中，甚至无需定义形式参数 n：

function factNoParam() {
 if (arguments[0] < 2) {
  return arguments[0];
 } else {
  return arguments[0] * factNoParam(arguments[0] - 1);
 }
}
console.log(factNoParam(5));

只要调用时传入实际参数，即可通过 arguments[0] 获取该参数的值。

若存在更多参数，可通过 arguments[1]、arguments[2] 等依次获取。

利用 arguments.callee 实现

arguments.callee 属性

已知 arguments 用于获取参数，但该对象还包含一个名为 callee 的属性。arguments.callee 指向当前正在执行的函数本身。这意味着，即使函数有名称，也可改写为：

function fact(n) {
 if (n < 2) {
  return n;
 } else {
  return n * arguments.callee(n - 1);
 }
}
console.log(fact(5));

此时函数依然具备递归能力，因为 arguments.callee 等价于函数名 fact。

借助此属性，实现匿名递归变得简单：只需将前述代码中的问号替换为 arguments.callee 即可：

(function (n) {
 if (n < 2) {
  return n;
 } else {
  return n * arguments.callee(n - 1);
 }
})(5);

如有需要，也可将此匿名递归函数作为结果返回。

关于 JavaScript 实现匿名递归的介绍至此结束，希望内容对读者学习有所帮助。