C++中的函数指针

系统管理员 2022-09-26 14:54 291阅读 0赞

标准C++中没有真正的面向对象的函数指针。这一点对C++来说是不幸的，因为面向对象的  
  
指针（也叫做"闭包（closure）"或"委托（delegate）"）在一些语言中已经证明了它宝贵  
  
的价值。在Delphi (Object Pascal)中，面向对象的函数指针是Borland可视化组建库（V  
  
CL，Visual Component Library）的基础。而在目前，C\#使"委托"的概念日趋流行，这也  
  
正显示出C\#这种语言的成功。在很多应用程序中，"委托"简化了松耦合对象的设计模式\[G  
  
oF\]。这种特性无疑在标准C++中也会产生很大的作用。  
  
  
很遗憾，C++中没有"委托"，它只提供了成员函数指针（member function pointers）。很  
  
多程序员从没有用过函数指针，这是有特定的原因的。因为函数指针自身有很多奇怪的语  
  
法规则（比如"->\*"和".\*"操作符），而且很难找到它们的准确含义，并且你会找到更好的  
  
办法以避免使用函数指针。更具有讽刺意味的是：事实上，编译器的编写者如果实现"委托  
  
"的话会比他费劲地实现成员函数指针要容易地多！  
  
  
在这篇文章中，我要揭开成员函数指针那"神秘的盖子"。在扼要地重述成员函数指针的语  
  
法和特性之后，我会向读者解释成员函数指针在一些常用的编译器中是怎样实现的，然后  
  
我会向大家展示编译器怎样有效地实现"委托"。最后我会利用这些精深的知识向你展示在  
  
C++编译器上实现优化而可靠的"委托"的技术。比如，在Visual C++(6.0, .NET, and .NE  
  
T 2003)中对单一目标委托（single-target delegate）的调用，编译器仅仅生成两行汇编  
  
代码！  
  
  
函数指针  
  
  
下面我们复习一下函数指针。在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来表明它是一个空指针。所有的比较运算符（==, !=, <, >, <=, >=）都可以使用，可以  
  
使用"==0"或通过一个显式的布尔转换来测试指针是否为空（null）。  
  
  
在C语言中，函数指针通常用来像qsort一样将函数作为参数，或者作为Windows系统函数的  
  
回调函数等等。函数指针还有很多其他的应用。函数指针的实现很简单：它们只是"代码指  
  
针（code pointer）"，它们体现在汇编语言中是用来保存子程序代码的首地址。而这种函  
  
数指针的存在只是为了保证使用了正确的调用规范。  
  
  
成员函数指针  
  
  
在C++程序中，很多函数是成员函数，即这些函数是某个类中的一部分。你不可以像一个普  
  
通的函数指针那样指向一个成员函数，正确的做法应该是，你必须使用一个成员函数指针  
  
。一个成员函数的指针指向类中的一个成员函数，并和以前有相同的参数，声明如下：  
  
  
  
  
float (SomeClass::\*my\_memfunc\_ptr)(int, char \*);  
  
//对于使用const关键字修饰的成员函数，声明如下：  
  
float (SomeClass::\*my\_const\_memfunc\_ptr)(int, char \*) const;  
  
  
注意使用了特殊的运算符（::\*），而"SomeClass"是声明中的一部分。成员函数指针有一  
  
个可怕的限制：它们只能指向一个特定的类中的成员函数。对每一种参数的组合，需要有  
  
不同的成员函数指针类型，而且对每种使用const修饰的函数和不同类中的函数，也要有不  
  
同的函数指针类型。在MSVC中，对下面这四种调用方式都有一种不同的调用类型：\_\_cdec  
  
l, \_\_stdcall, \_\_fastcall, 和 \_\_thiscall。（\_\_thiscall是缺省的方式，有趣的是，在  
  
任何官方文档中从没有对\_\_thiscall关键字的详细描述，但是它经常在错误信息中出现。  
  
如果你显式地使用它，你会看到"它被保留作为以后使用（it is reserved for future u  
  
se）"的错误提示。）如果你使用了成员函数指针，你最好使用typedef以防止混淆。  
  
  
将函数指针指向型如float SomeClass::some\_member\_func(int, char \*)的函数，你可以  
  
这样写：  
  
  
my\_memfunc\_ptr = &SomeClass::some\_member\_func;  
  
  
很多编译器（比如MSVC）会让你去掉"&"，而其他一些编译器（比如GNU G++）则需要添加  
  
"&"，所以在手写程序的时候我建议把它添上。若要调用成员函数指针，你需要先建立Som  
  
eClass的一个实例，并使用特殊操作符"->\*"，这个操作符的优先级较低，你需要将其适当  
  
地放入圆括号内。  
  
  
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做比较以判断  
  
它是否为空。与函数指针不同，不等运算符（<, >, <=, >=）对成员函数指针是不可用的  
  
。  
  
  
成员函数指针的怪异之处  
  
  
成员函数指针有时表现得很奇怪。首先，你不可以用一个成员函数指针指向一个静态成员  
  
函数，你必须使用普通的函数指针才行（在这里"成员函数指针"会产生误解，它实际上应  
  
该是"非静态成员函数指针"才对）。其次，当使用类的继承时，会出现一些比较奇怪的情  
  
况。比如，下面的代码在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 Ma  
  
rs C++，在上面的例子中，&DerivedClass::some\_member\_func会被认为没有定义。）但是  
  
，如果在DerivedClass类中重写（override）了some\_member\_func函数，代码就无法通过  
  
编译，因为现在的&DerivedClass::some\_member\_func已成为DerivedClass类中的成员函数  
  
指针！  
  
  
成员函数指针之间的类型转换是一个讨论起来非常模糊的话题。在C++的标准化的过程中，  
  
在涉及继承的类的成员函数指针时，对于将成员函数指针转化为基类的成员函数指针还是  
  
转化为子类成员函数指针的问题和是否可以将一个类的成员函数指针转化为另一个不相关  
  
的类的成员函数指针的问题，人们曾有过很激烈的争论。然而不幸的是，在标准委员会做  
  
出决定之前，不同的编译器生产商已经根据自己对这些问题的不同的回答实现了自己的编  
  
译器。根据标准（第5.2.10/9节），你可以使用reinterpret\_cast在一个成员函数指针中  
  
保存一个与本来的类不相关的类的成员函数。有关成员函数指针转换的问题的最终结果也  
  
没有确定下来。你现在所能做的还是像以前那样——将成员函数指针转化为本类的成员函  
  
数的指针。在文章的后面我会继续讨论这个问题，因为这正是各个编译器对这样一个标准  
  
没有达成共识的一个话题。  
  
  
在一些编译器中，在基类和子类的成员函数指针之间的转换时常有怪事发生。当涉及到多  
  
重继承时，使用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 da  
  
ta pointer）。它们具有相同的操作符，而且有一些实现原则也是相同的。它们用在stl:  
  
:stable\_sort的一些实现方案中，而对此很多其他的应用我就不再提及了。  
  
  
成员函数指针的使用  
  
  
现在你可能会觉得成员函数指针是有些奇异。但它可以用来做什么呢？对此我在网上做了  
  
非常广泛的调查。最后我总结出使用成员函数指针的两点原因：  
  
  
  
用来做例子给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类一无所知  
  
。显然，除非链接器进行了一些极端精细的优化措施，否则代码会忽视类的实际定义而能  
  
够正确地运行。而这造成的直接后果是，你可以"安全地"调用从完全不同的其他类中转换  
  
过来的成员函数指针。  
  
  
为解释我的断言的另一半——转换并不能按照标准所说的方式进行，我需要在细节上讨论  
  
编译器是怎样实现成员函数指针的。我同时会解释为什么使用成员函数指针的规则具有如  
  
此严格的限制。获得详细论述成员函数指针的文档不是太容易，并且大家对错误的言论已  
  
经习以为常了，所以，我仔细检查了一系列编译器生成的汇编代码......  
  
  
  
  
i\_like\_cpp 于09 : 24 发表 已被浏览15次 评论(0) / 引用(2)  
2004年 12月01日  
  
成员函数指针与高性能的C++委托（中篇）  
成员函数指针与高性能的C++委托（中篇）  
撰文：Don Clugston  
（接上篇）  
成员函数指针——为什么那么复杂？  
  
  
类的成员函数和标准的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 == C  
  
this。我们只需担心一个this指针就够了，并且对于目前这种情况，所有的问题处理得还  
  
可以。  
  
  
现在，假如我们建立一个D类的成员函数指针。在这种情况下，我们的成员函数指针可以指  
  
向Afunc、Bfunc或Dfunc。但是Afunc需要一个this指针指向D::A，而Bfunc需要一个this指  
  
针指向D::B。这时，这个把戏就不管用了，我们不可以把A类和B类都放在D类的头部。所以  
  
，D类的一个成员函数指针不仅要说明要指明调用的是哪一个函数，还要指明使用哪一个t  
  
his指针。编译器知道A类占用的空间有多大，所以它可以对Athis增加一个delta = sizeo  
  
f(A)偏移量就可以将Athis指针转换为Bthis指针。  
  
  
如果你使用虚拟继承（virtual inheritance），比如虚基类，情况会变得更糟，你可以不  
  
必为搞懂这是为什么太伤脑筋。就举个例子来说吧，编译器使用虚拟函数表（virtual fu  
  
nction table——"vtable"）来保存每一个虚函数、函数的地址和virtual\_delta：将当前  
  
的this指针转换为实际函数需要的this指针时所要增加的位移量。  
  
  
综上所述，为了支持一般形式的成员函数指针，你需要至少三条信息：函数的地址，需要  
  
增加到this指针上的delta位移量，和一个虚拟函数表中的索引。对于MSVC来说，你需要第  
  
四条信息：虚拟函数表（vtable）的地址。  
  
  
成员函数指针的实现  
  
  
那么，编译器是怎样实现成员函数指针的呢？这里是对不同的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 bi  
  
naries, [http://www.mingw.org/][http_www.mingw.org] Borland BCB 5.1 ([http://www.borland.com/][http_www.borland.com] Ope  
  
n Watcom (WCL) 1.2 ([http://www.openwatcom.org/][http_www.openwatcom.org] Digital Mars (DMC) 8.38n (htt  
  
p://www.digitalmars.com/), Intel C++ 8.0 for Windows IA-32, Intel C++ 8.0 for  
  
Itanium, ([http://www.intel.com/][http_www.intel.com] IBM XLC for AIX (Power, PowerPC), Metrowerks  
  
Code Warrior 9.1 for Windows ([http://www.metrowerks.com/][http_www.metrowerks.com] 和 Comeau C++ 4.3  
  
([http://www.comeaucomputing.com/.][http_www.comeaucomputing.com_.]Comeau的数据是在它支持的32位平台（x86, Alph  
  
a, 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\_add  
  
ress和m\_vtable\_index合二为一（即放在一个union中），编译器区别这两个变量的方法是  
  
使函数指针（m\_func\_address）的值除以2后结果为偶数，而虚拟函数表索引(m\_vtable\_i  
  
ndex\_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代替in  
  
t使这种虚拟函数指针的结构的大小缩小至8个字节。最近发布的Comeau C++版本为了兼容  
  
微软的编译器也使用了微软的编译器关键字（我想它也只是忽略这些关键字而不对它们进  
  
行实质的相关处理罢了）。  
  
  
Digital Mars编译器（即最初的Zortech C++到后来的Symantec C++）使用了一种不同的优  
  
化方法。对单一继承类来说，一个成员函数指针仅仅是这个函数的地址。但涉及到更复杂  
  
的继承时，这个成员函数指针指向一个形式转换函数（thunk function），这个函数可以  
  
实现对this指针的必要调整并可用来调用实际的成员函数。每当涉及到多重继承的时候，  
  
每一个成员函数的指针都会有这样一个形式转换函数，这对函数调用来说是非常有效的。  
  
但是这意味着，当使用多重继承的时候，子类的成员函数指针向基类成员函数指针的转换  
  
就会不起作用了。可见，这种编译器对编译代码的要求比其他的编译器要严格得多。  
  
  
很多嵌入式系统的编译器不允许多重继承。这样，这些编译器就避免了可能出现的问题：  
  
一个成员函数指针就是一个带有隐藏this指针参数的普通函数指针。  
  
  
微软"smallest for class"方法的问题  
  
  
微软的编译器使用了和Borland相似的优化方法。它们都使单一继承的情况具有最优的效率  
  
。但不像Borland，微软在缺省条件下成员函数指针省略了值为0 的指针入口（entry），  
  
我称这种技术为"smallest for class"方法：对单一继承类来说，一个成员函数指针仅保  
  
存了函数的地址（m\_func\_address），所以它有4字节长。而对于多重继承类来说，由于用  
  
到了偏移地址（m\_delta），所以它有8字节长。对虚拟继承，会用到12个字节。这种方法  
  
确实节省空间，但也有其它的问题。  
  
  
首先，将一个成员函数指针在子类和基类之间进行转化会改变指针的大小！因此，信息是  
  
会丢失的。其次，当一个成员函数指针在它的类定义之前声明的时候，编译器必须算出要  
  
分配给这个指针多少空间，但是这样做是不安全的，因为在定义之前编译器不可能知道这  
  
个类的继承方式。对Intel C++和早期的微软编译器来说，编译器仅仅对指针的大小进行猜  
  
测，一旦在源文件中猜测错误，你的程序会在运行时莫名其妙地崩溃。所以，微软的编译  
  
器中增加了一些保留字：\_\_single\_inheritance, \_\_multiple\_inheritance,和 \_\_virtua  
  
l\_inheritance，并增设了一些编译器开关（compiler switch），如/vmg，让所有的成员  
  
函数指针有相同的大小，而对原本个头小的成员函数指针的空余部分用0填充。Borland编  
  
译器也增加了一些编译器开关，但没有增加新的关键字。Intel的编译器可以识别Microso  
  
ft增加的那些关键字，但它在能够找到类的定义的情况下会对这些关键字不做处理。  
  
  
对于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指针中，而是在发  
  
现函数调用的代码时，编译器才将其相应的汇编代码"嵌"进去。但是对于未知类型的继承  
  
，编译器需要尽可能地通过读代码确定它的继承类型，所以，编译器将虚拟继承指针（vi  
  
rtual inheritance pointer）分为两类（\_\_virtual\_inheritance和\_\_unknown\_inherita  
  
nce）。  
  
  
理论上，所有的编译器设计者应该在MFP（成员函数指针）的实现上有所变革和突破。但在  
  
实际上，这是行不通的，因为这使现在编写的大量代码都需要改变。微软曾发表了一篇非  
  
常古老的文章（[http://msdn.microsoft.com/archive/en-us/dnarvc/html/jangrayhood.][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）。  
  
  
  
（待续）  
  
  
  
  
i\_like\_cpp 于09 : 23 发表 已被浏览14次 评论(0) / 引用(1)  
2004年 12月01日  
  
成员函数指针与高性能的C++委托（下篇）  
成员函数指针与高性能的C++委托（下篇）  
撰文：Don Clugston  
（接中篇）  
委托（delegate）  
  
  
和成员函数指针不同，你不难发现委托的用处。最重要的，使用委托可以很容易地实现一  
  
个Subject/Observer设计模式的改进版\[GoF, p. 293\]。Observer（观察者）模式显然在G  
  
UI中有很多的应用，但我发现它对应用程序核心的设计也有很大的作用。委托也可用来实  
  
现策略（Strategy）\[GoF, p. 315\]和状态（State）\[GoF, p. 305\]模式。  
  
  
现在，我来说明一个事实，委托和成员函数指针相比并不仅仅是好用，而且比成员函数指  
  
针简单得多！既然所有的.NET语言都实现了委托，你可能会猜想如此高层的概念在汇编代  
  
码中并不好实现。但事实并不是这样：委托的实现确实是一个底层的概念，而且就像普通  
  
的函数调用一样简单（并且很高效）。一个C++委托只需要包含一个this指针和一个简单的  
  
函数指针就够了。当你建立一个委托时，你提供这个委托一个this指针，并向它指明需要  
  
调用哪一个函数。编译器可以在建立委托时计算出调整this指针需要的偏移量。这样在使  
  
用委托的时候，编译器就什么事情都不用做了。这一点更好的是，编译器可以在编译时就  
  
可以完成全部这些工作，这样的话，委托的处理对编译器来说可以说是微不足道的工作了  
  
。在x86系统下将委托处理成的汇编代码就应该是这么简单：  
  
  
mov ecx, \[this\]  
  
call \[pfunc\]  
  
  
但是，在标准C++中却不能生成如此高效的代码。 Borland为了解决委托的问题在它的C++  
  
编译器中加入了一个新的关键字（\_\_closure）,用来通过简洁的语法生成优化的代码。GN  
  
U编译器也对语言进行了扩展，但和Borland的编译器不兼容。如果你使用了这两种语言扩  
  
展中的一种，你就会限制自己只使用一个厂家的编译器。而如果你仍然遵循标准C++的规则  
  
，你仍然可以实现委托，但实现的委托就不会是那么高效了。  
  
  
有趣的是，在C\#和其他.NET语言中，执行一个委托的时间要比一个函数调用慢8倍（参见h  
  
ttp://msdn.microsoft.com/library/en-us/dndotnet/html/fastmanagedcode.asp）。我  
  
猜测这可能是垃圾收集和.NET安全检查的需要。最近，微软将"统一事件模型（unified e  
  
vent model）"加入到Visual C++中，随着这个模型的加入，增加了\_\_event、 \_\_raise、  
  
\_\_hook、\_\_unhook、event\_source和event\_receiver等一些关键字。坦白地说，我对加入  
  
的这些特性很反感，因为这是完全不符合标准的，这些语法是丑陋的，因为它们使这种C+  
  
\+不像C++，并且会生成一堆执行效率极低的代码。  
  
  
解决这个问题的推动力：对高效委托（fast delegate）的迫切需求  
  
  
使用标准C++实现委托有一个过度臃肿的症状。大多数的实现方法使用的是同一种思路。这  
  
些方法的基本观点是将成员函数指针看成委托&\#0;&\#0;但这样的指针只能被一个单独的类  
  
使用。为了避免这种局限，你需要间接地使用另一种思路：你可以使用模版为每一个类建  
  
立一个"成员函数调用器（member function invoker）"。委托包含了this指针和一个指向  
  
调用器（invoker）的指针，并且需要在堆上为成员函数调用器分配空间。  
  
  
对于这种方案已经有很多种实现，包括在CodeProject上的实现方案。各种实现在复杂性上  
  
、语法（比如，有的和C\#的语法很接近）上、一般性上有所不同。最具权威的一个实现是  
  
boost::function。最近，它已经被采用作为下一个发布的C++标准版本中的一部分\[Sutte  
  
r1\]。希望它能够被广泛地使用。  
  
  
就像传统的委托实现方法一样，我同样发觉这种方法并不十分另人满意。虽然它提供了大  
  
家所期望的功能，但是会混淆一个潜在的问题：人们缺乏对一个语言的底层的构造。 "成  
  
员函数调用器"的代码对几乎所有的类都是一样的，在所有平台上都出现这种情况是令人沮  
  
丧的。毕竟，堆被用上了。但在一些应用场合下，这种新的方法仍然无法被接受。  
  
  
我做的一个项目是离散事件模拟器，它的核心是一个事件调度程序，用来调用被模拟的对  
  
象的成员函数。大多数成员函数非常简单：它们只改变对象的内部状态，有时在事件队列  
  
（event queue）中添加将来要发生的事件，在这种情况下最适合使用委托。但是，每一个  
  
委托只被调用（invoked）一次。一开始，我使用了boost::function，但我发现程序运行  
  
时，给委托所分配的内存空间占用了整个程序空间的三分之一还要多！"我要真正的委托！  
  
"我在内心呼喊着，"真正的委托只需要仅仅两行汇编指令啊！"  
  
  
我并不能总是能够得到我想要的，但后来我很幸运。我在这儿展示的代码（代码下载链接  
  
见译者注）几乎在所有编译环境中都产生了优化的汇编代码。最重要的是，调用一个含有  
  
单个目标的委托（single-target delegate）的速度几乎同调用一个普通函数一样快。实  
  
现这样的代码并没有用到什么高深的东西，唯一的遗憾就是，为了实现目标，我的代码和  
  
标准C++的规则有些偏离。我使用了一些有关成员函数指针的未公开知识才使它能够这样工  
  
作。如果你很细心，而且不在意在少数情况下的一些编译器相关（compiler-specific）的  
  
代码，那么高性能的委托机制在任何C++编译器下都是可行的。  
  
  
诀窍：将任何类型的成员函数指针转化为一个标准的形式  
  
  
我的代码的核心是一个能够将任何类的指针和任何成员函数指针分别转换为一个通用类的  
  
指针和一个通用成员函数的指针的类。由于C++没有"通用成员函数（generic member fun  
  
ction）"的类型，所以我把所有类型的成员函数都转化为一个在代码中未定义的CGeneric  
  
Class类的成员函数。  
  
  
大多数编译器对所有的成员函数指针平等地对待，不管他们属于哪个类。所以对这些编译  
  
器来说，可以使用reinterpret\_cast将一个特定的成员函数指针转化为一个通用成员函数  
  
指针。事实上，假如编译器不可以，那么这个编译器是不符合标准的。对于一些接近标准  
  
（almost-compliant）的编译器，比如Digital Mars，成员函数指针的reinterpret\_cast  
  
转换一般会涉及到一些额外的特殊代码，当进行转化的成员函数的类之间没有任何关联时  
  
，编译器会出错。对这些编译器，我们使用一个名为horrible\_cast的内联函数（在函数中  
  
使用了一个union来避免C++的类型检查）。使用这种方法看来是不可避免的&\#0;&\#0;boos  
  
t::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\_i  
  
nheritance关键字）。例如：  
  
  
FASTDELEGATEDECLARE(CDerivedClass)  
  
class CDerivedClass : virtual public CBaseClass1, virtual public CBaseClass2 \{  
  
  
  
// : (etc)  
  
\};  
  
  
这个宏和一些常数的声明是在一个隐藏的命名空间中实现的，这样在其他编译器中使用时  
  
也是安全的。MSVC（7.0或更新版本）的另一种方法是在工程中使用/vmg编译器选项。而I  
  
nter的编译器对/vmg编译器选项不起作用，所以你必须在虚拟继承类中使用宏。我的这个  
  
代码是因为编译器的bug才可以正确运行，你可以查看代码来了解更多细节。而在遵从标准  
  
的编译器中不需要注意这么多，况且在任何情况下都不会妨碍FASTDELEGATEDECLARE宏的使  
  
用。  
  
  
一旦你将类的对象指针和成员函数指针转化为标准形式，实现单一目标的委托（single-t  
  
arget delegate）就比较容易了（虽然做起来感觉冗长乏味）。你只要为每一种具有不同  
  
参数的函数制作相应的模板类就行了。实现其他类型的委托的代码也大都与此相似，只是  
  
对参数稍做修改罢了。  
  
  
这种用非标准方式转换实现的委托还有一个好处，就是委托对象之间可以用等式比较。目  
  
前实现的大多数委托无法做到这一点，这使这些委托不能胜任一些特定的任务，比如实现  
  
多播委托（multi-cast delegates） \[Sutter3\]。  
  
  
静态函数作为委托目标（delegate target）  
  
  
理论上，一个简单的非成员函数（non-member function），或者一个静态成员函数（sta  
  
tic member function）可以被作为委托目标（delegate target）。这可以通过将静态函  
  
数转换为一个成员函数来实现。我有两种方法实现这一点，两种方法都是通过使委托指向  
  
调用这个静态函数的"调用器（invoker）"的成员函数的方法来实现的。  
  
  
第一种方法使用了一个邪恶的方法（evil method）。你可以存储函数指针而不是this指针  
  
，这样当调用"调用器"的函数时，它将this指针转化为一个静态函数指针，并调用这个静  
  
态函数。问题是这只是一个戏法，它需要在代码指针和数据指针之间进行转换。在一个系  
  
统中代码指针的大小比数据指针大时（比如DOS下的编译器使用medium内存模式时），这个  
  
方法就不管用了。它在目前我知道的所有32位和64位处理器上是管用的。但是因为这种方  
  
法还是不太好，所以仍需要改进。  
  
  
另一种是一个比较安全的方法（safe method），它是将函数指针作为委托的一个附加成员  
  
。委托指向自己的成员函数。当委托被复制的时候，这些自引用（self-reference）必须  
  
被转换，而且使"="和"=="运算符的操作变得复杂。这使委托的大小增至4个字节，并增加  
  
了代码的复杂性，但这并不影响委托的调用速度。  
  
  
我已经实现了上述两种方法，两者都有各自的优点：安全的方法保证了运行的可靠性，而  
  
邪恶的方法在支持委托的编译器下也可能会产生与此相同的汇编代码。此外，安全的方法  
  
可避免我以前讨论的在MSVC中使用多重继承和虚拟继承时所出现的问题。我在代码中给出  
  
的是"安全的方法"的代码，但是在我给出的代码中"邪恶的方法"会通过下面的代码生效：  
  
  
  
\#define (FASTDELEGATE\_USESTATICFUNCTIONHACK)  
  
  
多目标委托（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）系统会有一定的方案来处理这种问题。  
  
  
为了结束我的这篇文章，我的多播委托的实现方案就需要大家等待了。这可以借鉴其他实  
  
现中的方法——允许非空返回类型，允许类型的隐式转换，并使用更简捷的语法结构。如  
  
果我有足够的兴趣我会把代码写出来。如果能把我实现的委托和目前流行的某一个事件处  
  
理系统结合起来那会是最好不过的事情了（有自愿者吗？）。  
  
  
本文代码的使用  
  
  
原代码包括了FastDelegate的实现（FastDelegate.h）和一个demo .cpp的文件用来展示使  
  
用FastDelegate的语法。对于使用MSVC的读者，你可以建立一个空的控制台应用程序(Con  
  
sole Application)的工程，再把这两个文件添加进去就好了，对于GNU的使用者，在命令  
  
行输入"gcc demo.cpp"就可以了。  
  
  
FastDelegate可以在任何参数组合下运行，我建议你在尽可能多的编译器下尝试，你在声  
  
明委托的时候必须指明参数的个数。在这个程序中最多可以使用8个参数，若想进行扩充也  
  
是很容易的。代码使用了fastdelegate命名空间，在fastdelegate命名空间中有一个名为  
  
detail的内部命名空间。  
  
  
Fastdelegate使用构造函数或bind()可以绑定一个成员函数或一个静态（全局）函数，在  
  
默认情况下，绑定的值为0（空函数）。可以使用"！"操作符判定它是一个空值。  
  
  
不像用其他方法实现的委托，这个委托支持等式运算符（==, !=）。  
  
  
下面是FastDelegateDemo.cpp的节选，它展示了大多数允许的操作。CBaseClass是CDeriv  
  
edClass的虚基类。你可以根据这个代码写出更精彩的代码，下面的代码只是说明使用Fas  
  
tDelegate的语法：  
  
  
using namespace fastdelegate;  
  
  
int main(void)  
  
\{  
  
printf("-- FastDelegate demo --/nA no-parameter  
  
delegate is declared using FastDelegate0/n/n");  
  
FastDelegate0 noparameterdelegate(&SimpleVoidFunction);  
  
  
noparameterdelegate();  
  
//调用委托，这一句调用SimpleVoidFunction()  
  
  
printf("/n-- Examples using two-parameter delegates (int, char \*) --/n/n");  
  
  
  
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/n");  
  
\} else \{  
  
// 调用生成的经过优化的汇编代码  
  
funclist\[i\](i, msg);  
  
\};  
  
\}  
  
\};  
  
  
因为我的代码利用了C++标准中没有定义的行为，所以我很小心地在很多编译器中做了测试  
  
。具有讽刺意味的是，它比许多所谓标准的代码更具有可移植性，因为几乎所有的编译器  
  
都不是完全符合标准的。目前，核心代码已成功通过了下列编译器的测试：  
  
  
  
Microsoft Visual C++ 6.0, 7.0 (.NET) and 7.1 (.NET 2003) (including /clr 'mana  
  
ged C++'),  
  
  
GNU G++ 3.2 (MingW binaries),  
  
  
Borland C++ Builder 5.5.1,  
  
  
Digital Mars C++ 8.38 (x86, both 32-bit and 16-bit),  
  
  
Intel C++ for Windows 8.0,  
  
  
Metroworks CodeWarrior for Windows 9.1 (in both C++ and EC++ modes)  
  
  
对于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并没有进行全面地测试，一个原因是，我有一些使用的编译器的评  
  
估版过期了，另一个原因是——我的女儿出生了！如果有足够的兴趣，我会让代码在更多  
  
编译器中通过测试。(这一段在刚刚更新的原文中被删去了，因为作者目前几乎完成了全部  
  
测试。——译者注)  
  
  
总结  
  
  
为了解释一小段代码，我就得为这个语言中具有争议的一部分写这么一篇长长的指南。为  
  
了两行汇编代码，就要做如此麻烦的工作。唉~！  
  
  
我希望我已经澄清了有关成员函数指针和委托的误解。我们可以看到为了实现成员函数指  
  
针，各种编译器有着千差万别的方法。我们还可以看到，与流行的观点不同，委托并不复  
  
杂，并不是高层结构，事实上它很简单。我希望它能够成为这个语言（标准C++）中的一部  
  
分，而且我们有理由相信目前已被一些编译器支持的委托，在不久的将来会加入到标准C+  
  
\+的新的版本中（去游说标准委员会！）。  
  
  
据我所知，以前实现的委托都没有像我在这里为大家展示的FastDelegate一样有如此高的  
  
性能。我希望我的代码能对你有帮助。如果我有足够的兴趣，我会对代码进行扩展，从而  
  
支持多播委托（multi-cast delegate）以及更多类型的委托。我在CodeProject上学到了  
  
很多，并且这是我第一次为之做出的贡献。  
  
  
参考文献  
  
  
\[GoF\] "Design Patterns: Elements of Reusable Object-Oriented Software", E. Gam  
  
ma, R. Helm, R. Johnson, and J. Vlissides.  
  
I've looked at dozens of websites while researching this article. Here are a f  
  
ew 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-confo  
  
rming compiler. （[http://www.boost.org/）][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 eventuall  
  
y merge with boost. （[http://sourceforge.net/projects/loki-lib）][http_sourceforge.net_projects_loki-lib]  
  
\[Qt\] The Qt library includes a Signal/Slot mechanism (i.e., delegates). For th  
  
is to work, you have to run a special preprocessor on your code before compili  
  
ng. Performance is very poor, but it works on compilers with very poor templat  
  
e support. （[http://doc.trolltech.com/3.0/signalsandslots.html）][http_doc.trolltech.com_3.0_signalsandslots.html]  
  
\[Libsigc++\] An event system based on Qt's. It avoids the Qt's special preproce  
  
ssor, but requires that every target be derived from a base object class (usin  
  
g virtual inheritance - yuck!). （[http://libsigc.sourceforge.net/）][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.tu][http_www.tu]  
  
tok.sk/fastgl/callback.html）  
  
\[Haendal\]. A website dedicated to function pointers?! Not much detail about me  
  
mber function pointers though. （[http://www.function-pointer.org/）][http_www.function-pointer.org]  
  
\[Sutter1\] Generalized function pointers: a discussion of how boost::function h  
  
as been accepted into the new C++ standard. （[http://www.cuj.com/documents/s=8][http_www.cuj.com_documents_s_8]  
  
464/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）][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月出生）。  
  
"黑暗不会战胜阳光，阳光终究会照亮黑暗。"

[http_www.mingw.org]: http://www.mingw.org/
[http_www.borland.com]: http://www.borland.com/
[http_www.openwatcom.org]: http://www.openwatcom.org/
[http_www.intel.com]: http://www.intel.com/
[http_www.metrowerks.com]: http://www.metrowerks.com/
[http_www.comeaucomputing.com_.]: http://www.comeaucomputing.com/.
[http_msdn.microsoft.com_archive_en-us_dnarvc_html_jangrayhood.]: http://msdn.microsoft.com/archive/en-us/dnarvc/html/jangrayhood.
[http_www.boost.org]: http://www.boost.org/）
[http_sourceforge.net_projects_loki-lib]: http://sourceforge.net/projects/loki-lib）
[http_doc.trolltech.com_3.0_signalsandslots.html]: http://doc.trolltech.com/3.0/signalsandslots.html）
[http_libsigc.sourceforge.net]: http://libsigc.sourceforge.net/）
[http_www.tu]: http://www.tu/
[http_www.function-pointer.org]: http://www.function-pointer.org/）
[http_www.cuj.com_documents_s_8]: http://www.cuj.com/documents/s=8
[http_www.cuj.com_documents_s_8840_cujexp0309sutter]: http://www.cuj.com/documents/s=8840/cujexp0309sutter）