JavaScript 支持函数的递归调用。
所谓递归函数，就是在函数体内调用函数本身。
使用递归函数的一个常见例子就是求阶乘。
利用递归函数求 6! 。
| 代码如下 | 复制代码 |
|
<script type="text/javascript"> function fact(num){ if (num<=1){ return 1; }else{ return num*fact(num-1); } } document.write(fact(6)); </script> |
|
但是这在js里面可能会出现错误：
| 代码如下 | 复制代码 |
|
var anotherFactorial = factorial; factorial=null; alert(anoterFactorial(4)); |
|
因为在调用anoterFactorial时内部的factorial已经不存在了。
解决方法是通过arguments.callee来解决。
如下：
| 代码如下 | 复制代码 |
|
function factorial(num) { if(num <= 1) { return 1; } else { return num*arguments.callee(num-1); } var anotherFactorial = factorial; factorial = null; alert(anotherFactorial(4)); } |
|
如果在一个很复杂的程序中我们可能只需要调用一次该函数，为了函数的精简我们当然要努力较少函数名的定义，这是很自然会想到用匿名函数来直接执行。但是如果是匿名函数如何实现递归？arguments.callee正好派上用场，他指代的就是当前执行的函数的引用。
arguments.callee
在javascript函数体内，标识符arguments具有特殊含义。它是调用对象的一个特殊属性，用来引用Arguments对象。 Arugments对象就像数组，注意这里只是像并不是哈。javascript函数体内，arguments像数组(并不是真的数组，是一个Arguments对象，再次强调)一样，有length属性，可以代 表传给函数的参数的个数。
引用一个形式参数可以用参数名，也可以用arguments[]数组形式，其中arguments[0]表示第一个参数。所以，javascript中Arguments对象是函数的实际参数，下面，我们一起来进入这神奇的国度，一窥究竟。
arguments.length属性：js不会主动为你判断你到底给函数传了多少个参数，如果你多传了，多余的部分就没有被使用，如果你少传了，那么没传的参数值就是undefined
所以我们可以借助arguments的length属性来检测调用函数时是否使用了正确数目的实际参数，因为javascript是不会为你做这些事的。
| 代码如下 | 复制代码 |
|
function f(x,y,z) { //首先检查传递的参数数量是否正确 if(arguments.length != 3) { throw new Error("function f called with " + arguments.length + "arguments ,but it not 3 arguments."); } //下面运行真正的函数 } |
|
arguments还为我们提供了这样一种可能，就是为一个函数传任意数目的实际参数：比如说，我想判断你传给我的一些数字的大小，取出最大的那个，对，没错，你传多少参数都行，但是前提是你要传数字，因为我在函数内部懒得判断了。
| 代码如下 | 复制代码 |
|
function max() { var m = Number.NEGATIVE_INFINITY;//Number.NEGATIVE_INFINITY JavaScript内最小的数字了 for(var i = 0; i < arguments.length; i++) { //只要有任何一个参数比m大，那么m就变成了这个参数的值 if(arguments[i] > m) m = arguments[i]; } return m; } |
|
怎么样？这个方法很巧妙吧？
说明一下arguments与真正传的形式参数是一致的：比如，你给函数传了一个叫param的参数，并且只有这一个参数，那么param与arguments[0]都是对这个参数值的引用，改变其中一个值，即改变了二者所有的值。
| 代码如下 | 复制代码 |
|
function change(param) { //比如我传的param为simaopig，那么alert就是simaopig， //如果啥也没传就会alert undefined alert(param); //用arguments[0]改变了这个参数的值 arguments[0] = 'xiaoxiaozi'; //没错，这个值变成了xiaoxiaozi alert(param); } |
|
arguments的callee属性：arguments的callee属性是用来引用当前正在执行的函数，这对未命名的函数调用自身非常有好处。
现在用arguments的这个callee简单的实现。
| 代码如下 | 复制代码 |
|
//用函数直接量，采用 arguments.callee属性实现递归函数 var result = function(x){ if(x<=1) return 1; return x*arguments.callee(x-1); }; |
|
js递归函数调用自身时的保险方式。
来自js高级程序设计
一个典型阶乘递归函数：
| 代码如下 | 复制代码 |
| function fact(num){ if (num<=1){ return 1; }else{ return num*fact(num-1); } } |
|
以下代码可导致出错：
| 代码如下 | 复制代码 |
| var anotherFact = fact; fact = null; alert(antherFact(4)); //出错 |
|
由于fact已经不是函数了，所以出错。
用arguments.callee可解决问题，这是一个指向正在执行的函数的指针。
新的函数为：
| 代码如下 | 复制代码 |
|
function fact(num){ if (num<=1){ return 1; }else{ return num*arguments.callee(num-1); //此处更改了。 } } var anotherFact = fact; fact = null; alert(antherFact(4)); //结果为24. |
|
JS普通递归的改进
递归函数是在一个函数通过名字调用自身的情况下构成的，如下所示:
| 代码如下 | 复制代码 |
| function factorial(num) { if(num<=1) { return 1; } else { return num * factorial(num-1); } } |
|
这是一个经典的阶乘函数。表面看来没有什么问题，但下面的代码却可能导致它出错。
| 代码如下 | 复制代码 |
|
var anotherFactorial = factorial; anotherFactorial(4); //输出 24 |
|
下测试
原因在于，我们定义的函数名，其实是指向函数的一个指针，此时定义了anotherFactorial 也指向了那个函数，所以调用anotherFactorial (4)可以成功的输出24
此时 factorial = null; 那么执行定义函数的引用就剩下了anotherFactorial，那么在调用anotherFactorial(4)就会显示以上的错误的信息。
此时可以使用arguments.callee来替代函数定义中的 factorial,
函数的定义就变成了：
| 代码如下 | 复制代码 |
| function factorial(num) { if(num<=1) { return 1; } else { return num * arguments.callee(num-1); } } |
|
那么在使用上面的4行测试代码，最后一行测试代码也可以成功的输出24.