JavaScript函数(2)

函数内部属性

在函数内部，有两个特殊的对象： 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;
alert(trueFactorial(5)); //120

factorial = function(){
    return 0;
};
alert(factorial(5)); //0

在此，变量 trueFactorial 获得了 factorial 的值，实际上是在另一个位置上保存了一个函数
的指针。然后，我们又将一个简单地返回 0 的函数赋值给 factorial 变量。

如果像原来的 factorial()
那样不使用 arguments.callee ，调用 trueFactorial() 就会返回 0。可是，在解除了函数体内的代
码与函数名的耦合状态之后， trueFactorial() 仍然能够正常地计算阶乘；

至于 factorial() ，它现
在只是一个返回 0 的函数。

this

函数内部的另一个特殊对象是 this ，其行为与 Java 和 C#中的 this 大致类似。

换句话说， this
引用的是函数据以执行的环境对象——或者也可以说是 this 值（当在网页的全局作用域中调用函数时，
this 对象引用的就是 window ）。

来看下面的例子。

window.color = "red";

var o = { color: "blue" };

function sayColor(){
    alert(this.color);
}

sayColor(); //"red"

o.sayColor = sayColor;
o.sayColor(); //"blue"

上面这个函数 sayColor() 是在全局作用域中定义的，它引用了 this 对象。

由于在调用函数之前，
this 的值并不确定，因此 this 可能会在代码执行过程中引用不同的对象。

当在全局作用域中调用
sayColor() 时， this 引用的是全局对象 window。

换句话说，对 this.color 求值会转换成对
window.color 求值，于是结果就返回了 “red” 。

而当把这个函数赋给对象 o 并调用 o.sayColor()
时， this 引用的是对象 o ，因此对 this.color 求值会转换成对 o.color 求值，结果就返回了 “blue” 。

函数的名字仅仅是一个包含指针的变量而已。因此，即使是
在不同的环境中执行，全局的 sayColor() 函数与 o.sayColor() 指向的仍然是同一
个函数。

caller

ECMAScript 5 也规范化了另一个函数对象的属性： caller 。

除了 Opera 的早期版本不支持，其他
浏览器都支持这个 ECMAScript 3 并没有定义的属性。这个属性中保存着调用当前函数的函数的引用，
如果是在全局作用域中调用当前函数，它的值为 null 。例如：

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

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

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

IE、Firefox、Chrome 和 Safari 的所有版本以及 Opera 9.6 都支持 caller 属性。
当函数在严格模式下运行时，访问 arguments.callee 会导致错误。ECMAScript 5 还定义了
arguments.caller 属性，但在严格模式下访问它也会导致错误，而在非严格模式下这个属性始终是
undefined 。定义这个属性是为了分清 arguments.caller 和函数的 caller 属性。以上变化都是为
了加强这门语言的安全性，这样第三方代码就不能在相同的环境里窥视其他代码了。
严格模式还有一个限制：不能为函数的 caller 属性赋值，否则会导致错误。

函数属性和方法

我们知道 ECMAScript 中的函数也是对象，那是对象，自然就会有属性和方法。

每个函数都包含两个
属性： length 和 prototype 。

length

其中， length 属性表示函数希望接收的命名参数的个数，如下面的例
子所示。

function sayName(name){
    alert(name);
}
function sum(num1, num2){
    return num1 + num2;
}
function sayHi(){
    alert("hi");
}
alert(sayName.length); //1
alert(sum.length); //2
alert(sayHi.length); //0

以上代码定义了 3 个函数，但每个函数接收的命名参数个数不同。首先， sayName() 函数定义了一
个参数，因此其 length 属性的值为 1。类似地， sum() 函数定义了两个参数，结果其 length 属性中
保存的值为 2。而 sayHi() 没有命名参数，所以其 length 值为 0。

prototype

在 ECMAScript 核心所定义的全部属性中，最耐人寻味的就要数 prototype 属性了

对于
ECMAScript 中的引用类型而言， prototype 是保存它们所有实例方法的真正所在。

换句话说，诸如
toString() 和 valueOf() 等方法实际上都保存在 prototype 名下，只不过是通过各自对象的实例访
问罢了。

在 ECMAScript 5 中， prototype 属性是不可枚举的，因此使用 for-in 无法发现。

在创建自定义引用类型以及实现继承时， prototype 属性的作用是极为重要的

apply() 和 call() 、bind()

每个函数都包含两个非继承而来的方法： apply() 和 call() 。

这两个方法的用途都是在特定的作用域中调用函数，实际上等于设置函数体内 this 对象的值。

apply()

首先， apply() 方法接收两个参数：一个是在其中运行函数的作用域，另一个是参数数组。

其中，第二个参数可以是 Array 的实例，也可以是
arguments 对象。例如：

function sum(num1, num2){
    return num1 + num2;
}
function callSum1(num1, num2){
    return sum.apply(this, arguments); // 传入 arguments 对象
}
function callSum2(num1, num2){
    return sum.apply(this, [num1, num2]); // 传入数组
}
alert(callSum1(10,10)); //20
alert(callSum2(10,10)); //20

在上面这个例子中， callSum1() 在执行 sum() 函数时传入了 this 作为 this 值（因为是在全局
作用域中调用的，所以传入的就是 window 对象）和 arguments 对象。而 callSum2 同样也调用了
sum() 函数，但它传入的则是 this 和一个参数数组。这两个函数都会正常执行并返回正确的结果。

在严格模式下，未指定环境对象而调用函数，则 this 值不会转型为 window 。
除非明确把函数添加到某个对象或者调用 apply() 或 call() ，否则 this 值将是
undefined 。

call()

call() 方法与 apply() 方法的作用相同，它们的区别仅在于接收参数的方式不同。

对于 call()
方法而言，第一个参数是 this 值没有变化，变化的是其余参数都直接传递给函数。换句话说，在使用
call() 方法时，传递给函数的参数必须逐个列举出来，如下面的例子所示

function sum(num1, num2){
    return num1 + num2;
}
function callSum(num1, num2){

    return sum.call(this, num1, num2);
}
alert(callSum(10,10)); //20

在使用 call() 方法的情况下， callSum() 必须明确地传入每一个参数。结果与使用 apply() 没有
什么不同。至于是使用 apply() 还是 call() ，完全取决于你采取哪种给函数传递参数的方式最方便。

如果你打算直接传入 arguments 对象，或者包含函数中先接收到的也是一个数组，那么使用 apply()
肯定更方便；否则，选择 call() 可能更合适。（在不给函数传递参数的情况下，使用哪个方法都无所
谓。）

事实上，传递参数并非 apply() 和 call() 真正的用武之地

它们真正强大的地方是能够扩充函数赖以运行的作用域。

下面来看一个例子

window.color = "red";
var o = { color: "blue" };

function sayColor(){
    alert(this.color);
}

sayColor(); //red

sayColor.call(this); //red
sayColor.call(window); //red
sayColor.call(o); //blue

这个例子是在前面说明 this 对象的示例基础上修改而成的。这一次， sayColor() 也是作为全局
函数定义的，而且当在全局作用域中调用它时，它确实会显示 “red” 因为对 this.color 的求值会转换成对 window.color 的求值。

而 sayColor.call(this) 和 sayColor.call(window) ，则是两
种显式地在全局作用域中调用函数的方式，结果当然都会显示 “red” 。

但是，当运行 sayColor.call(o)
时，函数的执行环境就不一样了，因为此时函数体内的 this 对象指向了 o ，于是结果显示的是 “blue” 。

使用 call() （或 apply() ）来扩充作用域的最大好处，就是对象不需要与方法有任何耦合关系。

bind

ECMAScript 5 还定义了一个方法： bind() 。这个方法会创建一个函数的实例，其 this 值会被绑
定到传给 bind() 函数的值。

window.color = "red";
var o = { color: "blue" };
function sayColor(){
    alert(this.color);
}
var objectSayColor = sayColor.bind(o);
objectSayColor(); //blue

在这里， sayColor() 调用 bind() 并传入对象 o ，创建了 o bjectSayColor() 函数。 object-
SayColor() 函数的 this 值等于 o ，因此即使是在全局作用域中调用这个函数，也会看到 “blue” 。