介紹.net中的委派（一）
----微軟 .net平臺系列文章之四
回調函數
回調函數的確是至今為止最有用的編程機制之一。c運行時的qsort函數利用回調函數對數組元素進行排序。在windows中，回調函數更是窗口過程，鉤子過程，異步過程調用，以及目前microsoft .net框架所必需的，在整個回調過程中自始至終地使用回調方法。人們可以注冊回調方法以獲得加載/卸載通知，未處理異常通知，數據庫/窗口狀態修改通知，文件系統修改通知，菜單項選擇，完成的異步操作通知，過濾一組條目等等。
在c/c++中，一個函數的地址就是內存地址。這個地址不會附帶任何其它賦加信息，如函數的參數個數，參數類型，函數的返回值類型以及這個函數的調用規范。簡言之，c/c++回調函數不是類型安全的。
在.net框架中，回調函數所受到的重用與它在windows非受控編程中一樣。不同的是在.net框架中提供了一種叫委派（delegates）的類型安全機制。我們先來研究一下委派的聲明。下面的代碼展示了如何聲明，創建和使用委派：
//
using system;
using system.winforms;// 在beta2版本中為：system.windows.forms
using system.io;
class set {
private object[] items;
public set(int32 numitems) {
items = new object[numitems];
for (int32 i = 0; i < numitems; i++)
items[i] = i;
}
// 定義 feedback，類型為delegate
// (注意: 這個類型在set類中是嵌套的)
public delegate void feedback(
object value, int32 item, int32 numitems);
public void processitems(feedback feedback) {
for (int32 item = 0; item < items.length; item++) {
if (feedback != null) {
// 一旦指定了回調，便調用它們
feedback(items[item], item + 1, items.length);
}
}
}
}
class app {
[stathreadattribute]
static void main() {
staticcallbacks();
instancecallbacks();
}
static void staticcallbacks() {
// 創建一個set對象，其中有五個項目
set setofitems = new set(5);
// 處理項目，feedback=null
setofitems.processitems(null);
console.writeline();
// 處理項目，feedback=console
setofitems.processitems(new set.feedback(app.feedbacktoconsole));
console.writeline();
// 處理項目，feedback =msgbox
setofitems.processitems(new set.feedback(app.feedbacktomsgbox));
console.writeline();
// 處理項目，feedback = console and msgbox
set.feedback fb = null;
fb += new set.feedback(app.feedbacktoconsole);
fb += new set.feedback(app.feedbacktomsgbox);
setofitems.processitems(fb);
console.writeline();
}
static void feedbacktoconsole(
object value, int32 item, int32 numitems) {
console.writeline("processing item {0} of {1}: {2}.",
item, numitems, value);
}
static void feedbacktomsgbox(
object value, int32 item, int32 numitems) {
messagebox.show(string.format("processing item {0} of {1}: {2}.",
item, numitems, value));
}
static void instancecallbacks() {
//創建一個set對象，其中有五個元素
set setofitems = new set(5);
// 處理項目，feedback=file
app appobj = new app();
setofitems.processitems(new set.feedback(appobj.feedbacktofile));
console.writeline();
}
void feedbacktofile(
object value, int32 item, int32 numitems) {
streamwriter sw = new streamwriter("status", true);
sw.writeline("processing item {0} of {1}: {2}.",
item, numitems, value);
sw.close();
}
}
//
注意代碼最上面的set類。假設這個類包含一組將被單獨處理的項目。當你創建set對象時，將它要操縱的項目數傳遞給它的構造函數。然后構造函數再創建對象（objects）數組并初始化每一個整型值。
另外，set類定義了一個公共的委派，這個委派指出某個回調函數的簽名。在這個例子中，委派feedback 確定了一個帶三個參數的方法（第一個參數為object，第二和第三個參數都是int32類型）并且返回void。在某種意義上，委派很像c/c++中表示某個函數地址的類型定義（typedef）。
此外，set類定義了一個公共方法：processitems。這個方法有一個參數feedback——一個對委派feedback 對象的引用。processitems迭代遍歷所有的數組元素，并且針對每一個元素調用回調方法（由feedback變量指定哪一個會調方法），這個回調方法被傳遞，從而以不同的方式處理回調方法所傳遞的項目值，項目數量以及數組中的元素數目?？梢钥闯龌卣{方法能以它選擇的任何方式處理每一個項目。
使用委派調用靜態方法
staticcallbacks方法示范了用各種不同方式的回調委派。這個方法首先構造一個set對象，告訴它對象創建有五個對象元素的數組。然后調用processitems，在第一個調用中，它的feedback參數為null。processitems呈現一個方法，這種方法為每一個set操縱的項目實現某種動作。在第一個例子中，因為feedback參數是null，在處理每一個項目時不調用任何回調方法。
第二個例子中創建了一個新的set.feedback委派對象，這個委派對象是一個方法包裝器，允許方法的調用是經由這個包裝器間接調用。對于類型feedback的構造器來說，方法的名字（app.feedbackconsole）被作為構造器的參數傳遞；這就表示方法被包裝。然后，從new操作符返回的引用被傳到processitems。現在，當執行processitems時，它會調用app類型的feedbacktoconsole方法處理集合中的每一個項目。feedbacktoconsole簡單地將一個串輸出到控制臺，表示哪個項目被處理了以及這個項目的值是什么。
第三個例子與第二個例子基本相同。唯一的差別是feedback委派對象包裝的是另一個方法：app.feedbacktomsgbox。這個方法建立一個串，用這個串表示哪個項目被處理以及這個項目的值是什么。然后將這個串顯示在一個信息框中。
第四個例子也是靜態調用的最后一個例子示范了如何將委派鏈接在一起形成一個鏈。在這個例子中，首先創鍵一個feedback委派對象的引用變量fb，并將它初始化為null。這個變量指向委派鏈表的頭。null值表示鏈表中沒有節點。然后，構造feedback委派對象，由這個對象包裝對app feedbacktoconsole方法的調用。c#中，+=操作符被用于將對象添加到fb引用的鏈表中。fb此時指向鏈表的頭。
最后，構造另一個feedback委派對象，由這個對象包裝對app feedbacktomsgbox方法的調用。c#中的+=操作符又一次被用于將對象添加到fb引用的鏈表中，并且fb被新的鏈表的頭更新。現在，當執行processitems時，傳遞給它的是feedback委派鏈表的頭指針。在processitems內部，調用回調方法的代碼行實際上終止調用所有的在鏈表中由委派對象包裝的回調方法。也就是說，對于被迭代的每一個項目，都會調用feedbacktoconsole，接著馬上調用feedbacktomsgbox。在后續文章中我將詳細討論委派鏈的處理機制。
有一點很重要，那就是在這個例子中每件事情都是類型安全的，例如，當構造feedback委派對象時，編譯器保證app的feedbacktoconsole和feedbacktomsgbox方法都具備確切的原型，像由feedback委派定義的一樣。既兩個方法必須有三個參數（object，int32和int32），并且兩個方法必須有相同的返回類型（void）。如果方法原型不匹配，則編譯器將發出下面的出錯信息：“error cs0123：the signature of method 'app.feedbacktomsgbox()' does not match this delegate
type?！薄馑际莂pp.feedbacktomsgbox()方法的簽名與委派的類型不匹配。
調用實例方法
前面我們討論了如何使用委派調用靜態方法。但是委派還能被用于調用特定對象的實例方法。在調用實例方法時，委派需要知道這個它要用方法操作的對象的實例。
為了理解實例方法的回調機制，讓我們回頭看看前面代碼中的instancecallbacks方法。這段代碼與靜態方法的情形極其相似。注意在set對象被創建之后，app對象被創建。這個app對象僅僅是創建而已，處于示例目的沒有其它內容。當新的feedback委派對象被創建的時候，它的構造齊備傳到appobj.feedbacktofile。這將導致這個委派包裝對feedbacktofile方法的引用，feedbacktofile是個實例方法（非靜態）。當這個實例方法被調用時，由appobj引用的對象被操作（作為隱藏傳遞參數）。feedbacktofile方法的作用有點像feedbacktoconsole 和 feedbacktomsgbox，不同的是它打開一個文件并將處理的項目串添加到文件尾。
揭開委派的神秘面紗
從表面上看，委派好像很容易使用：用c#委派關鍵字定義，用類似new操作符的方式構造它們的實例， 用類似方法調用的語法調用回調方法（不同的是不使用方法名，而是使用指代委派對象的變量）。
然而，委派的實際運行機制要比前述例子中所描述的過程要復雜的多。編譯器和公共語言運行時（clr）在幕后所做的許多處理隱藏了這些復雜性，在這一部分中，我們將集中精力來討論編譯器和clr是如何協同工作實現委派機制的。這些知識將極大地豐富你對委派的理解并且這些知識將告訴你如何有效地使用它們。我們還將涉及到一些在編程中能用到的委派的附加特性。
我們還是從下面這行代碼開始：
public delegate void feedback(
object value, int32 item, int32 numitems);
當編譯器看到之一行代碼時，它會產生一個完整的類定義，這個定義的代碼會像下面這個樣子：
//
public class feedback : system.multicastdelegate {
// 構造器
public feedback(object target, int32 methodptr);
// 方法與源代碼描述的原型相同
public void virtual invoke(
object value, int32 item, int32 numitems);
// 方法允許被異步回調，后繼文章將討論這些方法
public virtual iasyncresult begininvoke(
object value, int32 item, int32 numitems,
asynccallback callback, object object);
public virtual void endinvoke(iasyncresult result);
}
//
事實上，通過使用ildasm.exe程序檢查結果模塊（如圖三），你能發現編譯器確實自動產生了這個類。
圖三 檢查編譯器產生的類
在這個例子中，編譯器已經定義了一個叫feedback的從system.multicastdelegate類型派生的類，它是在框架類庫（framework class library）中定義的。要知道，所有委派類型都是從multicastdelegate派生出來的。在這個例子中，feedback類是公共（public）類型的，因為在源代碼中它的類型被定義為public。如果用私有（private）或者受保護的（protected）類型定義，則由編譯器產生的feedback類也將是私有或者受保護的類型。你應該注意到委派類可能會在某個類中定義（如例子中feedback就是在set類中定義的）；委派也可能在被定義為全局型。從本質上說，可以將委派看成是類，可以在定義類的任何地方定義委派。
因為所有的委派都派生于multicastdelegate，它們繼承了multicastdelegate的域，屬性和方法。在所有這些成員中，你要特別注意三個私有（private）域：
用于委派類型的私有域：
域 類型 描述
_target system.object 指回調函數被調用時應該操作的對象。用于實例方法回調
_methodptr system.int32 內部整型，clr用它來標示被回調的方法
_prev system.multicastdelegate 指另一個委派對象，通常為null
所有的委派都有代兩個參數的構造器：一個參數是對象引用，一個是指代回調方法的整型。但是，如果你檢查源代碼，就會發現明白諸如app.feedbacktoconsole 或 appobj.feedbacktofile的傳遞使用值進行的。你的敏感會告訴你這個代碼不能編譯！
然而，編譯器知道某個委派被創建，同時編譯器解析源代碼以決定引用哪個對象和方法。對象引用被傳遞為目標參數，并且用某個特定的int32值（從某個methoddef或methodref元數據符號獲得）標示的方法被傳遞為methodptr參數。對于靜態方法，null被傳遞為目標參數。在構造器內部，這兩個參數被存儲在它們對應的私有（private）域中。
另外，構造器將這個域置為null。這個域被用來創建一個multicastdelegate對象鏈表?，F在我們暫時忽略_prev域，在后續文章中將會詳細討論有關它的內容。
每一個委派對象實際上就是一個方法包裝器，當方法被調用時，受作用的對象被操作。multicastdelegate類定義兩個只讀公共實例屬性：target和method。給定一個委派對象引用，你就可以查詢到它的這些屬性。如果方法被回調，target屬性返回一個對將要操作的對象的引用。如果方法是靜態的，則target返回null。method屬性返回標示回調方法的system.reflection.methodinfo對象。
你可以用幾種方式使用這些信息。一種方式是檢查是否某個委派對象引用特定類型的實例方法：
//
boolean delegatereferstoinstancemethodoftype(
multicastdelegate d, type type) {
return((d.target != null) && d.target.gettype == type);
}
//
你還應該編寫代碼檢查是否回調方法由專門的名字（如feedbacktomsgbox）：
//
boolean delegatereferstomethodofname(
multicastdelegate d, string methodname) {
return(d.method.name == methodname);
}
//
現在你知道了如何構造委派對象，下面讓我們來談談回調方法是如何被調用的。為方便起見，我們還是使用
set類中的processitems：
//
public void processitems(feedback feedback) {
for (int32 item = 1; item <= items.length; item++) {
if (feedback != null) {
// 如果指定任何回調，則調用它們
feedback(items[item], item, items.length);
}
}
}
//
注釋行下面的那一行代碼就是調用回調方法。仔細看看代碼，它調用feedback函數并傳遞三個參數。但是feedback是不存在的。再一次指出，編譯器知道feedback是個引用某個委派對象的變量，并且編譯器會產生實際的代碼來調用委派對象的invoke方法。換句話說，編譯器看到下面這行代碼后：
feedback(items[item], item, items.length);
編譯器產生的結果與下面這行源代碼產生的結果一樣：
feedback.invoke(items[item], item, items.length);
事實上，通過使用ildasm.exe程序檢查processitems代碼結果（如圖五），你能發現這一點。
圖五 分解后的 set類的 processitems
圖五顯示了用于set類型中processitems方法的微軟中介語言。其中紅色的箭頭指向的指令調用set.feedback的invoke方法。如果你修改源代碼來顯式調用invoke方法，c#編譯器報錯，出錯信息為：“error cs1533: invoke cannot be called directly on a delegate”——意思是invoke不能針對某個委派被直接調用。c#不允許你顯式調用invoke（但是，但別的編譯器可以）。
你會想起當編譯器定義feedback類的時候，它也定義了invoke方法。當invoke被調用時，它使用私有的_target和_methodptr域來為特定對象調用希望的方法。注意invoke方法的簽名與委派的簽名要完全匹配。也就是說，feedback委派帶三個參數并返回void，那么invoke方法也必須帶三個相同的參數并返回void。
