成員函數指針與高性能C++委托

1 引子

标準C++中沒有真正的面向對象的函數指針。這一點對C++來說是不幸的，因為面向對象的指針（也叫做“閉包（closure）”或“委托（delegate）”）在一些語言中已經證明了它寶貴的價值。在Delphi (Object Pascal)中，面向對象的函數指針是Borland可視化組建庫（VCL，Visual Component Library）的基礎。而在目前，C#使“委托”的概念日趨流行，這也正顯示出C#這種語言的成功。在很多應用程式中，“委托”簡化了松耦合對象的設計模式[GoF]。這種特性無疑在标準C++中也會産生很大的作用。

很遺憾，C++中沒有“委托”，它隻提供了成員函數指針（member function pointers）。很多程式員從沒有用過函數指針，這是有特定的原因的。因為函數指針自身有很多奇怪的文法規則（比如“->*”和“.*”操作符），而且很難找到它們的準确含義，并且你會找到更好的辦法以避免使用函數指針。更具有諷刺意味的是：事實上，編譯器的編寫者如果實作“委托”的話會比他費勁地實作成員函數指針要容易地多！

在這篇文章中，我要揭開成員函數指針那“神秘的蓋子”。在扼要地重述成員函數指針的文法和特性之後，我會向讀者解釋成員函數指針在一些常用的編譯器中是怎樣實作的，然後我會向大家展示編譯器怎樣有效地實作“委托”。最後我會利用這些精深的知識向你展示在C++編譯器上實作優化而可靠的“委托”的技術。比如，在Visual C++(6.0, .NET, and .NET 2003)中對單一目标委托（single-target delegate）的調用，編譯器僅僅生成兩行彙編代碼！

2 函數指針

下面我們複習一下函數指針。在C和C++語言中，一個命名為my_func_ptr的函數指針指向一個以一個int和一個char*為參數的函數，這個函數傳回一個浮點值，聲明如下：

float (*my_func_ptr)(int, char *);

為了便于了解，我強烈推薦你使用typedef關鍵字。如果不這樣的話，當函數指針作為一個函數的參數傳遞的時候，程式會變得晦澀難懂。這樣的話，聲明應如下所示：

typedef float (*MyFuncPtrType)(int, char *);

MyFuncPtrType my_func_ptr;

應注意，對每一個函數的參數組合，函數指針的類型應該是不同的。在Microsoft Visual C++（以下稱MSVC）中，對三種不同的調用方式有不同的類型：__cdecl, __stdcall, 和__fastcall。如果你的函數指針指向一個型如float some_func(int, char *)的函數，這樣做就可以了：

my_func_ptr = some_func;

當你想調用它所指向的函數時，你可以這樣寫：

(*my_func_ptr)(7, "Arbitrary String");

你可以将一種類型的函數指針轉換成另一種函數指針類型，但你不可以将一個函數指針指向一個void *型的資料指針。其他的轉換操作就不用詳叙了。一個函數指針可以被設定為0來表明它是一個空指針。所有的比較運算符（==, !=, <, >, <=, >=）都可以使用，可以使用“==

在C語言中，函數指針通常用來像qsort一樣将函數作為參數，或者作為Windows系統函數的回調函數等等。函數指針還有很多其他的應用。函數指針的實作很簡單：它們隻是“代碼指針（code pointer）”，它們展現在彙編語言中是用來儲存子程式代碼的首位址。而這種函數指針的存在隻是為了保證使用了正确的調用規範。

3 成員函數指針

在C++程式中，很多函數是成員函數，即這些函數是某個類中的一部分。你不可以像一個普通的函數指針那樣指向一個成員函數，正确的做法應該是，你必須使用一個成員函數指針。一個成員函數的指針指向類中的一個成員函數，并和以前有相同的參數，聲明如下：

float (SomeClass::*my_memfunc_ptr)(int, char *);

對于使用const關鍵字修飾的成員函數，聲明如下：

float (SomeClass::*my_const_memfunc_ptr)(int, char *) const;

注意使用了特殊的運算符（::*），而“SomeClass”是聲明中的一部分。成員函數指針有一個可怕的限制：它們隻能指向一個特定的類中的成員函數。對每一種參數的組合，需要有不同的成員函數指針類型，而且對每種使用const修飾的函數和不同類中的函數，也要有不同的函數指針類型。在MSVC中，對下面這四種調用方式都有一種不同的調用類型：

__cdecl, __stdcall, __fastcall, 和 __thiscall。

（__thiscall是預設的方式，有趣的是，在任何官方文檔中從沒有對__thiscall關鍵字的較長的描述，但是它經常在錯誤資訊中出現。如果你顯式地使用它，你會看到“它被保留作為以後使用（it is reserved for future use）”的錯誤提示。）

如果你使用了成員函數指針，你最好使用typedef以防止混淆。将函數指針指向型如float SomeClass::some_member_func(int, char *)的函數，你可以這樣寫：

my_memfunc_ptr = &SomeClass::some_member_func;

很多編譯器（比如MSVC）會讓你去掉“&”，而其他一些編譯器（比如GNU G++）則需要添加“&”，是以在手寫程式的時候我建議把它添上。若要調用成員函數指針，你需要先建立SomeClass的一個執行個體，并使用特殊操作符“->*”，這個操作符的優先級較低，你需要将其适當地放入圓括号内。

SomeClass *x = new SomeClass;

(x->*my_memfunc_ptr)(6, "Another Arbitrary Parameter");

//如果類在棧上，你也可以使用“.*”運算符。

SomeClass y;

(y.*my_memfunc_ptr)(15, "Different parameters this time");

不要怪我使用如此奇怪的文法——看起來C++的設計者對标點符号有着由衷的感情！C++相對于C增加了三種特殊運算符來支援成員指針。“::*”用于指針的聲明，而“->*”和“.*”用來調用指針指向的函數。這樣看起來對一個語言模糊而又很少使用的部分的過分關注是多餘的。（你當然可以重載“->*”這些運算符，但這不是本文所要涉及的範圍。）

一個成員函數指針可以被設定成0，并可以使用“==”和“!=”比較運算符，但隻能限定在同一個類中的成員函數的指針之間進行這樣的比較。任何成員函數指針都可以和0做比較以判斷它是否為空。與函數指針不同，不等運算符（<, >, <=, >=）對成員函數指針是不可用的。

4 成員函數指針的怪異之處

成員函數指針有時表現得很奇怪。

首先，你不可以用一個成員函數指針指向一個靜态成員函數，你必須使用普通的函數指針才行（在這裡“成員函數指針”會産生誤解，它實際上應該是“非靜态成員函數指針”才對）。

其次，當使用類的繼承時，會出現一些比較奇怪的情況。比如，下面的代碼在MSVC下會編譯成功（注意代碼注釋）：

#include “stdio.h”

class SomeClass {

public:

virtual void some_member_func(int x, char *p) {

printf("In SomeClass"); };

};

class DerivedClass : public SomeClass {

public:

// 如果你把下一行的注釋銷掉，帶有 line (*)的那一行會出現錯誤

// virtual void some_member_func(int x, char *p) { printf("In DerivedClass"); };

};

int main() {

//聲明SomeClass的成員函數指針

typedef void (SomeClass::*SomeClassMFP)(int, char *);

SomeClassMFP my_memfunc_ptr;

my_memfunc_ptr = &DerivedClass::some_member_func; // ---- line (*)

return 0;

}

奇怪的是，&DerivedClass::some_member_func是一個SomeClass類的成員函數指針，而不是DerivedClass類的成員函數指針！（一些編譯器稍微有些不同：比如，對于Digital Mars C++，在上面的例子中，&DerivedClass::some_member_func會被認為沒有定義。）但是，如果在DerivedClass類中重寫（override）了some_member_func函數，代碼就無法通過編譯，因為現在的&DerivedClass::some_member_func已成為DerivedClass類中的成員函數指針！

成員函數指針之間的類型轉換是一個讨論起來非常模糊的話題。在C++的标準化的過程中，在涉及繼承的類的成員函數指針時，對于将成員函數指針轉化為基類的成員函數指針還是轉化為子類成員函數指針的問題和是否可以将一個類的成員函數指針轉化為另一個不相關的類的成員函數指針的問題，人們曾有過很激烈的争論。然而不幸的是，在标準委員會做出決定之前，不同的編譯器生産商已經根據自己對這些問題的不同的回答實作了自己的編譯器。根據标準（第

在一些編譯器中，在基類和子類的成員函數指針之間的轉換時常有怪事發生。當涉及到多重繼承時，使用reinterpret_cast将子類轉換成基類時，對某一特定編譯器來說有可能通過編譯，而也有可能通不過編譯，這取決于在子類的基類清單中的基類的順序！下面就是一個例子：

class Derived: public Base1, public Base2 // 情況 (a)

class Derived2: public Base2, public Base1 // 情況 (b)

typedef void (Derived::* Derived_mfp)();

typedef void (Derived2::* Derived2_mfp)();

typedef void (Base1::* Base1mfp) ();

typedef void (Base2::* Base2mfp) ();

Derived_mfp x;

對于情況(a)，static_cast<Base1mfp>(x)是合法的，而static_cast<Base2mfp>(x)則是錯誤的。然而情況(b)卻與之相反。你隻可以安全地将子類的成員函數指針轉化為第一個基類的成員函數指針！如果你要實驗一下，MSVC會發出C4407号警告，而Digital Mars C++會出現編譯錯誤。如果用reinterpret_cast代替static_cast，這兩個編譯器都會發生錯誤，但是兩種編譯器對此有着不同的原因。但是一些編譯器對此細節置之不理，大家可要小心了！

标準C++中另一條有趣的規則是：你可以在類定義之前聲明它的成員函數指針。這對一些編譯器會有一些無法預料的副作用。我待會讨論這個問題，現在你隻要知道要盡可能得避免這種情況就是了。

值得注意的是，就像成員函數指針，标準C++中同樣提供了成員資料指針（member data pointer）。它們具有相同的操作符，而且有一些實作原則也是相同的。它們用在stl::stable_sort的一些實作方案中，而對此很多其他的應用我就不再提及了。

5 成員函數指針的使用

現在你可能會覺得成員函數指針是有些奇異。但它可以用來做什麼呢？對此我在網上做了非常廣泛的調查。最後我總結出使用成員函數指針的兩點原因：

• 用來做例子給C++初學者看，幫助它們學習文法；或者
• 為了實作“委托（delegate）”！

成員函數指針在STL和Boost庫的單行函數擴充卡（one-line function adaptor）中的使用是微不足道的，而且允許你将成員函數和标準算法混合使用。但是它們最重要的應用是在不同類型的應用程式架構中，比如它們形成了MFC消息系統的核心。

當你使用MFC的消息映射宏（比如ON_COMMAND）時，你會組裝一個包含消息ID和成員函數指針（型如：CCmdTarget::*成員函數指針）的序列。這是MFC類必須繼承CCmdTarget才可以處理消息的原因之一。但是，各種不同的消息處理函數具有不同的參數清單（比如OnDraw處理函數的第一個參數的類型為CDC *），是以序列中必須包含各種不同類型的成員函數指針。

MFC是怎樣做到這一點的呢？MFC利用了一個可怕的編譯器漏洞（hack），它将所有可能出現的成員函數指針放到一個龐大的聯合（union）中，進而避免了通常需要進行的C++類型比對檢查。（看一下afximpl.h和cmdtarg.cpp中名為MessageMapFunctions的union，你就會發現這一恐怖的事實。）

因為MFC有如此重要的一部分代碼，是以事實是，所有的編譯器都為這個漏洞開了綠燈。（但是，在後面我們會看到，如果一些類用到了多重繼承，這個漏洞在MSVC中就不會起作用，這正是在使用MFC時隻能必須使用單一繼承的原因。）

在boost::function中有類似的漏洞（但不是太嚴重）。看起來如果你想做任何有關成員函數指針的比較有趣的事，你就必須做好與這個語言的漏洞進行挑戰的準備。要是你想否定C++的成員函數指針設計有缺陷的觀點，看來是很難的。

在寫這篇文章中，我有一點需要指明：“允許成員函數指針之間進行轉換（cast），而不允許在轉換完成後調用其中的函數”，把這個規則納入C++的标準中是可笑的。

首先，很多流行的編譯器對這種轉換不支援（是以，轉換是标準要求的，但不是可移植的）。

其次，所有的編譯器，如果轉換成功，調用轉換後的成員函數指針時仍然可以實作你預期的功能：那編譯器就沒有所謂的“undefined behavior（未定義的行為）”這類錯誤出現的必要了（調用（Invocation）是可行的，但這不是标準！）。

第三，允許轉換而不允許調用是完全沒有用處的，隻有轉換和調用都可行，才能友善而有效地實作委托，進而使這種語言受益。

為了讓你确信這一具有争議的論斷，考慮一下在一個檔案中隻有下面的一段代碼，這段代碼是合法的：

class SomeClass;

typedef void (SomeClass::* SomeClassFunction)(void);

void Invoke(SomeClass *pClass, SomeClassFunction funcptr) {(pClass->*funcptr)(); };

注意到編譯器必須生成彙編代碼來調用成員函數指針，其實編譯器對SomeClass類一無所知。顯然，除非連結器進行了一些極端精細的優化措施，否則代碼會忽視類的實際定義而能夠正确地運作。而這造成的直接後果是，你可以“安全地”調用從完全不同的其他類中轉換過來的成員函數指針。

為解釋我的斷言的另一半——轉換并不能按照标準所說的方式進行，我需要在細節上讨論編譯器是怎樣實作成員函數指針的。我同時會解釋為什麼使用成員函數指針的規則具有如此嚴格的限制。獲得詳細論述成員函數指針的文檔不是太容易，并且大家對錯誤的言論已經習以為常了，是以，我仔細檢查了一系列編譯器生成的彙編代碼……

6 成員函數指針——為什麼那麼複雜？

類的成員函數和标準的C函數有一些不同。與被顯式聲明的參數相似，類的成員函數有一個隐藏的參數this，它指向一個類的執行個體。根據不同的編譯器，this或者被看作内部的一個正常的參數，或者會被特别對待（比如，在VC++中，this一般通過ECX寄存器來傳遞，而普通的成員函數的參數被直接壓在堆棧中）。this作為參數和其他普通的參數有着本質的不同，即使一個成員函數受一個普通函數的支配，在标準C++中也沒有理由使這個成員函數和其他的普通函數（ordinary function）的行為相同，因為沒有thiscall關鍵字來保證它使用像普通參數一樣正常的調用規則。成員函數是一回事，普通函數是另外一回事（Member functions are from Mars, ordinary functions are from Venus）。

你可能會猜測，一個成員函數指針和一個普通函數指針一樣，隻是一個代碼指針。然而這種猜測也許是錯誤的。在大多數編譯器中，一個成員函數指針要比一個普通的函數指針要大許多。更奇怪的是，在Visual C++中，一個成員函數指針可以是4、8、12甚至16個位元組長，這取決于它所相關的類的性質，同時也取決于編譯器使用了怎樣的編譯設定！成員函數指針比你想象中的要複雜得多，但也不總是這樣。

讓我們回到二十世紀80年代初期，那時，最古老的C++編譯器CFront剛剛開發完成，那時C++語言隻能實作單一繼承，而且成員函數指針剛被引入，它們很簡單：它們就像普通的函數指針，隻是附加了額外的this作為它們的第一個參數，你可以将一個成員函數指針轉化成一個普通的函數指針，并使你能夠對這個額外添加的參數産生足夠的重視。

這個田園般的世界随着CFront 2.0的問世被擊得粉碎。它引入了模版和多重繼承，多重繼承所帶來的破壞造成了成員函數指針的改變。問題在于，随着多重繼承，調用之前你不知道使用哪一個父類的this指針，比如，你有4個類定義如下：

class A {

public:

virtual int Afunc() { return 2; };

};

class B {

public:

int Bfunc() { return 3; };

};

// C是個單一繼承類，它隻繼承于A

class C: public A {

public:

int Cfunc() { return 4; };

};

// D 類使用了多重繼承

class D: public A, public B {

public:

int Dfunc() { return 5; };

};

假如我們建立了C類的一個成員函數指針。在這個例子中，Afunc和Cfunc都是C的成員函數，是以我們的成員函數指針可以指向Afunc或者Cfunc。但是Afunc需要一個this指針指向C::A(後面我叫它Athis)，而Cfunc需要一個this指針指向C（後面我叫它Cthis）。編譯器的設計者們為了處理這種情況使用了一個把戲（trick）：他們保證了A類在實體上儲存在C類的頭部（即C類的起始位址也就是一個A類的一個執行個體的起始位址），這意味着Athis == Cthis。我們隻需擔心一個this指針就夠了，并且對于目前這種情況，所有的問題處理得還可以。

現在，假如我們建立一個D類的成員函數指針。在這種情況下，我們的成員函數指針可以指向Afunc、Bfunc或Dfunc。但是Afunc需要一個this指針指向D::A，而Bfunc需要一個this指針指向D::B。這時，這個把戲就不管用了，我們不可以把A類和B類都放在D類的頭部。是以，D類的一個成員函數指針不僅要說明要指明調用的是哪一個函數，還要指明使用哪一個this指針。編譯器知道A類占用的空間有多大，是以它可以對Athis增加一個delta = sizeof(A)偏移量就可以将Athis指針轉換為Bthis指針。

如果你使用虛拟繼承（virtual inheritance），比如虛基類，情況會變得更糟，你可以不必為搞懂這是為什麼太傷腦筋。就舉個例子來說吧，編譯器使用虛拟函數表（virtual function table——“vtable”）來儲存每一個虛函數、函數的位址和virtual_delta：将目前的this指針轉換為實際函數需要的this指針時所要增加的位移量。

綜上所述，為了支援一般形式的成員函數指針，你需要至少三條資訊：函數的位址，需要增加到this指針上的delta位移量，和一個虛拟函數表中的索引。對于MSVC來說，你需要第四條資訊：虛拟函數表（vtable）的位址。

7 成員函數指針的實作

那麼，編譯器是怎樣實作成員函數指針的呢？這裡是對不同的32、64和16位的編譯器，對各種不同的資料類型（有int、void*資料指針、代碼指針（比如指向靜态函數的指針）、在單一（single-）繼承、多重（multiple-）繼承、虛拟（virtual-）繼承和未知類型（unknown）的繼承下的類的成員函數指針）使用sizeof運算符計算所獲得的資料：

編譯器	選項	int	DataPtr	CodePtr	Single	Multi	Virtual	Unknown
MSVC	4	4	4	4	8	12	16
MSVC	/vmg	4	4	4	16#	16#	16#	16
MSVC	/vmg /vmm	4	4	4	8#	8#	--	8#
Intel_IA32	4	4	4	4	8	12	12
Intel_IA32	/vmg /vmm	4	4	4	4	8	--	8
Intel_Itanium	4	8	8	8	12	20	20
G++	4	4	4	8	8	8	8
Comeau	4	4	4	8	8	8	8
DMC	4	4	4	4	4	4	4
BCC32	4	4	4	12	12	12	12
BCC32	/Vmd	4	4	4	4	8	12	12
WCL386	4	4	4	12	12	12	12
CodeWarrior	4	4	4	12	12	12	12
XLC	4	8	8	20	20	20	20
DMC	small	2	2	2	2	2	2	2
DMC	medium	2	2	4	4	4	4	4
WCL	small	2	2	2	6	6	6	6
WCL	compact	2	4	2	6	6	6	6
WCL	medium	2	2	4	8	8	8	8
WCL	large	2	4	4	8	8	8	8
注： # 表示使用__single/__multi/__virtual_inheritance關鍵字的時候代表4、8或12。 這些編譯器是Microsoft Visual C++ 4.0 to 7.1 (.NET 2003), GNU G++ 3.2 (MingW binaries, http://www.mingw.org/), Borland BCB 5.1 (http://www.borland.com/), Open Watcom (WCL) 1.2 (http://www.openwatcom.org/), Digital Mars (DMC) 8.38n (http://www.digitalmars.com/), Intel C++ 8.0 for Windows IA-32, Intel C++ 8.0 for Itanium, (http://www.intel.com/), IBM XLC for AIX (Power, PowerPC), Metrowerks Code Warrior 9.1 for Windows (http://www.metrowerks.com/), 和 Comeau C++ 4.3 (http://www.comeaucomputing.com/). Comeau的資料是在它支援的32位平台（x86, Alpha, SPARC等）上得出的。16位的編譯器的資料在四種DOS配置（tiny, compact, medium, 和 large）下測試得出，用來顯示各種不同代碼和資料指針的大小。MSVC在/vmg的選項下進行了測試，用來顯示“成員指針的全部特性”。（如果你擁有在清單中沒有出現的編譯器，請告知我。非x86處理機下的編譯器測試結果有獨特的價值。）

看着表中的資料，你是不是覺得很驚奇？你可以清楚地看到編寫一段在一些環境中可以運作而在另一些編譯器中不能運作的代碼是很容易的。不同的編譯器之間，它們的内部實作顯然是有很大差别的；事實上，我認為編譯器在實作語言的其他特性上并沒有這樣明顯的差别。對實作的細節進行研究你會發現一些奇怪的問題。

一般，編譯器采取最差的，而且一直使用最普通的形式。比如對于下面這個結構：

// Borland (預設設定) 和Watcom C++.

struct {

FunctionPointer m_func_address;

int m_delta;

int m_vtable_index; //如果不是虛拟繼承，這個值為0。

};

// Metrowerks CodeWarrior使用了稍微有些不同的方式。

//即使在不允許多重繼承的Embedded C++的模式下，它也使用這樣的結構！

struct {

int m_delta;

int m_vtable_index; // 如果不是虛拟繼承，這個值為-1。

FunctionPointer m_func_address;

};

// 一個早期的SunCC版本顯然使用了另一種規則：

struct {

int m_vtable_index; //如果是一個非虛拟函數（non-virtual function），這個值為0。

FunctionPointer m_func_address; //如果是一個虛拟函數（virtual function），這個值為0。

int m_delta;

};

//下面是微軟的編譯器在未知繼承類型的情況下或者使用/vmg選項時使用的方法：

struct {

FunctionPointer m_func_address;

int m_delta;

int m_vtordisp;

int m_vtable_index; // 如果不是虛拟繼承，這個值為0

};

// AIX (PowerPC)上IBM的XLC編譯器：

struct {

FunctionPointer m_func_address; // 對PowerPC來說是64位

int m_vtable_index;

int m_delta;

int m_vtordisp;

};

// GNU g++使用了一個機靈的方法來進行空間優化

struct {

union {

FunctionPointer m_func_address; // 其值總是4的倍數

int m_vtable_index_2; // 其值被2除的結果總是奇數

};

int m_delta;

};

對于幾乎所有的編譯器，delta和vindex用來調整傳遞給函數的this指針，比如Borland的計算方法是：

adjustedthis = *(this + vindex -1) + delta // 如果vindex!=0

adjustedthis = this + delta // 如果vindex=0

（其中，“*”是提取該位址中的數值，adjustedthis是調整後的this指針——譯者注）

Borland使用了一個優化方法：如果這個類是單一繼承的，編譯器就會知道delta和vindex的值是0，是以它就可以跳過上面的計算方法。

GNU編譯器使用了一個奇怪的優化方法。可以清楚地看到，對于多重繼承來說，你必須檢視vtable（虛拟函數表）以獲得voffset（虛拟函數偏移位址）來計算this指針。當你做這些事情的時候，你可能也把函數指針儲存在vtable中。通過這些工作，編譯器将m_func_address和m_vtable_index合二為一（即放在一個union中），編譯器差別這兩個變量的方法是使函數指針（m_func_address）的值除以2後結果為偶數，而虛拟函數表索引(m_vtable_index_2)除以2後結果為奇數。它們的計算方法是：

adjustedthis = this + delta

if (funcadr & 1) //如果是奇數

call (* ( *delta + (vindex+1)/2) + 4)

else //如果是偶數

call funcadr

（其中， funcadr是函數位址除以2得出的結果。——譯者注）

Inter的Itanium編譯器（但不是它們的x86編譯器）對虛拟繼承（virtual inheritance）的情況也使用了unknown_inheritance結構，是以，一個虛拟繼承的指針有20位元組大小，而不是想象中的16位元組。

// Itanium，unknown 和 virtual inheritance下的情況.

struct {

FunctionPointer m_func_address; //對Itanium來說是64位

int m_delta;

int m_vtable_index;

int m_vtordisp;

};

我不能保證Comeau C++使用的是和GNU相同的技術，也不能保證它們是否使用short代替int使這種虛拟函數指針的結構的大小縮小至8個位元組。最近釋出的Comeau C++版本為了相容微軟的編譯器也使用了微軟的編譯器關鍵字（我想它也隻是忽略這些關鍵字而不對它們進行實質的相關處理罷了）。

Digital Mars編譯器（即最初的Zortech C++到後來的Symantec C++）使用了一種不同的優化方法。對單一繼承類來說，一個成員函數指針僅僅是這個函數的位址。但涉及到更複雜的繼承時，這個成員函數指針指向一個形式轉換函數（thunk function），這個函數可以實作對this指針的必要調整并可用來調用實際的成員函數。每當涉及到多重繼承的時候，每一個成員函數的指針都會有這樣一個形式轉換函數，這對函數調用來說是非常有效的。但是這意味着，當使用多重繼承的時候，子類的成員函數指針向基類成員函數指針的轉換就會不起作用了。可見，這種編譯器對編譯代碼的要求比其他的編譯器要嚴格得多。

很多嵌入式系統的編譯器不允許多重繼承。這樣，這些編譯器就避免了可能出現的問題：一個成員函數指針就是一個帶有隐藏this指針參數的普通函數指針。

8 微軟"smallest for class"方法的問題

微軟的編譯器使用了和Borland相似的優化方法。它們都使單一繼承的情況具有最優的效率。但不像Borland，微軟在預設條件下成員函數指針省略了值為0 的指針入口（entry），我稱這種技術為“smallest for class”方法：對單一繼承類來說，一個成員函數指針僅儲存了函數的位址（m_func_address），是以它有4位元組長。而對于多重繼承類來說，由于用到了偏移位址（m_delta），是以它有8位元組長。對虛拟繼承，會用到12個位元組。這種方法确實節省空間，但也有其它的問題。

首先，将一個成員函數指針在子類和基類之間進行轉化會改變指針的大小！是以，資訊是會丢失的。其次，當一個成員函數指針在它的類定義之前聲明的時候，編譯器必須算出要配置設定給這個指針多少空間，但是這樣做是不安全的，因為在定義之前編譯器不可能知道這個類的繼承方式。對Intel C++和早期的微軟編譯器來說，編譯器僅僅對指針的大小進行猜測，一旦在源檔案中猜測錯誤，你的程式會在運作時莫名其妙地崩潰。是以，微軟的編譯器中增加了一些保留字：__single_inheritance, __multiple_inheritance,和 __virtual_inheritance，并增設了一些編譯器開關（compiler switch），如/vmg，讓所有的成員函數指針有相同的大小，而對原本個頭小的成員函數指針的空餘部分用0填充。Borland編譯器也增加了一些編譯器開關，但沒有增加新的關鍵字。Intel的編譯器可以識别Microsoft增加的那些關鍵字，但它在能夠找到類的定義的情況下會對這些關鍵字不做處理。

對于MSVC來說，編譯器需要知道類的vtable在哪兒；通常就會有一個this指針的偏移量（vtordisp），這個值對所有這個類中的成員函數來說是不變的，但對每個類來說會是不同的。對于MSVC，經調整過的this指針是在原this指針的基礎上經過下面的計算得出的：

if (vindex=0) //如果不是虛拟繼承（_virtual_inheritance）

adjustedthis = this + delta

else //如果是

adjustedthis = this + delta + vtordisp + *(*(this + vtordisp) + vindex)

在虛拟繼承的情況下，vtordisp的值并不儲存在__virtual_inheritance指針中，而是在發現函數調用的代碼時，編譯器才将其相應的彙編代碼“嵌”進去。但是對于未知類型的繼承，編譯器需要盡可能地通過讀代碼确定它的繼承類型，是以，編譯器将虛拟繼承指針（virtual inheritance pointer）分為兩類（__virtual_inheritance和__unknown_inheritance）。

理論上，所有的編譯器設計者應該在MFP（成員函數指針）的實作上有所變革和突破。但在實際上，這是行不通的，因為這使現在編寫的大量代碼都需要改變。微軟曾發表了一篇非常古老的文章（http://msdn.microsoft.com/archive/en-us/dnarvc/html/jangrayhood.asp）來解釋Visual C++運作的實作細節。這篇文章是Jan Gray寫的，他曾在1990年設計了Microsoft C++的對象模型。盡管這篇文章發表于1994年，但這篇文章仍然很重要——這意味着C++的對象模型在長達15年的時間裡（1990年到2004年）沒有絲毫改變。

現在，我想你對成員函數指針的事情已經知道得太多了。要點是什麼？我已為你建立了一個規則。雖然各種編譯器的在這方面的實作方法有很大的不同，但是也有一些有用的共同點：不管對哪種形式的類，調用一個成員函數指針生成的彙編語言代碼是完全相同的。有一種特例是使用了“smallest for class”技術的非标準的編譯器，即使是這種情況，差别也是很微小的。這個事實可以讓我們繼續探索怎樣去建立高性能的委托（delegate）。

9 委托（delegate）

和成員函數指針不同，你不難發現委托的用處。最重要的，使用委托可以很容易地實作一個Subject/Observer設計模式的改進版[GoF, p. 293]。Observer（觀察者）模式顯然在GUI中有很多的應用，但我發現它對應用程式核心的設計也有很大的作用。委托也可用來實作政策（Strategy）[GoF, p. 315]和狀态（State）[GoF, p. 305]模式。

現在，我來說明一個事實，委托和成員函數指針相比并不僅僅是好用，而且比成員函數指針簡單得多！既然所有的.NET語言都實作了委托，你可能會猜想如此高層的概念在彙編代碼中并不好實作。但事實并不是這樣：委托的實作确實是一個底層的概念，而且就像普通的函數調用一樣簡單（并且很高效）。一個C++委托隻需要包含一個this指針和一個簡單的函數指針就夠了。當你建立一個委托時，你提供這個委托一個this指針，并向它指明需要調用哪一個函數。編譯器可以在建立委托時計算出調整this指針需要的偏移量。這樣在使用委托的時候，編譯器就什麼事情都不用做了。這一點更好的是，編譯器可以在編譯時就可以完成全部這些工作，這樣的話，委托的處理對編譯器來說可以說是微不足道的工作了。在x86系統下将委托處理成的彙編代碼就應該是這麼簡單：

mov ecx, [this]

call [pfunc]

但是，在标準C++中卻不能生成如此高效的代碼。 Borland為了解決委托的問題在它的C++編譯器中加入了一個新的關鍵字（__closure）,用來通過簡潔的文法生成優化的代碼。GNU編譯器也對語言進行了擴充，但和Borland的編譯器不相容。如果你使用了這兩種語言擴充中的一種，你就會限制自己隻使用一個廠家的編譯器。而如果你仍然遵循标準C++的規則，你仍然可以實作委托，但實作的委托就不會是那麼高效了。

有趣的是，在C#和其他.NET語言中，執行一個委托的時間要比一個函數調用慢8倍（參見http://msdn.microsoft.com/library/en-us/dndotnet/html/fastmanagedcode.asp）。我猜測這可能是垃圾收集和.NET安全檢查的需要。最近，微軟将“統一事件模型（unified event model）”加入到Visual C++中，随着這個模型的加入，增加了__event、 __raise、__hook、__unhook、event_source和event_receiver等一些關鍵字。坦白地說，我對加入的這些特性很反感，因為這是完全不符合标準的，這些文法是醜陋的，因為它們使這種C++不像C++，并且會生成一堆執行效率極低的代碼。

解決這個問題的推動力：對高效委托（fast delegate）的迫切需求

使用标準C++實作委托有一個過度臃腫的症狀。大多數的實作方法使用的是同一種思路。這些方法的基本觀點是将成員函數指針看成委托��但這樣的指針隻能被一個單獨的類使用。為了避免這種局限，你需要間接地使用另一種思路：你可以使用模版為每一個類建立一個“成員函數調用器（member function invoker）”。委托包含了this指針和一個指向調用器（invoker）的指針，并且需要在堆上為成員函數調用器配置設定空間。

對于這種方案已經有很多種實作，包括在CodeProject上的實作方案。各種實作在複雜性上、文法（比如，有的和C#的文法很接近）上、一般性上有所不同。最具權威的一個實作是boost::function。最近，它已經被采用作為下一個釋出的C++标準版本中的一部分[Sutter1]。希望它能夠被廣泛地使用。

就像傳統的委托實作方法一樣，我同樣發覺這種方法并不十分另人滿意。雖然它提供了大家所期望的功能，但是會混淆一個潛在的問題：人們缺乏對一個語言的底層的構造。 “成員函數調用器”的代碼對幾乎所有的類都是一樣的，在所有平台上都出現這種情況是令人沮喪的。畢竟，堆被用上了。但在一些應用場合下，這種新的方法仍然無法被接受。

我做的一個項目是離散事件模拟器，它的核心是一個事件排程程式，用來調用被模拟的對象的成員函數。大多數成員函數非常簡單：它們隻改變對象的内部狀态，有時在事件隊列（event queue）中添加将來要發生的事件，在這種情況下最适合使用委托。但是，每一個委托隻被調用（invoked）一次。一開始，我使用了boost::function，但我發現程式運作時，給委托所配置設定的記憶體空間占用了整個程式空間的三分之一還要多！“我要真正的委托！”我在内心呼喊着，“真正的委托隻需要僅僅兩行彙編指令啊！”

我并不能總是能夠得到我想要的，但後來我很幸運。我在這兒展示的代碼（代碼下載下傳連結見譯者注）幾乎在所有編譯環境中都産生了優化的彙編代碼。最重要的是，調用一個含有單個目标的委托（single-target delegate）的速度幾乎同調用一個普通函數一樣快。實作這樣的代碼并沒有用到什麼高深的東西，唯一的遺憾就是，為了實作目标，我的代碼和标準C++的規則有些偏離。我使用了一些有關成員函數指針的未公開知識才使它能夠這樣工作。如果你很細心，而且不在意在少數情況下的一些編譯器相關（compiler-specific）的代碼，那麼高性能的委托機制在任何C++編譯器下都是可行的。

訣竅：将任何類型的成員函數指針轉化為一個标準的形式

我的代碼的核心是一個能夠将任何類的指針和任何成員函數指針分别轉換為一個通用類的指針和一個通用成員函數的指針的類。由于C++沒有“通用成員函數（generic member function）”的類型，是以我把所有類型的成員函數都轉化為一個在代碼中未定義的CGenericClass類的成員函數。

大多數編譯器對所有的成員函數指針平等地對待，不管他們屬于哪個類。是以對這些編譯器來說，可以使用reinterpret_cast将一個特定的成員函數指針轉化為一個通用成員函數指針。事實上，假如編譯器不可以，那麼這個編譯器是不符合标準的。對于一些接近标準（almost-compliant）的編譯器，比如Digital Mars，成員函數指針的reinterpret_cast轉換一般會涉及到一些額外的特殊代碼，當進行轉化的成員函數的類之間沒有任何關聯時，編譯器會出錯。對這些編譯器，我們使用一個名為horrible_cast的内聯函數（在函數中使用了一個union來避免C++的類型檢查）。使用這種方法看來是不可避免的��boost::function也用到了這種方法。

對于其他的一些編譯器（如Visual C++, Intel C++和Borland C++），我們必須将多重（multiple-）繼承和虛拟（virtual-）繼承類的成員函數指針轉化為單一（single-）繼承類的函數指針。為了實作這個目的，我巧妙地使用了模闆并利用了一個奇妙的戲法。注意，這個戲法的使用是因為這些編譯器并不是完全符合标準的，但是使用這個戲法得到了回報：它使這些編譯器産生了優化的代碼。

既然我們知道編譯器是怎樣在内部存儲成員函數指針的，并且我們知道在問題中應該怎樣為成員函數指針調整this指針，我們的代碼在設定委托時可以自己調整this指針。對單一繼承類的函數指針，則不需要進行調整；對多重繼承，則隻需要一次加法就可完成調整；對虛拟繼承...就有些麻煩了。但是這樣做是管用的，并且在大多數情況下，所有的工作都在編譯時完成！

這是最後一個訣竅。我們怎樣區分不同的繼承類型？并沒有官方的方法來讓我們區分一個類是多重繼承的還是其他類型的繼承。但是有一種巧妙的方法，你可以檢視我在前面給出了一個清單（見中篇）——對MSVC，每種繼承方式産生的成員函數指針的大小是不同的。是以，我們可以基于成員函數指針的大小使用模版！比如對多重繼承類型來說，這隻是個簡單的計算。而在确定unknown_inheritance（16位元組）類型的時候，也會采用類似的計算方法。

對于微軟和英特爾的編譯器中采用不标準12位元組的虛拟繼承類型的指針的情況，我引發了一個編譯時錯誤（compile-time error），因為需要一個特定的運作環境（workaround）。如果你在MSVC中使用虛拟繼承，要在聲明類之前使用FASTDELEGATEDECLARE宏。而這個類必須使用unknown_inheritance（未知繼承類型）指針（這相當于一個假定的__unknown_inheritance關鍵字）。例如：

FASTDELEGATEDECLARE(CDerivedClass)

class CDerivedClass : virtual public CBaseClass1, virtual public CBaseClass2 {

// : (etc)

};

這個宏和一些常數的聲明是在一個隐藏的命名空間中實作的，這樣在其他編譯器中使用時也是安全的。MSVC（7.0或更新版本）的另一種方法是在工程中使用/vmg編譯器選項。而Inter的編譯器對/vmg編譯器選項不起作用，是以你必須在虛拟繼承類中使用宏。我的這個代碼是因為編譯器的bug才可以正确運作，你可以檢視代碼來了解更多細節。而在遵從标準的編譯器中不需要注意這麼多，況且在任何情況下都不會妨礙FASTDELEGATEDECLARE宏的使用。

一旦你将類的對象指針和成員函數指針轉化為标準形式，實作單一目标的委托（single-target delegate）就比較容易了（雖然做起來感覺冗長乏味）。你隻要為每一種具有不同參數的函數制作相應的模闆類就行了。實作其他類型的委托的代碼也大都與此相似，隻是對參數稍做修改罷了。

這種用非标準方式轉換實作的委托還有一個好處，就是委托對象之間可以用等式比較。目前實作的大多數委托無法做到這一點，這使這些委托不能勝任一些特定的任務，比如實作多點傳播委托（multi-cast delegates） [Sutter3]。

10 靜态函數作為委托目标（delegate target）

理論上，一個簡單的非成員函數（non-member function），或者一個靜态成員函數（static member function）可以被作為委托目标（delegate target）。這可以通過将靜态函數轉換為一個成員函數來實作。我有兩種方法實作這一點，兩種方法都是通過使委托指向調用這個靜态函數的“調用器（invoker）”的成員函數的方法來實作的。

第一種方法使用了一個邪惡的方法（evil method）。你可以存儲函數指針而不是this指針，這樣當調用“調用器”的函數時，它将this指針轉化為一個靜态函數指針，并調用這個靜态函數。問題是這隻是一個戲法，它需要在代碼指針和資料指針之間進行轉換。在一個系統中代碼指針的大小比資料指針大時（比如DOS下的編譯器使用medium記憶體模式時），這個方法就不管用了。它在目前我知道的所有32位和64位處理器上是管用的。但是因為這種方法還是不太好，是以仍需要改進。

另一種是一個比較安全的方法（safe method），它是将函數指針作為委托的一個附加成員。委托指向自己的成員函數。當委托被複制的時候，這些自引用（self-reference）必須被轉換，而且使“=”和“==”運算符的操作變得複雜。這使委托的大小增至4個位元組，并增加了代碼的複雜性，但這并不影響委托的調用速度。

我已經實作了上述兩種方法，兩者都有各自的優點：安全的方法保證了運作的可靠性，而邪惡的方法在支援委托的編譯器下也可能會産生與此相同的彙編代碼。此外，安全的方法可避免我以前讨論的在MSVC中使用多重繼承和虛拟繼承時所出現的問題。我在代碼中給出的是“安全的方法”的代碼，但是在我給出的代碼中“邪惡的方法”會通過下面的代碼生效：

#define (FASTDELEGATE_USESTATICFUNCTIONHACK)

11 多目标委托（multiple-target delegate）及其擴充

使用委托的人可能會想使委托調用多個目标函數，這就是多目标委托（multiple-target delegate），也稱作多點傳播委托（multi-cast delegate）。實作這種委托不會降低單一目标委托（single-target delegate）的調用效率，這在現實中是可行的。你隻需要為一個委托的第二個目标和後來的更多目标在堆上配置設定空間就可以了，這意味着需要在委托類中添加一個資料指針，用來指向由該委托的目标函數組成的單連結清單的頭部節點。如果委托隻有一個目标函數，将這個目标像以前介紹的方法一樣儲存在委托中就行了。如果一個委托有多個目标函數，那麼這些目标都儲存在空間動态配置設定的連結清單中，如果要調用函數，委托使用一個指針指向一個連結清單中的目标（成員函數指針）。這樣的話，如果委托中隻有一個目标，函數調用存儲單元的個數為1；如果有n（n>0）個目标，則函數調用存儲單元的個數為n+1（因為這時函數指針儲存在連結清單中，會多出一個連結清單頭，是以要再加一——譯者注），我認為這樣做最合理。

由多點傳播委托引出了一些問題。怎樣處理傳回值？（是将所有傳回值類型捆綁在一起，還是忽略一部分？）如果把同一個目标在一個委托中添加了兩次那會發生什麼？（是調用同一個目标兩次，還是隻調用一次，還是作為一個錯誤處理？）如果你想在委托中删除一個不在其中的目标應該怎麼辦？（是不管它，還是抛出一個異常？）

最重要的問題是在使用委托時會出現無限循環的情況，比如，A委托調用一段代碼，而在這段代碼中調用B委托，而在B委托調用的一段代碼中又會調用A委托。很多事件（event）和信号跟蹤（signal-slot）系統會有一定的方案來處理這種問題。

為了結束我的這篇文章，我的多點傳播委托的實作方案就需要大家等待了。這可以借鑒其他實作中的方法——允許非空傳回類型，允許類型的隐式轉換，并使用更簡捷的文法結構。如果我有足夠的興趣我會把代碼寫出來。如果能把我實作的委托和目前流行的某一個事件處理系統結合起來那會是最好不過的事情了（有自願者嗎？）。

12 本文代碼的使用

原代碼包括了FastDelegate的實作（FastDelegate.h）和一個demo .cpp的檔案用來展示使用FastDelegate的文法。對于使用MSVC的讀者，你可以建立一個空的控制台應用程式(Console Application)的工程，再把這兩個檔案添加進去就好了，對于GNU的使用者，在指令行輸入“gcc demo.cpp”就可以了。

FastDelegate可以在任何參數組合下運作，我建議你在盡可能多的編譯器下嘗試，你在聲明委托的時候必須指明參數的個數。在這個程式中最多可以使用8個參數，若想進行擴充也是很容易的。代碼使用了fastdelegate命名空間，在fastdelegate命名空間中有一個名為detail的内部命名空間。

Fastdelegate使用構造函數或bind()可以綁定一個成員函數或一個靜态（全局）函數，在預設情況下，綁定的值為0（空函數）。可以使用“！”操作符判定它是一個空值。

不像用其他方法實作的委托，這個委托支援等式運算符（==, !=）。

下面是FastDelegateDemo.cpp的節選，它展示了大多數允許的操作。CBaseClass是CDerivedClass的虛基類。你可以根據這個代碼寫出更精彩的代碼，下面的代碼隻是說明使用FastDelegate的文法：

using namespace fastdelegate;

int main(void)

{

printf("-- FastDelegate demo -- A no-parameter

delegate is declared using FastDelegate0 ");

FastDelegate0 noparameterdelegate(&SimpleVoidFunction);

noparameterdelegate();

//調用委托，這一句調用SimpleVoidFunction()

printf(" -- Examples using two-parameter delegates (int, char *) -- ");

typedef FastDelegate2 MyDelegate;

MyDelegate funclist[12]; // 委托初始化，其目标為空

CBaseClass a("Base A");

CBaseClass b("Base B");

CDerivedClass d;

CDerivedClass c;

// 綁定一個成員函數

funclist[0].bind(&a, &CBaseClass::SimpleMemberFunction);

//你也可以綁定一個靜态（全局）函數

funclist[1].bind(&SimpleStaticFunction);

//綁定靜态成員函數

funclist[2].bind(&CBaseClass::StaticMemberFunction);

// 綁定const型的成員函數

funclist[3].bind(&a, &CBaseClass::ConstMemberFunction);

// 綁定虛拟成員函數

funclist[4].bind(&b, &CBaseClass::SimpleVirtualFunction);

// 你可以使用”=”來指派

funclist[5] = MyDelegate(&CBaseClass::StaticMemberFunction);

funclist[6].bind(&d, &CBaseClass::SimpleVirtualFunction);

//最麻煩的情況是綁定一個抽象虛拟函數（abstract virtual function）

funclist[7].bind(&c, &CDerivedClass::SimpleDerivedFunction);

funclist[8].bind(&c, &COtherClass::TrickyVirtualFunction);

funclist[9] = MakeDelegate(&c, &CDerivedClass::SimpleDerivedFunction);

// 你也可以使用構造函數來綁定

MyDelegate dg(&b, &CBaseClass::SimpleVirtualFunction);

char *msg = "Looking for equal delegate";

for (int i=0; i<12; i++) {

printf("%d :", i);

// 可以使用”==”

if (funclist[i]==dg) { msg = "Found equal delegate"; };

//可以使用”!”來判應一個空委托

if (!funclist[i]) {

printf("Delegate is empty ");

} else {

// 調用生成的經過優化的彙編代碼

funclist[i](i, msg);

};

}

};

因為我的代碼利用了C++标準中沒有定義的行為，是以我很小心地在很多編譯器中做了測試。具有諷刺意味的是，它比許多所謂标準的代碼更具有可移植性，因為幾乎所有的編譯器都不是完全符合标準的。目前，核心代碼已成功通過了下列編譯器的測試：

• Microsoft Visual C++ 6.0, 7.0 (.NET) and 7.1 (.NET 2003) (including /clr 'managed C++'),
• GNU G++ 3.2 (MingW binaries),
• Borland C++ Builder

對于Comeau C++ 4.3 (x86, SPARC, Alpha, Macintosh)，能夠成功通過編譯，但不能連結和運作。對于Intel C++ 8.0 for Itanium能夠成功通過編譯和連結，但不能運作。

此外，我已對代碼在MSVC 1.5 和4.0，Open Watcom WCL 1.2上的運作情況進行了測試，由于這些編譯器不支援成員函數模版，是以對這些編譯器，代碼不能編譯成功。對于嵌入式系統不支援模版的限制，需要對代碼進行大範圍的修改。（這一段是在剛剛更新的原文中添加的——譯者注）

而最終的FastDelegate并沒有進行全面地測試，一個原因是，我有一些使用的編譯器的評估版過期了，另一個原因是——我的女兒出生了！如果有足夠的興趣，我會讓代碼在更多編譯器中通過測試。(這一段在剛剛更新的原文中被删去了，因為作者目前幾乎完成了全部測試。——譯者注)

13 總結

為了解釋一小段代碼，我就得為這個語言中具有争議的一部分寫這麼一篇長長的指南。為了兩行彙編代碼，就要做如此麻煩的工作。唉~！

我希望我已經澄清了有關成員函數指針和委托的誤解。我們可以看到為了實作成員函數指針，各種編譯器有着千差萬别的方法。我們還可以看到，與流行的觀點不同，委托并不複雜，并不是高層結構，事實上它很簡單。我希望它能夠成為這個語言（标準C++）中的一部分，而且我們有理由相信目前已被一些編譯器支援的委托，在不久的将來會加入到标準C++的新的版本中（去遊說标準委員會！）。

據我所知，以前實作的委托都沒有像我在這裡為大家展示的FastDelegate一樣有如此高的性能。我希望我的代碼能對你有幫助。如果我有足夠的興趣，我會對代碼進行擴充，進而支援多點傳播委托（multi-cast delegate）以及更多類型的委托。我在CodeProject上學到了很多，并且這是我第一次為之做出的貢獻。

14 參考文獻

[GoF] "Design Patterns: Elements of Reusable Object-Oriented Software", E. Gamma, R. Helm, R. Johnson, and J. Vlissides.

I've looked at dozens of websites while researching this article. Here are a few of the most interesting ones:

我在寫這篇文章時檢視了很多站點，下面隻是最有趣的一些站點：

[Boost] Delegates can be implemented with a combination of boost::function and boost::bind. Boost::signals is one of the most sophisticated event/messaging system available. Most of the boost libraries require a highly standards-conforming compiler. （http://www.boost.org/）

[Loki] Loki provides 'functors' which are delegates with bindable parameters. They are very similar to boost::function. It's likely that Loki will eventually merge with boost. （http://sourceforge.net/projects/loki-lib）

[Qt] The Qt library includes a Signal/Slot mechanism (i.e., delegates). For this to work, you have to run a special preprocessor on your code before compiling. Performance is very poor, but it works on compilers with very poor template support. （http://doc.trolltech.com/3.0/signalsandslots.html）

[Libsigc++] An event system based on Qt's. It avoids the Qt's special preprocessor, but requires that every target be derived from a base object class (using virtual inheritance - yuck!). （http://libsigc.sourceforge.net/）

[Hickey]. An old (1994) delegate implementation that avoids memory allocations. Assumes that all pointer-to-member functions are the same size, so it doesn't work on MSVC. There's a helpful discussion of the code here. （http://www.tutok.sk/fastgl/callback.html）

[Haendal]. A website dedicated to function pointers?! Not much detail about member function pointers though. （http://www.function-pointer.org/）

[Sutter1] Generalized function pointers: a discussion of how boost::function has been accepted into the new C++ standard. （http://www.cuj.com/documents/s=8464/cujcexp0308sutter/）

[Sutter2] Generalizing the Observer pattern (essentially, multicast delegates) using std::tr1::function. Discusses the limitations of the failure of boost::function to provide operator ==.

（http://www.cuj.com/documents/s=8840/cujexp0309sutter）

[Sutter3] Herb Sutter's Guru of the Week article on generic callbacks.（http://www.gotw.ca/gotw/083.htm）

關于作者Don Clugston

我在澳洲的high-tech startup工作，是一個實體學家兼軟體工程師。目前從事将太陽航空艙的矽質晶體玻璃（CSG）薄膜向市場推廣的工作。我從事有關太陽的（solar）研究，平時喜歡做一些軟體（用作數學模型、裝置控制、離散事件觸發器和圖象處理等），我最近喜歡使用STL和WTL寫代碼。我非常懷念過去的光榮歲月：）而最重要的，我有一個非常可愛的兒子（2002年5月出生）和一個非常年輕的小姐（2004年5月出生）。

“黑暗不會戰勝陽光，陽光終究會照亮黑暗。”

轉載于:https://www.cnblogs.com/davidsguo008/p/3638398.html