果冻的猿宇宙

递归是一种常见的编程技巧，实名递归相信大家都不陌生，但如果想要实现匿名递归呢？比如想要返回一个匿名递归函数，又或者是定义一个匿名递归函数并直接调用它，该怎样去做呢？本文将来探讨一下它的实现。

实名递归

我们还是先从实名递归说起吧，还是用那个最简单的求阶乘的例子：

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 对象

在 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 可以用来获取参数，相信你可能已经知道了，但 arguments 对象其实还有一个属性，即所谓的 callee。arguments.callee 代表了这个函数本身。这是什么意思呢？其实我们完全可以把 fact 写成这样：

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 实现匿名递归的介绍就到这里。

Javascript 实现匿名递归

目录