概念:递归函数通常指一个函数通过名称调用自己。
例:
function factorial(num){
if(num<= 1){
return 1;
}else{
return num*factorial(num-1)
}
}
这是经典的递归阶乘函数。虽然这样写是可以的,但如果把这个函数赋值给其他变量,就会出问题: 例:
let anotherFactorial = factorial;
factorial = null;
console.log(anotherFactorial (4))//报错
这里把factorial()函数保存在了另一个变量anotherFactorial中,然后将factorial()设成null,于是只保留了一个对初始函数的引用。而在调用anotherFactorial()时,要递归调用factorial(),但是因为它已经不是一个函数了,所以报错,但是在写递归的时候用arguments.callee可以避免这个问题。
arguments.callee 函数本身的引用,就是一个指向正在执行的函数的指针,因此可以在函数内部递归调用。
例:
function factorial(num){
if(num<= 1){
return 1;
}else{
return num*arguments.callee(num-1)
}
}
像这样把函数名替换成arguments.callee,可以确保无论通过什么变量调用这个函数都不会出问题。因此在编写递归函数时,arguments.callee是调用当前函数的首选
不过,在严格模式下运行的代码是不能访问arguments.callee,因为访问会报错,所以可以采用函数命名表达式(named function expression)达到目的。
例:
const factorial =(function f(num) {
if(num<= 1){
return 1;
}else{
return num*f(num-1)
}
});
这里创建了一个命名函数表达式f(),然后将它赋值给变量factorial。即使即使把函数赋值给另一个变量,函数表达式的名称并不会变,因此递归调用不会有问题。这个模式在严格模式和非严格模式下都可以用。