javascript中的递归

递归做为一种算法在程序设计语言中广泛应用.是指函数/过程/子程序在运行过程中直接或间接调用自身而产生的重入现象.递归是计算机科学的一个重要概念,递归的方法是程序设计中有效的方法,采用递归编写程序能使程序变得简洁和清晰.。

　　递归函数：把直接或间接地调用自身的函数称为递归函数。函数的构建通常需要一个函数或者一个过程来完成。在数学上，关于递归函数的定义如下：对于某一函数f(x)，其定义域是集合A，那么若对于A集合中的某一个值X0，其函数值f(x0)由f(f(x0))决定，那么就称f(x)为递归函数。

递归函数是在一个函数通过调用自身的情况下去解决的。方式如下：

JavaScript代码

1. function factorial(num)
2. {
3. if(num <= 1)
4. {
5. return 1;
6. }
7. else
8. {
9. return num*factorial(num-1);
10. }
11. }

但是这在js里面可能会出现错误：

JavaScript代码

1. var anotherFactorial = factorial;
2. factorial=null;
3. alert(anoterFactorial(4));

因为在调用anoterFactorial时内部的factorial已经不存在了。

解决方法是通过arguments.callee来解决。

如下：

JavaScript代码

1. function factorial(num)
2. {
3. if(num <= 1)
4. {
5. return 1;
6. }
7. else
8. {
9. return num*arguments.callee(num-1);
10. }
11. var anotherFactorial = factorial;
12. factorial = null;
13. alert(anotherFactorial(4));
14. }

如果在一个很复杂的程序中我们可能只需要调用一次该函数，为了函数的精简我们当然要努力较少函数名的定义，这是很自然会想到用匿名函数来直接执行。但是如果是匿名函数如何实现递归？arguments.callee正好派上用场，他指代的就是当前执行的函数的引用。

arguments.callee

在 javascript函数体内，标识符arguments具有特殊含义。它是调用对象的一个特殊属性，用来引用Arguments对象。 Arugments对象就像数组，注意这里只是像并不是哈。javascript函数体内，arguments像数组(并不是真的数组，是一个 Arguments对象，再次强调)一样，有length属性，可以代 表传给函数的参数的个数。

引用一个形式参数可以用参数名，也可以用arguments[]数组形式，其中arguments[0]表示第一个参数。所以，javascript中Arguments对象是函数的实际参数，下面，我们一起来进入这神奇的国度，一窥究竟。

arguments.length属性：js不会主动为你判断你到底给函数传了多少个参数，如果你多传了，多余的部分就没有被使用，如果你少传了，那么没传的参数值就是undefined

所以我们可以借助arguments的length属性来检测调用函数时是否使用了正确数目的实际参数，因为javascript是不会为你做这些事的。

JavaScript代码

1. function f(x,y,z)
2. {
3. //首先检查传递的参数数量是否正确
4. if(arguments.length != 3)
5. {
6. throw new Error("function f called with " + arguments.length + "arguments ,but it not 3 arguments.");
7. }
8. //下面运行真正的函数
9. }

arguments还为我们提供了这样一种可能，就是为一个函数传任意数目的实际参数：比如说，我想判断你传给我的一些数字的大小，取出最大的那个，对，没错，你传多少参数都行，但是前提是你要传数字，因为我在函数内部懒得判断了。

JavaScript代码

1. function max()
2. {
3. var m = Number.NEGATIVE_INFINITY;//Number.NEGATIVE_INFINITY JavaScript内最小的数字了
4. for(var i = 0; i < arguments.length; i++)
5. {
6. //只要有任何一个参数比m大，那么m就变成了这个参数的值
7. if(arguments[i] > m)
8. m = arguments[i];
9. }
10. return m;
11. }

怎么样？这个方法很巧妙吧？

说明一下arguments与真正传的形式参数是一致的：比如，你给函数传了一个叫param的参数，并且只有这一个参数，那么param与arguments[0]都是对这个参数值的引用，改变其中一个值，即改变了二者所有的值。

JavaScript代码

1. function change(param)
2. {
3. //比如我传的param为simaopig，那么alert就是simaopig，
4. //如果啥也没传就会alert　undefined
5. alert(param);
6. //用arguments[0]改变了这个参数的值
7. arguments[0] = 'xiaoxiaozi';
8. //没错，这个值变成了xiaoxiaozi
9. alert(param);
10. }

arguments的callee属性：arguments的callee属性是用来引用当前正在执行的函数，这对未命名的函数调用自身非常有好处。

现在用arguments的这个callee简单的实现。

JavaScript代码

1. //用函数直接量，采用 arguments.callee属性实现递归函数
2. var result = function(x){
3. if(x<=1) return 1;
4. return x*arguments.callee(x-1);
5. };

在最后提醒大家一点，既然这个arguments这么厉害，那么我们就不要为变量命名为arguments 了，事实上arguments是javascript的保留字之一。