|
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
factorial = null;
anotherFactorial (4); //TypeError: Property 'factorial' of object [object Window] is not a function chrome
|
下测试
原因在于，我们定义的函数名，其实是指向函数的一个指针，此时定义了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. |
