全面理解Javascript的caller與callee概念
在提到上述的概念之前,首先想說說Javascript中函數的隱含參數:arguments
Arguments
該對象代表正在執行的函數和調用它的函數的參數。
[function.]arguments[n]
參數function:選項。當前正在執行的Function對象的名字。n:選項。要傳遞給Function對象的從0開始的參數值索引。
說明
Arguments是進行函數調用時,除了指定的參數外,還另外創建的一個隱藏對象。Arguments是一個類似數組但不是數組的對象,說它類似數組是因為其具有數組一樣的訪問性質及方式,可以由arguments[n]來訪問對應的單個參數的值,并擁有數組長度屬性length。還有就是arguments對象存儲的是實際傳遞給函數的參數,而不局限于函數聲明所定義的參數列表,而且不能顯式創建arguments對象。arguments對象只有函數開始時才可用。下邊例子詳細說明了這些性質:
- viewplaincopytoclipboardprint?
- //arguments對象的用法。
- functionArgTest(a,b){
- vari,s="TheArgTestfunctionexpected";
- varnumargs=arguments.length;//獲取被傳遞參數的數值。
- varexpargs=ArgTest.length;//獲取期望參數的數值。
- if(expargs<2)
- s+=expargs+"argument.";
- else
- s+=expargs+"arguments.";
- if(numargs<2)
- s+=numargs+"waspassed.";
- else
- s+=numargs+"werepassed.";
- s+="\n\n"
- for(i=0;is+="Arg"+i+"="+arguments[i]+"\n";
- }
- return(s);//返回參數列表。
- }
在此添加了一個說明arguments不是數組(Array類)的代碼:
- viewplaincopytoclipboardprint?
- Array.prototype.selfvalue=1;
- alert(newArray().selfvalue);
- functiontestAguments(){
- alert(arguments.selfvalue);
- }
運行代碼你會發現第一個alert顯示1,這表示數組對象擁有selfvalue屬性,值為1,而當你調用函數testAguments時,你會發現顯示的是“undefined”,說明了不是arguments的屬性,即arguments并不是一個數組對象。
caller
返回一個對函數的引用,該函數調用了當前函數。
functionName.caller
functionName對象是所執行函數的名稱。
說明
對于函數來說,caller屬性只有在函數執行時才有定義。如果函數是由頂層調用的,那么caller包含的就是null。如果在字符串上下文中使用caller屬性,那么結果和functionName.toString一樣,也就是說,顯示的是函數的反編譯文本。
下面的例子說明了caller屬性的用法:
- viewplaincopytoclipboardprint?
- //callerdemo{
- functioncallerDemo(){
- if(callerDemo.caller){
- vara=callerDemo.caller.toString();
- alert(a);
- }else{
- alert("thisisatopfunction");
- }
- }
- functionhandleCaller(){
- callerDemo();
- }
callee
返回正被執行的Function對象,也就是所指定的Function對象的正文。
[function.]arguments.callee
可選項function參數是當前正在執行的Function對象的名稱。
說明
callee屬性的初始值就是正被執行的Function對象。
callee屬性是arguments對象的一個成員,它表示對函數對象本身的引用,這有利于匿名
函數的遞歸或者保證函數的封裝性,例如下邊示例的遞歸計算1到n的自然數之和。而該屬性
僅當相關函數正在執行時才可用。還有需要注意的是callee擁有length屬性,這個屬性有時候
用于驗證還是比較好的。arguments.length是實參長度,arguments.callee.length是
形參長度,由此可以判斷調用時形參長度是否和實參長度一致。
示例
- viewplaincopytoclipboardprint?
- //callee可以打印其本身
- functioncalleeDemo(){
- alert(arguments.callee);
- }
- //用于驗證參數
- functioncalleeLengthDemo(arg1,arg2){
- if(arguments.length==arguments.callee.length){
- window.alert("驗證形參和實參長度正確!");
- return;
- }else{
- alert("實參長度:"+arguments.length);
- alert("形參長度:"+arguments.callee.length);
- }
- }
- //遞歸計算
- varsum=function(n){
- if(n<=0)
- return1;
- else
- returnn+arguments.callee(n-1)
- }
- //比較一般的遞歸函數:
- varsum=function(n){
- if(1==n)return1;
- elsereturnn+sum(n-1);
調用時:alert(sum(100));
其中函數內部包含了對sum自身的引用,函數名僅僅是一個變量名,在函數內部調用sum即相當于調用一個全局變量,不能很好的體現出是調用自身,這時使用callee會是一個比較好的方法。
applyandcall
它們的作用都是將函數綁定到另外一個對象上去運行,兩者僅在定義參數方式有所區別:
apply(thisArg,argArray);
call(thisArg[,arg1,arg2…]]);
即所有函數內部的this指針都會被賦值為thisArg,這可實現將函數作為另外一個對象的方法運行的目的
apply的說明
如果argArray不是一個有效的數組或者不是arguments對象,那么將導致一個TypeError。如果沒有提供argArray和thisArg任何一個參數,那么Global對象將被用作thisArg,并且無法被傳遞任何參數。
call的說明
call方法可將一個函數的對象上下文從初始的上下文改變為由thisArg指定的新對象。如果沒有提供thisArg參數,那么Global對象被用作thisArg
相關技巧:
應用call和apply還有一個技巧在里面,就是用call和apply應用另一個函數(類)以后,當前的
函數(類)就具備了另一個函數(類)的方法或者是屬性,這也可以稱之為“繼承”。看下面示例:
- viewplaincopytoclipboardprint?
- //繼承的演示
- functionbase(){
- this.member="dnnsun_Member";
- this.method=function(){
- window.alert(this.member);
- }
- }
- functionextend(){
- base.call(this);
- window.alert(member);
- window.alert(this.method);
- }
上面的例子可以看出,通過call之后,extend可以繼承到base的方法和屬性。
順便提一下,在javascript框架prototype里就使用apply來創建一個定義類的模式,
其實現代碼如下:
- viewplaincopytoclipboardprint?
- varClass={
- create:function(){
- returnfunction(){
- this.initialize.apply(this,arguments);
- }
- }
- }
解析:從代碼看,該對象僅包含一個方法:Create,其返回一個函數,即類。但這也同時是類的構造函數,其中調用initialize,而這個方法是在類創建時定義的初始化函數。通過如此途徑,就可以實現prototype中的類創建模式
示例:
- viewplaincopytoclipboardprint?
- varvehicle=Class.create();
- vehicle.prototype={
- initialize:function(type){
- this.type=type;
- }
- showSelf:function(){
- alert("thisvehicleis"+this.type);
- }
- }
- varmoto=newvehicle("Moto");
- moto.showSelf();
更詳細的關于prototype信息請到其官方網站查看。
【編輯推薦】