javascript中的函數不同于其他的語言,每個函數都是作為一個對象被維護和運行的。通過函數對象的性質,可以很方便的將一個函數賦值給一個變量或者將函數作為參數傳遞。在繼續講述之前,先看一下函數的使用語法:
以下是引用片段:
function func1(…){…} var func2=function(…){…}; var func3=function func4(…){…}; var func5=new Function();
這些都是聲明函數的正確語法。它們和其他語言中常見的函數或之前介紹的函數定義方式有著很大的區別。那么在JavaScript中為什么能這么寫?它所遵循的語法是什么呢?下面將介紹這些內容。
認識函數對象(Function Object)
可以用function關鍵字定義一個函數,并為每個函數指定一個函數名,通過函數名來進行調用。在JavaScript解釋執行時,函數都是被維護為一個對象,這就是要介紹的函數對象(Function Object)。
函數對象與其他用戶所定義的對象有著本質的區別,這一類對象被稱之為內部對象,例如日期對象(Date)、數組對象(Array)、字符串對象(String)都屬于內部對象。這些內置對象的構造器是由JavaScript本身所定義的:通過執行new Array()這樣的語句返回一個對象,JavaScript內部有一套機制來初始化返回的對象,而不是由用戶來指定對象的構造方式。
在JavaScript中,函數對象對應的類型是Function,正如數組對象對應的類型是Array,日期對象對應的類型是Date一樣,可以通過new Function()來創建一個函數對象,也可以通過function關鍵字來創建一個對象。為了便于理解,我們比較函數對象的創建和數組對象的創建。先看數組對象:下面兩行代碼都是創建一個數組對象myArray:
以下是引用片段:
var myArray=[]; //等價于 var myArray=new Array();
同樣,下面的兩段代碼也都是創建一個函數myFunction:
function myFunction(a,b){ return a+b; } //等價于 var myFunction=new Function("a","b","return a+b");
通過和構造數組對象語句的比較,可以清楚的看到函數對象本質,前面介紹的函數聲明是上述代碼的第一種方式,而在解釋器內部,當遇到這種語法時,就會自動構造一個Function對象,將函數作為一個內部的對象來存儲和運行。從這里也可以看到,一個函數對象名稱(函數變量)和一個普通變量名稱具有同樣的規范,都可以通過變量名來引用這個變量,但是函數變量名后面可以跟上括號和參數列表來進行函數調用。
用new Function()的形式來創建一個函數不常見,因為一個函數體通常會有多條語句,如果將它們以一個字符串的形式作為參數傳遞,代碼的可讀性差。下面介紹一下其使用語法:
以下是引用片段:
var funcName=new Function(p1,p2,...,pn,body);
參數的類型都是字符串,p1到pn表示所創建函數的參數名稱列表,body表示所創建函數的函數體語句,funcName就是所創建函數的名稱。可以不指定任何參數創建一個空函數,不指定funcName創建一個無名函數,當然那樣的函數沒有任何意義。
需要注意的是,p1到pn是參數名稱的列表,即p1不僅能代表一個參數,它也可以是一個逗號隔開的參數列表,例如下面的定義是等價的:
以下是引用片段:
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()這樣的語法是因為函數對象添加屬性和方法就必須借助于Function這個類型。
函數的本質是一個內部對象,由JavaScript解釋器決定其運行方式。通過上述代碼創建的函數,在程序中可以使用函數名進行調用。本節開頭列出的函數定義問題也得到了解釋。注意可直接在函數聲明后面加上括號就表示創建完成后立即進行函數調用,例如:
以下是引用片段:
var i=function (a,b){ return a+b; }(1,2); alert(i);
這段代碼會顯示變量i的值等于3。i是表示返回的值,而不是創建的函數,因為括號“(”比等號“=”有更高的優先級。這樣的代碼可能并不常用,但當用戶想在很長的代碼段中進行模塊化設計或者想避免命名沖突,這是一個不錯的解決辦法。
需要注意的是,盡管下面兩種創建函數的方法是等價的:
以下是引用片段:
function funcName(){ //函數體 } //等價于 var funcName=function(){ //函數體 }
但前面一種方式創建的是有名函數,而后面是創建了一個無名函數,只是讓一個變量指向了這個無名函數。在使用上僅有一點區別,就是:對于有名函數,它可以出現在調用之后再定義;而對于無名函數,它必須是在調用之前就已經定義。例如:
以下是引用片段:
<script language="JavaScript" type="text/javascript"> <!-- func(); var func=function(){ alert(1) } //--> </script>
這段語句將產生func未定義的錯誤,而:
以下是引用片段:
<script language="JavaScript" type="text/javascript"> <!-- func(); function func(){ alert(1) } //--> </script>
則能夠正確執行,下面的語句也能正確執行:
以下是引用片段:
<script language="JavaScript" type="text/javascript"> <!-- func(); var someFunc=function func(){ alert(1) } //--> </script>
由此可見,盡管JavaScript是一門解釋型的語言,但它會在函數調用時,檢查整個代碼中是否存在相應的函數定義,這個函數名只有是通過function funcName()形式定義的才會有效,而不能是匿名函數。
函數對象和其他內部對象的關系
除了函數對象,還有很多內部對象,比如:Object、Array、Date、RegExp、Math、Error。這些名稱實際上表示一個類型,可以通過new操作符返回一個對象。然而函數對象和其他對象不同,當用typeof得到一個函數對象的類型時,它仍然會返回字符串“function”,而typeof一個數組對象或其他的對象時,它會返回字符串“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()));
運行這段代碼可以發現:前面4條語句都會顯示“function”,而后面3條語句則顯示“object”,可見new一個function實際上是返回一個函數。這與其他的對象有很大的不同。其他的類型Array、Object等都會通過new操作符返回一個普通對象。盡管函數本身也是一個對象,但它與普通的對象還是有區別的,因為它同時也是對象構造器,也就是說,可以new一個函數來返回一個對象,這在前面已經介紹。所有typeof返回“function”的對象都是函數對象。也稱這樣的對象為構造器(constructor),因而,所有的構造器都是對象,但不是所有的對象都是構造器。
既然函數本身也是一個對象,它們的類型是function,聯想到C++、Java等面向對象語言的類定義,可以猜測到Function類型的作用所在,那就是可以給函數對象本身定義一些方法和屬性,借助于函數的prototype對象,可以很方便地修改和擴充Function類型的定義,例如下面擴展了函數類型Function,為其增加了method1方法,作用是彈出對話框顯示"function":
以下是引用片段:
Functiothod1=function(){ alert("function"); } function func1(a,b,c){ return a+b+c; } func1.method1(); functhod1();
注意最后一個語句:funchotd1(),它調用了method1這個函數對象的method1方法。雖然看上去有點容易混淆,但仔細觀察一下語法還是很明確的:這是一個遞歸的定義。因為method1本身也是一個函數,所以它同樣具有函數對象的屬性和方法,所有對Function類型的方法擴充都具有這樣的遞歸性質。
聲明:本網頁內容旨在傳播知識,若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。TEL:177 7030 7066 E-MAIL:11247931@qq.com