c++成员函数指针揭秘

谁践踏了优雅 2022-06-18 01:53 251阅读 0赞

原帖地址 [http://blog.csdn.net/xlie/article/details/3031966\#\_Toc133650388][http_blog.csdn.net_xlie_article_details_3031966_Toc133650388]

目 录

[1 前言][1]

[2 语法][2]

[3 与其它语言机制的混合使用][3]

[3.1 继承][3.1]

[3.2 虚函数][3.2]

[3.2 多继承][3.2 1]

[4 实现][4]

[4.1 Microsoft的实现][http_blog.csdn.net_xlie_article_details_3031966_Toc133650388]

[4.1.1 内部表示][4.1.1]

[4.1.2 Vcall\_addr实现][4.1.2 Vcall_addr]

[4.1.3 This指针调整][4.1.3 This]

[4.1.4 结论][4.1.4]

[4.2 GCC的实现][4.2 GCC]

[4.2.1 内部表示][4.2.1]

[4.2.2 实现机制][4.2.2]

[5 语言限制与陷阱][5]

[5.1 例子][5.1]

[5.2 static\_cast干了些什么][5.2 static_cast]

[5.3 默认的转换][5.3]

[5.4 教训][5.4]

[5.5 如何避开陷阱][5.5]

# 1 前言 #

C++语言支持指向成员函数的指针这一语言机制。就像许多其它C++语言机制一样，它也是一把双刃剑，用得好，能够提高程序的灵活性、可扩展性等等，但是也存在一些不易发现的陷阱，我们在使用它的时候需要格外注意, 尤其是在我们把它和c++其它的语言机制合起来使用的时候更是要倍加当心。

关键字：成员函数指针，继承，虚函数，this指针调整，static\_cast

# 2 语法 #

C++成员函数指针（pointer to member function）的用法和C语言的函数指针有些相似.

下面的代码说明了成员函数指针的一般用法：

<table> 
 <tbody> 
 <tr> 
 <td> class&nbsp;ClassName {public:&nbsp;int&nbsp;foo(int); } &nbsp; int&nbsp;(ClassName::*pmf)(int) = &amp;ClassNmae::foo; &nbsp; ClassName&nbsp;&nbsp;c;&nbsp;&nbsp;&nbsp;//.*的用法，经由对象调用 (c.*pmf)(5);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// A &nbsp; ClassName *pc = &amp;c;&nbsp;&nbsp;//-&gt;*的用法，经由对象指针调用 (Pc-&gt;*pmf)(6);&nbsp;&nbsp;&nbsp;// B &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

使用typedef可以让代码变得略微好看一点：

<table> 
 <tbody> 
 <tr> 
 <td> typedef&nbsp;int&nbsp;（ClassName::*PMF）(int); PMF pmf = &amp;ClassName::foo; </td> 
 </tr> 
 </tbody> 
</table>

注意获取一个成员函数指针的语法要求很严格：

1) 不能使用括号：例如&(ClassName::foo)不对。

2) 必须有限定符：例如&foo不对。即使在类ClassName的作用域内也不行。

3) 必须使用取地址符号：例如直接写ClassName::foo不行。（虽然普通函数指针可以这样）

所以，必须要这样写：&ClassName::foo。

C++成员函数的调用需要至少3个要素：this指针，函数参数(也许为空)，函数地址。上面的调用中，->\*和.\*运算符之前的对象/指针提供了this（和真正使用this并不完全一致，后面会讨论），参数在括号内提供，pmf则提供了函数地址。

注意这里成员函数指针已经开始显示它“异类”的天性了。上面代码中注释A和B处两个表达式，产生了一个在C++里面没有类型(type)的“东西”（这是C++语言里面唯一的例外，其它任何东西都是有类型的），这就是.\*和->\*运算符：

(c.\*pmf)

(Pc->\*pmf)

这两个运算符求值生成的“东西”我们只知道可以把它拿来当函数调用一样使唤，别的什么也不能干，甚至都不能把它存在某个地方。就因为这个原因，Andrei Alexandrescu 在他那本著名的《Modern c++ design》里面就说，成员函数指针和这两个操作符号是“curiously half-baked concept in c++”。（5.9节）

C++里面引入了“引用”(reference)的概念，可是却不存在“成员函数的引用”，这也是一个特殊的地方。(当然，我们可以使用“成员函数指针”的引用，呵呵)

# 3 与其它语言机制的混合使用 #

C++是一种Multi-Paradigm的语言，各种语言机制混合使用也是平常的事。这里我们只提几种会影响到成员函数指针实现和运行的语言机制。

## 3.1 继承 ##

根据C++语言规定，成员函数指针具有contravariance特性，就是说，基类的成员函数指针可以赋值给继承类的成员函数指针，C++语言提供了默认的转换方式，但是反过来不行。

## 3.2 虚函数 ##

首先要说明，指向虚拟成员函数（virtual function member）的指针也能正确表现出虚拟函数的特性。举例说明如下：

class B \{ public: virtual int foo(int) \{/\* B's implementation \*/return 0; \} \};

class D : public B \{ public: virtual int foo(int) \{ /\* D's implementation \*/ return 0; \} \};

int (B::\*pmf)(int) = &B::foo;

D d;

B\* pb = &d;

(d.\*pmf)(0); //这里执行D::foo

(pb->\*pmf)(0); //这里执行D::foo，多态

C++借由虚函数提供了运行时多态特性，虚函数的实现和普通函数有很大的不同。一般编译器都是采用大家都熟悉的v-table (virtual function table)的方式。所有的虚函数地址存在一个函数表里面，类对象中存储该函数表的首地址（vptr\_point）。运行时根据this指针、虚函数索引和虚函数表指针找到函数调用地址。

因为这些不同，所以成员函数指针碰上虚函数的时候，也需要作特殊的处理，才能正确表现出所期望的虚拟性质。

## 3.2 多继承 ##

这里扯上多继承，是因为多继承的存在导致了成员函数指针的实现的复杂性。这是因为编译器有时候需要进行”this”指针调整。

举例说明如下：

class B1\{\};

class B2\{\};

class D: public B1, public B2\{\}

假设上面三个对象都不涉及到虚函数，D在内存中的典型布局如下图所示（如果有虚函数则多一个vptr指针，差别不大）：

现在假设我们经由D对象调用B2的函数，

D d；

d.fun\_of\_b2();

这里传给fun\_of\_b2的this指针不能是&d, 而应该对&d加上一个偏移，得到D内含的B2子对象的首地址处。

成员函数指针的实现必须考虑这种情况。

多继承总是不那么受欢迎。不过即使是单继承，上面的情况也会出现。考虑下面的例子:

class B\{\}; //non-virtual class

class D :public B\{\}; //virtual class

假设B是一个普通的类，没有虚拟成员函数。而D加上了虚拟成员函数。那么D的典型内存布局如下图所示：

因为D引入了vptr指针，而一般的实现都将vptr放在对象的开头，这就导致经由D对象访问B的成员函数的时候，仍然需要进行this指针的调整。

D d；

d.fun\_of\_b(); //this 指针也需要调整，否则fun\_of\_b的行为就会异常

# 4 实现 #

从上面一节我们可以看到，编译器要实现成员函数指针，有几个问题是绕不过去的：

1） 函数是不是虚拟函数，这个涉及到虚函数表(\_\_vtbl)的访问。

2） 函数运行时，需不需要调整this指针，如何调整。这个涉及到C++对象的内存布局。

事实上，成员函数指针必须记住这两个信息。为什么要记住是否为虚函数就不用解释了。但是this指针调整为什么要记住呢？因为在.\*和->\*运算符求值时必须用到。 考虑上面那个多继承的例子：

int (D::\*pmf)(int) = &B2::foo\_of\_b2; //A

D d;

(d.\*pmf)(0); //B

看看上面的代码，其实我们在A处知道需要进行this指针调整，也知道该怎么调整。但是这时候this还没出世呢，还不到调整的时候。到了B处终于有了This指针了，可是又不知道该怎样调整了。所以pmf必须记住调整方式，到了B处调用的时候，再来进行调整。

## 4.1 Microsoft的实现 ##

### 4.1.1 内部表示 ###

Microsoft VC的实现采用的是Microsoft一贯使用的Thunk技术（不知道这个名字怎么来的，不过有趣的是把它反过来拼写就变成了大牛Knuth的名字，呵呵）。

对于Mircosoft来说，成员函数指针实际上分两种，一种需要调节this指针，一种不需要调节this指针。

先分清楚那些情况下成员函数指针需要调整this指针，那些情况下不需要。回忆上一节讨论的c++对象内存布局的说明，我们可以得出结论如下：

如果一个类对象obj含有一些子对象subobj，这些子对象的首地址&subobj和对象自己的首地址&obj不等的话，就有可能需要调整this指针。因为我们有可能把subobj的函数当成obj自己的函数来使用。

根据这个原则，可以知道下列情况不需要调整this指针：

1） 继承树最顶层的类。

2） 单继承，若所有类都不含有虚拟函数，那么该继承树上所有类都不需要调整this指针。

3） 单继承，若最顶层的类含有虚函数，那么该继承树上所有类都不需要调整this指针。

下列情况可能进行this指针调整：

1） 多继承

2） 单继承，最顶的base class不含virtual function，但继承类含虚函数。那么这些继承类可能需要进行this指针调整。

Microsoft把这两种情况分得很清楚。所以成员函数的内部表示大致分下面两种：

<table> 
 <tbody> 
 <tr> 
 <td> struct pmf_type1{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;void* vcall_addr; }; &nbsp; </td> 
 </tr> 
 <tr> 
 <td> struct pmf_type2{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;void* vcall_addr; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;&nbsp;delta;&nbsp;&nbsp;//调整this指针用 }; </td> 
 </tr> 
 </tbody> 
</table>

这两种表示导致成员函数指针的大小可能不一样，pmf\_type1大小为4，pmf\_type2大小为8。有兴趣的话可以写一段代码测试一下。

### 4.1.2 Vcall\_addr实现 ###

上面两个结构中出现了vcall\_addr, 它就是Microsoft 的Thunk技术核心所在。简单的说，vcall\_addr是一个指针，这个指针隐藏了它所指的函数是虚拟函数还是普通函数的区别。事实上，若它所指的成员函数是一个普通成员函数，那么这个地址也就是这个成员函数的函数地址。若是虚拟成员函数，那么这个指针指向一小段代码，这段代码会根据this指针和虚函数索引值寻找出真正的函数地址，然后跳转(注意是跳转jmp，而不是函数调用call)到真实的函数地址处执行。

看一个例子。

<table> 
 <tbody> 
 <tr> 
 <td> //源代码 class&nbsp;&nbsp;C { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;nv_fun1(int) {return&nbsp;0;} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;virtual&nbsp;int&nbsp;v_fun(int) {return&nbsp;0;} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;virtual&nbsp;int&nbsp;v_fun_2(int) {return&nbsp;0;} }; &nbsp; void&nbsp;foo(C *c) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;(C::*pmf)(int); &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;pmf = &amp;C::nv_fun1; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(c-&gt;*pmf)(0x12345678); &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;pmf = &amp;C::v_fun; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(c-&gt;*pmf)(0x87654321); &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;pmf = &amp;C::v_fun_2; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(c-&gt;*pmf)(0x87654321); } &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

<table> 
 <tbody> 
 <tr> 
 <td> ; foo的汇编代码，release版本，部分地方进行了优化 :00401000 56&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;push esi :00401001 8B742408&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov esi, dword ptr [esp+08] ;&nbsp;pmf = &amp;C::nv_fun1; ;&nbsp;(c-&gt;*pmf)(0x12345678); :00401005 6878563412&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;push 12345678 :0040100A&nbsp;8BCE&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov ecx, esi&nbsp;;this :0040100C&nbsp;E81F000000&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;call&nbsp;00401030 ;&nbsp;pmf = &amp;C::v_fun; ;&nbsp;(c-&gt;*pmf)(0x87654321); :00401011 6821436587&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;push 87654321 :00401016 8BCE&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov ecx, esi&nbsp;&nbsp;;this :00401018 E803070000&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;call&nbsp;00401720 ;&nbsp;pmf = &amp;C::v_fun_2; ;&nbsp;&nbsp;&nbsp;&nbsp;(c-&gt;*pmf)(0x87654321); :0040101D 6821436587&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;push 87654321 :00401022 8BCE&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov ecx, esi&nbsp;&nbsp;;this :00401024 E807070000&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;call&nbsp;00401730 :00401029 5E&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;pop esi :0040102A&nbsp;C3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ret </td> 
 </tr> 
 <tr> 
 <td> :00401030&nbsp;33C0&nbsp;&nbsp;&nbsp;&nbsp;;&nbsp;函数实现&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;xor eax, eax&nbsp;&nbsp;&nbsp;&nbsp; :00401032 C20400&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;ret 0004 </td> 
 </tr> 
 <tr> 
 <td> :00401720&nbsp;8B01&nbsp;&nbsp;&nbsp;&nbsp;; vcall&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov eax, dword ptr [ecx] :00401722 FF20&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;jmp dword ptr [eax] </td> 
 </tr> 
 <tr> 
 <td> :00401730&nbsp;8B01&nbsp;&nbsp;&nbsp;&nbsp;; vcall&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mov eax, dword ptr [ecx] :00401732 FF6004&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;jmp [eax+04] </td> 
 </tr> 
 </tbody> 
</table>

从上面的汇编代码可以看出vcall\_addr的用法。**00401030, 00401720, 00401730**都是vcall\_addr的值，其实也就是pmf的值。在调用的地方，我们不能分别出是不是虚函数，所看到的都是一个函数地址。但是在vcall\_addr被当成函数地址调用后，进入vcall\_addr，就有区别了。**00401720, 00401730**是两个虚函数的vcall，他们都是先根据this指针，计算出函数地址，然后jmp到真正的函数地址。**00401030**是C::nv\_fun1的真实地址。

Microsoft的这种实现需要对一个类的每个**用到了的**虚函数，都分别产生这样的一段代码。这就像一个template函数:

template <int index>

void vcall(void\* this)

jmp this->vptr\[index\]; //pseudo asm code

每种不同的index都要产生一个实例。

Microsoft就是采用这样的方式实现了虚成员函数指针的调用。

### 4.1.3 This指针调整 ###

不过还有一个this调整的问题，我们还没有解决。上面的例子为了简化，我们故意避开了this指针调整。不过有了上面的基础，我们再讨论this指针调整就容易了。

首先我们需要构造一个需要进行this指针调整的情况。回忆这节开头，我们讨论了哪些情况下需要进行this指针调整。我们用一个单继承的例子来进行说明。这次我们避开virtual/non-virtual function的问题暂不考虑。

<table> 
 <tbody> 
 <tr> 
 <td> class&nbsp;B { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;B():m_b(0x13572468){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;b_fun(int)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;'B'&lt;&lt;std::endl; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;m_b; }; &nbsp; class&nbsp;D :&nbsp;public&nbsp;B { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D():m_d(0x24681357){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;virtual&nbsp;int&nbsp;foo(int)&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;'D'&lt;&lt;std::endl;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;m_d; }; </td> 
 <td> //&nbsp;注意这个例子中virtual的使用 </td> 
 </tr> 
 <tr> 
 <td> void&nbsp;test_this_adjust(D *pd,&nbsp;int&nbsp;(D::*pmf)(int)) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(pd-&gt;*pmf)(0x12345678); } &nbsp; </td> 
 <td> :00401000&nbsp;&nbsp;&nbsp;mov eax, dword ptr [esp+04]&nbsp;; this入参 :00401004&nbsp;&nbsp;&nbsp;mov ecx, dword ptr [esp+0C]&nbsp;; delta入参 :00401008&nbsp;&nbsp;&nbsp;push 12345678&nbsp;；参数入栈 :0040100D&nbsp;&nbsp;&nbsp;add ecx, eax&nbsp;; this = ecx= this+delta :0040100F&nbsp;&nbsp;&nbsp;call [esp+0C]&nbsp;; vcall_addr入参 :00401013&nbsp;&nbsp;&nbsp;ret </td> 
 </tr> 
 <tr> 
 <td> void&nbsp;test_main(D *pd) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_this_adjust(pd, &amp;D::foo); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_this_adjust(pd, &amp;B::b_fun); } &nbsp; </td> 
 <td> ; test_this_adjust(pd, &amp;D::foo); :00401020&nbsp;&nbsp;xor ecx, ecx :00401022&nbsp;&nbsp;push esi :00401023&nbsp;&nbsp;mov esi, dword ptr [esp+08]&nbsp;; pd, this指针 :00401027&nbsp;&nbsp;mov eax,&nbsp;004016A0&nbsp;; D::foo vcall地址 :0040102C&nbsp;&nbsp;push ecx&nbsp;; push delat = 0, ecx=0 :0040102D&nbsp;&nbsp;push eax&nbsp;; push vcall_addr :0040102E&nbsp;&nbsp;push esi&nbsp;&nbsp;; push this :0040102F&nbsp;&nbsp;call 00401000&nbsp;; call test_this_adjust &nbsp; ; test_this_adjust(pd, &amp;B::b_fun); :00401034&nbsp;&nbsp;mov ecx, 00000004&nbsp;;和上面的调用不同了 :00401039&nbsp;&nbsp;mov eax, 00401050&nbsp;; B::b_fun地址 :0040103E&nbsp;&nbsp;push ecx&nbsp;; push delta = 4, exc=4 :0040103F&nbsp;&nbsp;push eax&nbsp;; push vcall_addr, B::b_fun地址 :00401040&nbsp;&nbsp;push esi&nbsp;; push this :00401041&nbsp;&nbsp;call 00401000&nbsp;&nbsp;; call test_this_adjust &nbsp; :00401046&nbsp;&nbsp;add esp, 00000018 :00401049&nbsp;&nbsp;pop esi :0040104A&nbsp;&nbsp;ret </td> 
 </tr> 
 </tbody> 
</table>

注意这里和上面一个例子的区别：

在调用test\_this\_adjust(pd, &D::foo)的时候，实际上传入了3个参数，调用相当于

test\_this\_adjust(pd, vcall\_address\_of\_foo, delta(=0));

调用test\_this\_adjust(pd, &B::b\_fun)的时候，也是3个参数

test\_this\_adjust(pd, vcall\_address\_of\_b\_fun, delta(=4));

两个调用有个明显的不同，就是delta的值。这个delta，为我们后来调整this指针提供了帮助。

再看看test\_this\_adjust函数的汇编代码，和上一个例子的不同，也就是多了一句代码：

:0040100D add ecx, eax ; this = ecx= this+delta

这就是对this指针作必要的调整。

### 4.1.4 结论 ###

Microsoft根据情况选用下面的结构表示成员函数指针，使用Thunk技术（vcall\_addr）实现虚拟函数/非虚拟函数的自适应，在必要的时候进行this指针调整(使用delta)。

<table> 
 <tbody> 
 <tr> 
 <td> struct&nbsp;pmf_type1{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;void* vcall_addr; }; &nbsp; </td> 
 </tr> 
 <tr> 
 <td> struct&nbsp;pmf_type2{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;void* vcall_addr; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;&nbsp;delta;&nbsp;&nbsp;//调整this指针用 }; </td> 
 </tr> 
 </tbody> 
</table>

## 4.2 GCC的实现 ##

GCC对于成员函数指针的实现和Microsoft的方式有很大的不同。

### 4.2.1 内部表示 ###

GCC对于成员函数指针统一使用类似下面的结构进行表示：

<table> 
 <tbody> 
 <tr> 
 <td> struct { &nbsp;&nbsp;&nbsp;&nbsp;void* __pfn;&nbsp;&nbsp;//函数地址，或者是虚拟函数的index &nbsp;&nbsp;&nbsp;&nbsp;long&nbsp;__delta;&nbsp;// offset,&nbsp;用来进行this指针调整 }; </td> 
 </tr> 
 </tbody> 
</table>

### 4.2.2 实现机制 ###

先来看看GCC是如何区分普通成员函数和虚拟成员函数的。

不管是普通成员函数，还是虚拟成员函数，信息都记录在\_\_pfn里面。这里有个小小的技巧。我们知道一般来说因为对齐的关系，函数地址都至少是4字节对齐的。这就意味这一个函数的地址，最低位两个bit总是0。（就算没有这个对齐限制，编译器也可以这样实现。） GCC充分利用了这两个bit。如果是普通的函数，\_\_pfn记录该函数的真实地址，最低位两个bit就是全0，如果是虚拟成员函数，最后两个bit不是0，剩下的30bit就是虚拟成员函数在函数表中的索引值。

使用的时候，GCC先取出最低位两个bit看看是不是0，若是0就拿这个地址直接进行函数调用。若不是0，就取出前面30位包含的虚拟函数索引，通过计算得到真正的函数地址，再进行函数调用。

GCC和Microsoft对这个问题最大的不同就是GCC总是动态计算出函数地址，而且每次调用都要判断是否为虚拟函数，开销自然要比Microsoft的实现要大一些。这也差不多可以算成一种时间换空间的做法。

在this指针调整方面，GCC和Mircrosoft的做法是一样的。不过GCC在任何情况下都会带上\_\_delta这个变量，如果不需要调整，\_\_delta＝0。

这样GCC的实现比起Microsoft来说要稍简单一些。在所有场合其实现方式都是一样的。而且这样的实现也带来多一些灵活性。这一点下面“陷阱”一节再进行说明。

GCC在不同的平台其实现细节可能略有不同，我们来看一个基于Intel平台的典型实现：

<table> 
 <tbody> 
 <tr> 
 <td> //source code int&nbsp;test_fun(Base *pb,&nbsp;int&nbsp;(Base::*pmf)(int)) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;(pb-&gt;*pmf)(4); } //assembly 8048478:&nbsp;&nbsp;&nbsp;&nbsp;push&nbsp;&nbsp;&nbsp;%ebp &nbsp;8048479:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;%esp,%ebp &nbsp;804847b:&nbsp;&nbsp;sub&nbsp;&nbsp;&nbsp;&nbsp;$0x18,%esp &nbsp;804847e:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xc(%ebp),%eax&nbsp;&nbsp;&nbsp;;__pfn，&nbsp;入参 &nbsp;8048481:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0x10(%ebp),%edx&nbsp;&nbsp;;__delta，&nbsp;入参 &nbsp;8048484:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;%eax,0xfffffff8(%ebp)&nbsp;&nbsp;; __pfn &nbsp;8048487:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;%edx,0xfffffffc(%ebp)&nbsp;&nbsp;; __delta &nbsp;804848a:&nbsp;&nbsp;sub&nbsp;&nbsp;&nbsp;&nbsp;$0x8,%esp&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; &nbsp;804848d:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xfffffff8(%ebp),%eax ;&nbsp;__pfn &nbsp;8048490:&nbsp;&nbsp;and&nbsp;&nbsp;&nbsp;&nbsp;$0x1,%eax&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; __test last 2 bits,&nbsp;判断是否为虚拟函数 &nbsp;8048493:&nbsp;&nbsp;test&nbsp;&nbsp;&nbsp;%al,%al &nbsp;8048495:&nbsp;&nbsp;je&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;80484b6 &lt;_Z8test_funP4BaseMS_FiiE+0x3e&gt;&nbsp;；不是虚函数就跳到&nbsp;non-virtual fun处 &nbsp; &nbsp;&nbsp;; virtual fun，是虚拟函数，计算函数地址 &nbsp;8048497:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xfffffffc(%ebp),%eax&nbsp;;__delta &nbsp;804849a:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0x8(%ebp),%ecx&nbsp;&nbsp;;get pb，&nbsp;入参 &nbsp;804849d:&nbsp;&nbsp;add&nbsp;&nbsp;&nbsp;&nbsp;%eax,%ecx&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;ecx = this=pb+__delta &nbsp;804849f:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xfffffff8(%ebp),%eax&nbsp;;eax=__pfn &nbsp;80484a2:&nbsp;&nbsp;shr&nbsp;&nbsp;&nbsp;&nbsp;$0x2,%eax&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;eax=__pfn&gt;&gt;2 (fun index) &nbsp;80484a5:&nbsp;&nbsp;lea&nbsp;&nbsp;&nbsp;&nbsp;0x0(,%eax,4),%edx&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;edx=eax * 4 &nbsp;80484ac:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;(%ecx),%eax&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;eax=vtble &nbsp;80484ae:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;(%eax,%edx,1),%edx&nbsp;&nbsp;&nbsp;&nbsp;;edx为函数地址 &nbsp;80484b1:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;%edx,0xfffffff4(%ebp)&nbsp;&nbsp;&nbsp;;存起来 &nbsp;80484b4:&nbsp;&nbsp;jmp&nbsp;&nbsp;&nbsp;&nbsp;80484bc &lt;_Z8test_funP4BaseMS_FiiE+0x44&gt; &nbsp; &nbsp;; non-virtual fun，不是虚拟函数，直接取出函数地址 &nbsp;80484b6:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xfffffff8(%ebp),%eax&nbsp;;__pfn, fun addr &nbsp;80484b9:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;%eax,0xfffffff4(%ebp)&nbsp;;__pfn, fun addr &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; common invoking &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; 0xfffffff4(%ebp) contains fun address &nbsp;80484bc:&nbsp;&nbsp;push&nbsp;&nbsp;&nbsp;$0x4&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;push parameters &nbsp;80484be:&nbsp;&nbsp;mov&nbsp;&nbsp;&nbsp;&nbsp;0xfffffffc(%ebp),%eax&nbsp;&nbsp;&nbsp;; delta &nbsp;80484c1:&nbsp;&nbsp;add&nbsp;&nbsp;&nbsp;&nbsp;0x8(%ebp),%eax&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; this&nbsp;＝&nbsp;pb＋delta, this指针调整 &nbsp;80484c4:&nbsp;&nbsp;push&nbsp;&nbsp;&nbsp;%eax&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;; this &nbsp;80484c5:&nbsp;&nbsp;call&nbsp;&nbsp;&nbsp;*0xfffffff4(%ebp)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;;invoke &nbsp;80484c8:&nbsp;&nbsp;add&nbsp;&nbsp;&nbsp;&nbsp;$0x10,%esp &nbsp;80484cb:&nbsp;&nbsp;leave&nbsp; &nbsp;80484cc:&nbsp;&nbsp;ret&nbsp;&nbsp;&nbsp; &nbsp;80484cd:&nbsp;&nbsp;nop&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </td> 
 </tr> 
 </tbody> 
</table>

# 5 语言限制与陷阱 #

按照C++语言的规定，对于成员函数指针的使用，有如下限制：

**不允许继承类的成员函数指针赋值给基类成员函数指针。**

如果我们一定要反其道而行，则存在this指针调整的陷阱，需要注意。这一节我们通过两个例子，说明为什么这样操作是危险的。

## 5.1 例子 ##

先看一个单继承的例子。

<table> 
 <tbody> 
 <tr> 
 <td> class B { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;B():m_b(0x13572468){} &nbsp;&nbsp;&nbsp;&nbsp;/* virtual */&nbsp;&nbsp;int b_fun(int) {&nbsp;&nbsp;//A &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;'B'&lt;&lt;std::endl; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int m_b; }; class D : public B { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D():m_d(0x24681357){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;virtual&nbsp;int foo(int) {&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// B &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;'D'&lt;&lt;std::endl;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int m_d; }; void test_consistent(B* pb, int (B::*pmf)(int)) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(pb-&gt;*pmf)(0x12345678); } void test_main(D *pd) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typedef int (B::*B_PMF)(int); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//test_consistent(pd, &amp;D::foo);&nbsp;&nbsp;error！ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_consistent(pd, static_cast&lt;B_PMF&gt;(&amp;D::foo)); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// crash in MSVC } &nbsp; int main() { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D d; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_main(&amp;d); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; } </td> 
 <td> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 这句话在Microsoft Visual C++6.0下面一运行就crash。&nbsp;表面上看我们传的指针是D的指针，函数也是D的函数。但实际上不是那么简单。函数调用的时候，pd赋值给pb，编译器会进行this指针调整，pb指向pd内部B的子对象。这样到了test_consistent函数内部的时候，就是用D::B对象调用D::foo函数，this指针不对，所以就crash了。 &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

上面这个问题，GCC能正确的进行处理。其实错误的原因不在于pb=pd指针赋值的时候，编译器将指针进行了调整，而在于在test\_consistent内，成员函数指针被调用的时候，应该将this指针再调整回去！这个问题又是由static\_cast的行为不适当引起的。

static\_cast<B\_PMF>(&D::foo)

这里的static\_cast, 是将D的成员函数指针强制转换为给B的成员函数指针。因为它是D的函数，虽然会经由B的指针或者对象调用，但是调用时this指针应该根据B的地址调整成D的首地址。所以经过static\_cast之后，这个成员函数指针应该为\{\_\_pfn, \_\_delta= -4 \}。（B被包含在D内部，所以这里是－4！） GCC正确的执行了这个cast，并且每次使用成员函数指针调用时都进行this指针调整， 所以没有问题。可是Microsoft的实现在这个地方却无能为力，为什么呢？就算static\_cast正确，在test\_consistent里面根本就不会进行this指针调整！ 因为它使用的其实是struct\{void \*vcall\_address;\}这个结构，根本不知道要进行this指针调整。

Microsoft在这里要做的是将一个struct pmf\_type2类型的对象，通过static\_cast转换成一个struct pmf\_type1的对象。这种转换根本不能成功，因为struct pmf\_type1要少一个成员delta.这样的转换会丢失信息。

当然我们不能怪Microsoft，C++语言本来就规定了不能这样用。不过Microsoft可以做得更好一点，至少可以不允许这样的static\_cast。（这样的用法, VC2005能够给出一个告警, 提示有可能产生不正确的代码!）

我们可以很简单的解决这个问题，在上面的代码中A处，把注释掉的virtual打开，也可以把B处的virtual注释掉，使得所有地方都无需进行this调整，问题也就不再出现了。

这个例子可能有些牵强，我们把上面的代码稍做修改，再举一个涉及到多继承的例子。

<table> 
 <tbody> 
 <tr> 
 <td> class B { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;B():m_b(0x13572468){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;virtual int b_fun(int)&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;"B "&lt;&lt;std::hex&lt;&lt;m_b&lt;&lt;std::endl; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int m_b; }; &nbsp; class B2 { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;B2():m_b2(0x24681357){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int b2_fun(int)&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;"B2 "&lt;&lt;std::hex&lt;&lt;m_b2&lt;&lt;std::endl; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int m_b2; }; &nbsp; class D :public B , public B2 { public: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D():m_d(0x24681357){} &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int foo(int) &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;std::cout&lt;&lt;"D "&lt;&lt;std::hex&lt;&lt;m_d&lt;&lt;std::endl;&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;} private: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;int m_d; }; &nbsp; &nbsp; void test_consistent(B* pb, int (B::*pmf)(int)) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(pb-&gt;*pmf)(0x12345678); } &nbsp; void test_main(D *pd) { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typedef int (B::*B_PMF)(int); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//test_consistent(pd, &amp;B2::b2_fun);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//A &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//test_consistent(pd, static_cast&lt;B_PMF&gt;(&amp;B2::b2_fun));&nbsp;&nbsp;// B &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;typedef int (D::*D_PMF)(int);&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// C &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D_PMF pmf = &amp;B2::b2_fun;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;// D &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_consistent(pd, static_cast&lt;B_PMF&gt;(pmf));&nbsp;// E&nbsp;结果错误！ } &nbsp; int main() { &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;D d; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;test_main(&amp;d); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;return 0; } </td> 
 <td> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; </td> 
 </tr> 
 <tr> 
 <td colspan="2"> &nbsp; </td> 
 </tr> 
 </tbody> 
</table>

先用Microsoft Visual C++进行测试。这段代码执行结果是错误的。（没有crash，比crash更糟）。先看注释A处，语法错误，VC给出了正确的编译错误。

B处，进行static\_cast, VC也能给出正确的编译错误，说int (B2::\*)(int)类型不能转换成int (B::\*)(int)类型。这也很好。

这样都不行，我们就绕一下，来个“智取”。先将int (B2::\*)(int)转换为int (D::\*)(int)。这个转换是C++标志规定必须实现的，属于基类成员函数指针赋值给继承类成员函数指针。然后再进一步使用static\_cast转换成int (B::\*)(int)类型。编译错误没有了。可是执行结果不正确！原因和上一个例子一样，this指针不能正确的进行调整。这里D类是需要进行this指针调整的，而B类，B2类都不需要调整，在test\_consistent中调用函数指针的时候，不会进行this指针调整，所以出现了错误。

这个例子，GCC表现也相当好。这都归根于GCC采用一致的成员函数指针的表示和实现!

在Microsoft新发布的Visual C++2005中, 上面的问题仍然存在。(再重复一下, 这不怪Microsoft, C++标准本来就不允许这样用。)

## 5.2 static\_cast干了些什么 ##

GCC里面，不同类型的成员函数指针使用static\_cast进行转换，就是计算出合适的\_\_delta值。

VC里面，使用static\_cast进行转换，做了什么?

## 5.3 默认的转换 ##

C++规定编译器必须提供一个从基类成员函数指针到继承类成员函数指针的默认转换。这个转换，最关键的地方，其实也是this指针调整。

## 5.4 教训 ##

从上面的例子，我们得到如下教训：

1） static\_cast不能随便用。

2） 一般情况下不要将继承类的成员函数指针赋值给基类成员函数指针。不同编译器可能有不同的表现。这可能导致潜在的可移植性问题。

## 5.5 如何避开陷阱 ##

现在我们明白了将C++运行时多态特性和C++成员函数指针合起来使用的时候，可能有些不够自然的地方，而且存在上面所描述的陷阱。这些陷阱都是因为this指针调整引起的。所以要避开这个陷阱，就要避开this指针调整，所以需要注意：

1） 不要使用static\_cast将继承类的成员函数指针赋值给基类成员函数指针，如果一定要使用，首先确定没有问题。（这条可能会限制代码的可扩展性。）

2） 如果一定要使用static\_cast, 注意不要使用多继承。

3） 如果一定要使用多继承的话，不要把一个基类的成员函数指针赋值给另一个基类的函数指针。

4） 单继承要么全部不使用虚函数，要么全部使用虚函数。不要使用非虚基类，却让子类包含虚函数。

最后，用Herb Sutter的话结个尾（如果我没记错的话）：do what you know，and know what you do！

参考书目

1） Modern C++ design, Andrei Alexandrescu

2） Inside the C++ Object model, Stanley B. lippman

3） C++ Common Knowledge: Essential Intermediate Programming, Stephen C. Dewhurst

4） The C++ Programming Language (special edition), Bjarne Stroustrup,

[http_blog.csdn.net_xlie_article_details_3031966_Toc133650388]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650388
[1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650381
[2]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650382
[3]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650383
[3.1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650384
[3.2]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650385
[3.2 1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650386
[4]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650387
[4.1.1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650389
[4.1.2 Vcall_addr]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650390
[4.1.3 This]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650391
[4.1.4]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650392
[4.2 GCC]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650393
[4.2.1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650394
[4.2.2]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650395
[5]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650396
[5.1]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650397
[5.2 static_cast]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650398
[5.3]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650399
[5.4]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650400
[5.5]: http://blog.csdn.net/xlie/article/details/3031966#_Toc133650401