概述
函數(shù)是進(jìn)行模塊化程序設(shè)計(jì)的基礎(chǔ)，編寫復(fù)雜的Ajax應(yīng)用程序，必須對(duì)函數(shù)有更深入的了解。JavaScript中的函數(shù)不同于其他的語(yǔ)言，每個(gè)函數(shù)都是作為一個(gè)對(duì)象被維護(hù)和運(yùn)行的。通過函數(shù)對(duì)象的性質(zhì)，可以很方便的將一個(gè)函數(shù)賦值給一個(gè)變量或者將函數(shù)作為參數(shù)傳遞。在繼續(xù)講述之前，先看一下函數(shù)的使用語(yǔ)法：
function func1(…){…}
var func2=function(…){…};
var func3=function func4(…){…};
var func5=new Function();
這些都是聲明函數(shù)的正確語(yǔ)法。它們和其他語(yǔ)言中常見的函數(shù)或之前介紹的函數(shù)定義方式有著很大的區(qū)別。那么在JavaScript中為什么能這么寫？它所遵循的語(yǔ)法是什么呢？下面將介紹這些內(nèi)容。
認(rèn)識(shí)函數(shù)對(duì)象（Function Object）
可以用function關(guān)鍵字定義一個(gè)函數(shù)，并為每個(gè)函數(shù)指定一個(gè)函數(shù)名，通過函數(shù)名來(lái)進(jìn)行調(diào)用。在JavaScript解釋執(zhí)行時(shí)，函數(shù)都是被維護(hù)為一個(gè)對(duì)象，這就是要介紹的函數(shù)對(duì)象（Function Object）。
函數(shù)對(duì)象與其他用戶所定義的對(duì)象有著本質(zhì)的區(qū)別，這一類對(duì)象被稱之為內(nèi)部對(duì)象，例如日期對(duì)象（Date）、數(shù)組對(duì)象（Array）、字符串對(duì)象（String）都屬于內(nèi)部對(duì)象。這些內(nèi)置對(duì)象的構(gòu)造器是由JavaScript本身所定義的：通過執(zhí)行new Array()這樣的語(yǔ)句返回一個(gè)對(duì)象，JavaScript內(nèi)部有一套機(jī)制來(lái)初始化返回的對(duì)象，而不是由用戶來(lái)指定對(duì)象的構(gòu)造方式。
在JavaScript中，函數(shù)對(duì)象對(duì)應(yīng)的類型是Function，正如數(shù)組對(duì)象對(duì)應(yīng)的類型是Array，日期對(duì)象對(duì)應(yīng)的類型是Date一樣，可以通過new Function()來(lái)創(chuàng)建一個(gè)函數(shù)對(duì)象，也可以通過function關(guān)鍵字來(lái)創(chuàng)建一個(gè)對(duì)象。為了便于理解，我們比較函數(shù)對(duì)象的創(chuàng)建和數(shù)組對(duì)象的創(chuàng)建。先看數(shù)組對(duì)象：下面兩行代碼都是創(chuàng)建一個(gè)數(shù)組對(duì)象myArray：
var myArray=[];
//等價(jià)于
var myArray=new Array();
同樣，下面的兩段代碼也都是創(chuàng)建一個(gè)函數(shù)myFunction：
function myFunction(a,b){
??????? return a+b;
}
//等價(jià)于
var myFunction=new Function("a","b","return a+b");
通過和構(gòu)造數(shù)組對(duì)象語(yǔ)句的比較，可以清楚的看到函數(shù)對(duì)象本質(zhì)，前面介紹的函數(shù)聲明是上述代碼的第一種方式，而在解釋器內(nèi)部，當(dāng)遇到這種語(yǔ)法時(shí)，就會(huì)自動(dòng)構(gòu)造一個(gè)Function對(duì)象，將函數(shù)作為一個(gè)內(nèi)部的對(duì)象來(lái)存儲(chǔ)和運(yùn)行。從這里也可以看到，一個(gè)函數(shù)對(duì)象名稱（函數(shù)變量）和一個(gè)普通變量名稱具有同樣的規(guī)范，都可以通過變量名來(lái)引用這個(gè)變量，但是函數(shù)變量名后面可以跟上括號(hào)和參數(shù)列表來(lái)進(jìn)行函數(shù)調(diào)用。
用new Function()的形式來(lái)創(chuàng)建一個(gè)函數(shù)不常見，因?yàn)橐粋€(gè)函數(shù)體通常會(huì)有多條語(yǔ)句，如果將它們以一個(gè)字符串的形式作為參數(shù)傳遞，代碼的可讀性差。下面介紹一下其使用語(yǔ)法：
var funcName=new Function(p1,p2,...,pn,body);
參數(shù)的類型都是字符串，p1到pn表示所創(chuàng)建函數(shù)的參數(shù)名稱列表，body表示所創(chuàng)建函數(shù)的函數(shù)體語(yǔ)句，funcName就是所創(chuàng)建函數(shù)的名稱?？梢圆恢付ㄈ魏螀?shù)創(chuàng)建一個(gè)空函數(shù)，不指定funcName創(chuàng)建一個(gè)無(wú)名函數(shù)，當(dāng)然那樣的函數(shù)沒有任何意義。
需要注意的是，p1到pn是參數(shù)名稱的列表，即p1不僅能代表一個(gè)參數(shù)，它也可以是一個(gè)逗號(hào)隔開的參數(shù)列表，例如下面的定義是等價(jià)的：
new Function("a", "b", "c", "return a+b+c")
new Function("a, b, c", "return a+b+c")
new Function("a,b", "c", "return a+b+c")
JavaScript引入Function類型并提供new Function()這樣的語(yǔ)法是因?yàn)楹瘮?shù)對(duì)象添加屬性和方法就必須借助于Function這個(gè)類型。
函數(shù)的本質(zhì)是一個(gè)內(nèi)部對(duì)象，由JavaScript解釋器決定其運(yùn)行方式。通過上述代碼創(chuàng)建的函數(shù)，在程序中可以使用函數(shù)名進(jìn)行調(diào)用。本節(jié)開頭列出的函數(shù)定義問題也得到了解釋。注意可直接在函數(shù)聲明后面加上括號(hào)就表示創(chuàng)建完成后立即進(jìn)行函數(shù)調(diào)用，例如：
var i=function (a,b){
???????? return a+b;
}(1,2);
alert(i);
這段代碼會(huì)顯示變量i的值等于3。i是表示返回的值，而不是創(chuàng)建的函數(shù)，因?yàn)槔ㄌ?hào)“(”比等號(hào)“=”有更高的優(yōu)先級(jí)。這樣的代碼可能并不常用，但當(dāng)用戶想在很長(zhǎng)的代碼段中進(jìn)行模塊化設(shè)計(jì)或者想避免命名沖突，這是一個(gè)不錯(cuò)的解決辦法。
需要注意的是，盡管下面兩種創(chuàng)建函數(shù)的方法是等價(jià)的：
function funcName(){
???????? //函數(shù)體
}
//等價(jià)于
var funcName=function(){
???????? //函數(shù)體
}
但前面一種方式創(chuàng)建的是有名函數(shù)，而后面是創(chuàng)建了一個(gè)無(wú)名函數(shù)，只是讓一個(gè)變量指向了這個(gè)無(wú)名函數(shù)。在使用上僅有一點(diǎn)區(qū)別，就是：對(duì)于有名函數(shù)，它可以出現(xiàn)在調(diào)用之后再定義；而對(duì)于無(wú)名函數(shù)，它必須是在調(diào)用之前就已經(jīng)定義。例如：
<script language="JavaScript" type="text/javascript">
<!--
func();
var func=function(){
???????? alert(1)
}
//-->
</script>
這段語(yǔ)句將產(chǎn)生func未定義的錯(cuò)誤，而：
<script language="JavaScript" type="text/javascript">
<!--
func();
function func(){
??????? alert(1)
}
//-->
</script>
則能夠正確執(zhí)行，下面的語(yǔ)句也能正確執(zhí)行：
<script language="JavaScript" type="text/javascript">
<!--
func();
var someFunc=function func(){
??????? alert(1)
}
//-->
</script>
由此可見，盡管JavaScript是一門解釋型的語(yǔ)言，但它會(huì)在函數(shù)調(diào)用時(shí)，檢查整個(gè)代碼中是否存在相應(yīng)的函數(shù)定義，這個(gè)函數(shù)名只有是通過function funcName()形式定義的才會(huì)有效，而不能是匿名函數(shù)。
函數(shù)對(duì)象和其他內(nèi)部對(duì)象的關(guān)系
除了函數(shù)對(duì)象，還有很多內(nèi)部對(duì)象，比如：Object、Array、Date、RegExp、Math、Error。這些名稱實(shí)際上表示一個(gè)類型，可以通過new操作符返回一個(gè)對(duì)象。然而函數(shù)對(duì)象和其他對(duì)象不同，當(dāng)用typeof得到一個(gè)函數(shù)對(duì)象的類型時(shí)，它仍然會(huì)返回字符串“function”，而typeof一個(gè)數(shù)組對(duì)象或其他的對(duì)象時(shí)，它會(huì)返回字符串“object”。下面的代碼示例了typeof不同類型的情況：
alert(typeof(Function)));
alert(typeof(new Function()));
alert(typeof(Array));
alert(typeof(Object));
alert(typeof(new Array()));
alert(typeof(new Date()));
alert(typeof(new Object()));
運(yùn)行這段代碼可以發(fā)現(xiàn)：前面4條語(yǔ)句都會(huì)顯示“function”，而后面3條語(yǔ)句則顯示“object”，可見new一個(gè)function實(shí)際上是返回一個(gè)函數(shù)。這與其他的對(duì)象有很大的不同。其他的類型Array、Object等都會(huì)通過new操作符返回一個(gè)普通對(duì)象。盡管函數(shù)本身也是一個(gè)對(duì)象，但它與普通的對(duì)象還是有區(qū)別的，因?yàn)樗瑫r(shí)也是對(duì)象構(gòu)造器，也就是說，可以new一個(gè)函數(shù)來(lái)返回一個(gè)對(duì)象，這在前面已經(jīng)介紹。所有typeof返回“function”的對(duì)象都是函數(shù)對(duì)象。也稱這樣的對(duì)象為構(gòu)造器（constructor），因而，所有的構(gòu)造器都是對(duì)象，但不是所有的對(duì)象都是構(gòu)造器。
既然函數(shù)本身也是一個(gè)對(duì)象，它們的類型是function，聯(lián)想到C++、Java等面向?qū)ο笳Z(yǔ)言的類定義，可以猜測(cè)到Function類型的作用所在，那就是可以給函數(shù)對(duì)象本身定義一些方法和屬性，借助于函數(shù)的prototype對(duì)象，可以很方便地修改和擴(kuò)充Function類型的定義，例如下面擴(kuò)展了函數(shù)類型Function，為其增加了method1方法，作用是彈出對(duì)話框顯示"function"：
Function.prototype.method1=function(){
??????? alert("function");
}
function func1(a,b,c){
??????? return a+b+c;
}
func1.method1();
func1.method1.method1();
注意最后一個(gè)語(yǔ)句：func1.method1.mehotd1()，它調(diào)用了method1這個(gè)函數(shù)對(duì)象的method1方法。雖然看上去有點(diǎn)容易混淆，但仔細(xì)觀察一下語(yǔ)法還是很明確的：這是一個(gè)遞歸的定義。因?yàn)閙ethod1本身也是一個(gè)函數(shù)，所以它同樣具有函數(shù)對(duì)象的屬性和方法，所有對(duì)Function類型的方法擴(kuò)充都具有這樣的遞歸性質(zhì)。
Function是所有函數(shù)對(duì)象的基礎(chǔ)，而Object則是所有對(duì)象（包括函數(shù)對(duì)象）的基礎(chǔ)。在JavaScript中，任何一個(gè)對(duì)象都是Object的實(shí)例，因此，可以修改Object這個(gè)類型來(lái)讓所有的對(duì)象具有一些通用的屬性和方法，修改Object類型是通過prototype來(lái)完成的：
Object.prototype.getType=function(){
???????? return typeof(this);
}
var array1=new Array();
function func1(a,b){
??????? return a+b;
}
alert(array1.getType());
alert(func1.getType());
上面的代碼為所有的對(duì)象添加了getType方法，作用是返回該對(duì)象的類型。兩條alert語(yǔ)句分別會(huì)顯示“object”和“function”。
將函數(shù)作為參數(shù)傳遞
在前面已經(jīng)介紹了函數(shù)對(duì)象本質(zhì)，每個(gè)函數(shù)都被表示為一個(gè)特殊的對(duì)象，可以方便的將其賦值給一個(gè)變量，再通過這個(gè)變量名進(jìn)行函數(shù)調(diào)用。作為一個(gè)變量，它可以以參數(shù)的形式傳遞給另一個(gè)函數(shù)，這在前面介紹JavaScript事件處理機(jī)制中已經(jīng)看到過這樣的用法，例如下面的程序?qū)unc1作為參數(shù)傳遞給func2：
function func1(theFunc){
??????? theFunc();
}
function func2(){
??????? alert("ok");
}
func1(func2);
在最后一條語(yǔ)句中，func2作為一個(gè)對(duì)象傳遞給了func1的形參theFunc，再由func1內(nèi)部進(jìn)行theFunc的調(diào)用。事實(shí)上，將函數(shù)作為參數(shù)傳遞，或者是將函數(shù)賦值給其他變量是所有事件機(jī)制的基礎(chǔ)。
例如，如果需要在頁(yè)面載入時(shí)進(jìn)行一些初始化工作，可以先定義一個(gè)init的初始化函數(shù)，再通過window.onload=init;語(yǔ)句將其綁定到頁(yè)面載入完成的事件。這里的init就是一個(gè)函數(shù)對(duì)象，它可以加入window的onload事件列表。
傳遞給函數(shù)的隱含參數(shù)：arguments
當(dāng)進(jìn)行函數(shù)調(diào)用時(shí)，除了指定的參數(shù)外，還創(chuàng)建一個(gè)隱含的對(duì)象——arguments。arguments是一個(gè)類似數(shù)組但不是數(shù)組的對(duì)象，說它類似是因?yàn)樗哂袛?shù)組一樣的訪問性質(zhì)，可以用arguments[index]這樣的語(yǔ)法取值，擁有數(shù)組長(zhǎng)度屬性length。arguments對(duì)象存儲(chǔ)的是實(shí)際傳遞給函數(shù)的參數(shù)，而不局限于函數(shù)聲明所定義的參數(shù)列表，例如：
function func(a,b){
?????? alert(a);
?????? alert(b);
?????? for(var i=0;i<arguments.length;i++){
???????????? alert(arguments[i]);
?????? }
}
func(1,2,3);
代碼運(yùn)行時(shí)會(huì)依次顯示：1，2，1，2，3。因此，在定義函數(shù)的時(shí)候，即使不指定參數(shù)列表，仍然可以通過arguments引用到所獲得的參數(shù)，這給編程帶來(lái)了很大的靈活性。arguments對(duì)象的另一個(gè)屬性是callee，它表示對(duì)函數(shù)對(duì)象本身的引用，這有利于實(shí)現(xiàn)無(wú)名函數(shù)的遞歸或者保證函數(shù)的封裝性，例如使用遞歸來(lái)計(jì)算1到n的自然數(shù)之和：
var sum=function(n){
??????? if(1==n)return 1;
??????? else return n+sum(n-1);
}
alert(sum(100));
其中函數(shù)內(nèi)部包含了對(duì)sum自身的調(diào)用，然而對(duì)于JavaScript來(lái)說，函數(shù)名僅僅是一個(gè)變量名，在函數(shù)內(nèi)部調(diào)用sum即相當(dāng)于調(diào)用一個(gè)全局變量，不能很好的體現(xiàn)出是調(diào)用自身，所以使用arguments.callee屬性會(huì)是一個(gè)較好的辦法：
var sum=function(n){
??????? if(1==n)return 1;
??????? else return n+arguments.callee(n-1);
}
alert(sum(100));
callee屬性并不是arguments不同于數(shù)組對(duì)象的惟一特征，下面的代碼說明了arguments不是由Array類型創(chuàng)建：
Array.prototype.p1=1;
alert(new Array().p1);
function func(){
???????? alert(arguments.p1);
}
func();
運(yùn)行代碼可以發(fā)現(xiàn)，第一個(gè)alert語(yǔ)句顯示為1，即表示數(shù)組對(duì)象擁有屬性p1，而func調(diào)用則顯示為“undefined”，即p1不是arguments的屬性，由此可見，arguments并不是一個(gè)數(shù)組對(duì)象。
函數(shù)的apply、call方法和length屬性
JavaScript為函數(shù)對(duì)象定義了兩個(gè)方法：apply和call，它們的作用都是將函數(shù)綁定到另外一個(gè)對(duì)象上去運(yùn)行，兩者僅在定義參數(shù)的方式有所區(qū)別：
Function.prototype.apply(thisArg,argArray);
Function.prototype.call(thisArg[,arg1[,arg2…]]);
從函數(shù)原型可以看到，第一個(gè)參數(shù)都被取名為thisArg，即所有函數(shù)內(nèi)部的this指針都會(huì)被賦值為thisArg，這就實(shí)現(xiàn)了將函數(shù)作為另外一個(gè)對(duì)象的方法運(yùn)行的目的。兩個(gè)方法除了thisArg參數(shù)，都是為Function對(duì)象傳遞的參數(shù)。下面的代碼說明了apply和call方法的工作方式：
//定義一個(gè)函數(shù)func1，具有屬性p和方法A
function func1(){
??????? this.p="func1-";
??????? this.A=function(arg){
????????????? alert(this.p+arg);
??????? }
}
//定義一個(gè)函數(shù)func2，具有屬性p和方法B
function func2(){
??????? this.p="func2-";
??????? this.B=function(arg){
?????????????? alert(this.p+arg);
??????? }
}
var obj1=new func1();
var obj2=new func2();
obj1.A("byA");????? //顯示func1-byA
obj2.B("byB");????? //顯示func2-byB
obj1.A.apply(obj2,["byA"]); //顯示func2-byA，其中[“byA”]是僅有一個(gè)元素的數(shù)組，下同
obj2.B.apply(obj1,["byB"]); //顯示func1-byB
obj1.A.call(obj2,"byA");??? //顯示func2-byA
obj2.B.call(obj1,"byB");??? //顯示func1-byB
可以看出，obj1的方法A被綁定到obj2運(yùn)行后，整個(gè)函數(shù)A的運(yùn)行環(huán)境就轉(zhuǎn)移到了obj2，即this指針指向了obj2。同樣obj2的函數(shù)B也可以綁定到obj1對(duì)象去運(yùn)行。代碼的最后4行顯示了apply和call函數(shù)參數(shù)形式的區(qū)別。
與arguments的length屬性不同，函數(shù)對(duì)象還有一個(gè)屬性length，它表示函數(shù)定義時(shí)所指定參數(shù)的個(gè)數(shù)，而非調(diào)用時(shí)實(shí)際傳遞的參數(shù)個(gè)數(shù)。例如下面的代碼將顯示2：
function sum(a,b){
??????? return a+b;
}
alert(sum.length);
深入認(rèn)識(shí)JavaScript中的this指針
this指針是面向?qū)ο蟪绦蛟O(shè)計(jì)中的一項(xiàng)重要概念，它表示當(dāng)前運(yùn)行的對(duì)象。在實(shí)現(xiàn)對(duì)象的方法時(shí)，可以使用this指針來(lái)獲得該對(duì)象自身的引用。
和其他面向?qū)ο蟮恼Z(yǔ)言不同，JavaScript中的this指針是一個(gè)動(dòng)態(tài)的變量，一個(gè)方法內(nèi)的this指針并不是始終指向定義該方法的對(duì)象的，在上一節(jié)講函數(shù)的apply和call方法時(shí)已經(jīng)有過這樣的例子。為了方便理解，再來(lái)看下面的例子：
<script language="JavaScript" type="text/javascript">
<!--
//創(chuàng)建兩個(gè)空對(duì)象
var obj1=new Object();
var obj2=new Object();
//給兩個(gè)對(duì)象都添加屬性p，并分別等于1和2
obj1.p=1;
obj2.p=2;
//給obj1添加方法，用于顯示p的值
obj1.getP=function(){
??????? alert(this.p); //表面上this指針指向的是obj1
}
//調(diào)用obj1的getP方法
obj1.getP();
//使obj2的getP方法等于obj1的getP方法
obj2.getP=obj1.getP;
//調(diào)用obj2的getP方法
obj2.getP();
//-->
</script>
從代碼的執(zhí)行結(jié)果看，分別彈出對(duì)話框顯示1和2。由此可見，getP函數(shù)僅定義了一次，在不同的場(chǎng)合運(yùn)行，顯示了不同的運(yùn)行結(jié)果，這是有this指針的變化所決定的。在obj1的getP方法中，this就指向了obj1對(duì)象，而在obj2的getP方法中，this就指向了obj2對(duì)象，并通過this指針引用到了兩個(gè)對(duì)象都具有的屬性p。
由此可見，JavaScript中的this指針是一個(gè)動(dòng)態(tài)變化的變量，它表明了當(dāng)前運(yùn)行該函數(shù)的對(duì)象。由this指針的性質(zhì)，也可以更好的理解JavaScript中對(duì)象的本質(zhì)：一個(gè)對(duì)象就是由一個(gè)或多個(gè)屬性（方法）組成的集合。每個(gè)集合元素不是僅能屬于一個(gè)集合，而是可以動(dòng)態(tài)的屬于多個(gè)集合。這樣，一個(gè)方法（集合元素）由誰(shuí)調(diào)用，this指針就指向誰(shuí)。實(shí)際上，前面介紹的apply方法和call方法都是通過強(qiáng)制改變this指針的值來(lái)實(shí)現(xiàn)的，使this指針指向參數(shù)所指定的對(duì)象，從而達(dá)到將一個(gè)對(duì)象的方法作為另一個(gè)對(duì)象的方法運(yùn)行。
每個(gè)對(duì)象集合的元素（即屬性或方法）也是一個(gè)獨(dú)立的部分，全局函數(shù)和作為一個(gè)對(duì)象方法定義的函數(shù)之間沒有任何區(qū)別，因?yàn)榭梢园讶趾瘮?shù)和變量看作為window對(duì)象的方法和屬性。也可以使用new操作符來(lái)操作一個(gè)對(duì)象的方法來(lái)返回一個(gè)對(duì)象，這樣一個(gè)對(duì)象的方法也就可以定義為類的形式，其中的this指針則會(huì)指向新創(chuàng)建的對(duì)象。在后面可以看到，這時(shí)對(duì)象名可以起到一個(gè)命名空間的作用，這是使用JavaScript進(jìn)行面向?qū)ο蟪绦蛟O(shè)計(jì)的一個(gè)技巧。例如：
var namespace1=new Object();
namespace1.class1=function(){
?????? //初始化對(duì)象的代碼
}
var obj1=new namespace1.class1();
這里就可以把namespace1看成一個(gè)命名空間。
由于對(duì)象屬性（方法）的動(dòng)態(tài)變化特性，一個(gè)對(duì)象的兩個(gè)屬性（方法）之間的互相引用，必須要通過this指針，而其他語(yǔ)言中，this關(guān)鍵字是可以省略的。如上面的例子中：
obj1.getP=function(){
??????? alert(this.p); //表面上this指針指向的是obj1
}
這里的this關(guān)鍵字是不可省略的，即不能寫成alert(p)的形式。這將使得getP函數(shù)去引用上下文環(huán)境中的p變量，而不是obj1的屬性。