arguments.callee 和 caller

在函数内部，有两个特殊的对象： arguments 和 this。其中 arguments 是一个类数组的对象，包含着传入函数中所有的参数。虽然 arguments 的主要用途是保存函数的参数，但这个对象还有一个叫做 callee 的属性，该属性是一个指针，指向拥有这个 arguments 的函数。

一起来看看下面这个经典的阶乘函数：

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。这样，无论引用函数时使用的是什么名字，都可以保证正常完成递归调用。例如：

var trueFactorial = factorial;

factorial = function(){
    return 0;
}

alert(trueFactorial(5));//120
alert(factorial(5));//0

在此变量 trueFactorial 获取了 factorial 的值，实际上是在另一个位置上保存了一个函数的指针。然后，我们又将一个简单的返回 0 的函数赋值给 factorial 变量。如果想原来的 factorial() 那样不使用 arguments.callee ，调用 trueFactorial() 就会返回 0 。可是，在解除了函数体内的代码与函数名的耦合状态后，trueFactorial() 仍能够正常的计算阶乘。至于 factorial() ，他现在只是一个返回 0 的函数。

当函数在严格模式下运行时，调用 arguments.callee 会导致错误。

---

caller

这个属性中保存着调用当前函数的函数的引用，如果是在全局作用域中调用当前函数，他的值为 null。例如：

function outer(){
    inner();
}

function inner(){
    alert(inner.caller);
}

outer();

以上代码会导致警告框中显示 outer(); 函数的源代码。因为 outer(); 调用了 inner(); ，所以 inner.caller 就指向了 outer(); 。为了实现更松散的耦合，也可以通过 arguments.callee.caller 来访问相同的信息。

function outer(){
    inner();
}

function inner(){
    alert(arguments.callee.caller);
}

outer();