递归总结
递归
递归函数是在一个函数通过名字调用自身的情况下构成的,如下所示
function factorial(num){
if(num <= 1){
return 1
}else {
return num * factorial(num-1)
}
}
这是一个经典的递归阶乘函数。虽然这个函数表面看来没什么问题,但下面的代码却可能导致它出错。
var anotherFactorial = factorial;
factorial = null;
alert(anotherFactorial(4)); //出错!
以上代码先把factorial()函数保存在变量anotherFactorial中,然后将factorial变量设置为null,结果指向原始函数的引用只剩下一个。但在接下来调用anotherFactorial()时,由于必须执行factorial(),而factorial已经不再是函数,所以就会导致错误。在这种情况下,使用arguments.callee可以解决这个问题。
我们知道,arguments.callee是一个指向正在执行的函数的指针,因此可以用它来实现对函数的递归调用,例如:
function factorial(num){
if (num <= 1){
return 1;
} else {
return num * arguments.callee(num-1);
}
return num * arguments.callee(num-1);,通过使用arguments.callee代替函数名,可以确保无论怎样调用函数都不会出问题。因此,在编写递归函数时,使用arguments.callee总比使用函数名更保险。
但在严格模式下,不能通过脚本访问arguments.callee,访问这个属性会导致错误。不过,可以使用命名函数表达式来达成相同的结果。例如:
var factorial = (function f(num){
if (num <= 1){
return 1;
} else {
return num * f(num-1);
}
});
以上代码创建了一个名为f()
的命名函数表达式,然后将它赋值给变量factorial
。即便把函数赋值给了另一个变量,函数的名字f
仍然有效,所以递归调用照样能正确完成。这种方式在严格模式和非严格模式下都行得通。
- (function a(){}) (命名函数表达式)会返回这个函数(不会执行),但是在括号外面无法调用该函数,需要一个变量接收这个函数,var fun = (function a(){}),一般这个用在递归上,比如
var fact = (function f(num){ if(num === 1 ) return 1; else return num * fun(num - 1); })
- function a(){}(函数声明)返回undefined(不会执行),仅仅是函数声明(声明提前)
- var res = function a(){}() (函数表达式),立即执行该函数,必须使用一个变量接收返回值,否则报错
- (function a(){})() (函数表达式),立即执行该函数,不必须使用变量接收
总结
以上不同结果出现的原因是因为函数表达式和函数声明的区别
递归一定要有结束的条件。 (不然就是死循环)