在函数内部,有两个特殊的对象:arguments
和 this
。其中,arguments的主要用途是保存函数参数,他是一个Object对象,有length,index方法,但没有数组的push,pop之类的方法。 但这个对象还有个 callee
的属性,该属性是一个指针,指向拥有这个arguments对象的函数。 通过如下例子,可以更好的理解概念:
(function fn(){ alert( arguments.callee=== fn ); })() ;
执行上述代码,可以看到alter出来的结果是true,注意,此处用的是“===”,就是说func与arguments.callee对象类型和值都相等。看下面这个非常经典的阶乘函数:
function factorial(num){ if(num<=1){ return 1; }else{ return num * factorial(num-1); } }
定义阶乘函数一般都要用到递归算法;如上面的代码所示,在函数有名字,而且名字以后也不会变 的情况下,这样定义没有问题。但问题是这个函数的执行与函数名 factorial 紧紧结合在了一起。为 了消除这种紧密结合的现象,可以像下面这样使用 arguments.callee
function factorial(num){ if(num<=1){ return 1; }else{ return num * arguments.callee(num-1); } }
在这个重写后的 factorial()函数的函数体内,没有再引用函数名 factorial。这样,无论引用 函数时使用的是什么名字,都可以保证正常完成递归调用。例如:
function factorial(num){ if(num<= 1){ return 1; }else{ return num * arguments.callee(num-1); } } var trueFactorial = factorial; alert( trueFactorial(5) ); // 120 factorial = function(){ return 0; } alert( trueFactorial(5)); // 120 如果没有使用arguments.callee,将返回 0 ;
在此,变量 trueFactorial 获得了 factorial 的值,实际上是在另一个位置上保存了一个函数 的指针。然后,我们又将一个简单地返回 0的函数赋值给 factorial 变量。如果像原来的 factorial() 那样不使用 arguments.callee,调用 trueFactorial()就会返回 0。可是,在解除了函数体内的代 码与函数名的耦合状态之后,trueFactorial()仍然能够正常地计算阶乘;至于 factorial(),它现 在只是一个返回 0的函数。