C++中虚函数调用采用所谓的虚函数表（vtable）实现，对于简单的单继承，其实现如下图所示：（其中ClassA为ClassB的基类，详见深入浅出MFC P68）
对于这种情况，显然可以想到，vtable直接定位到对象的函数即可
你也许会想到：C++支持多继承，在多继承的情况下，vatble以及内存布局该如何实现？
以下也许就是你想要的答案
代码：C继承于A和B，运行环境VC6.0
|
class A class B class C:public A,public B void A::show()...{} int main() A a; a.a=1; cout<<"a="<<&a<<endl; A* pa; cout<<"pa="<<pa<<endl; pa->show(); int *p=(int *)&c; while((int)p <= (int)&a.b) return 0; |
程序输出：
从程序输出可以看出：对于多重继承，类C包含两个vtable指针（或者说两个对象，一个A，一个B）
子类是否多继承不会对父类造成影响（对父类来说与单继承相同）
所以这里需要再考虑的就是子类如何实现：如何跳转，this指针如何处理
（这里需要先提一下，在VC6下，C++对象的this指针是通过ECX传入）
汇编下单步调试代码： pa->show（）； pb->show（）；
| 62: pa->show(); 00401B34 mov eax,dword ptr [ebp-3Ch] 00401B37 mov edx,dword ptr [eax] 00401B39 mov esi,esp 00401B3B mov ecx,dword ptr [ebp-3Ch] 00401B3E call dword ptr [edx] 00401B40 cmp esi,esp 00401B42 call __chkesp (00421520) 63: pb->show(); 00401B47 mov eax,dword ptr [ebp-40h] 00401B4A mov edx,dword ptr [eax] 00401B4C mov esi,esp 00401B4E mov ecx,dword ptr [ebp-40h] 00401B51 call dword ptr [edx] 00401B53 cmp esi,esp 00401B55 call __chkesp (00421520) |
pa->show（）；
00401B3B mov ecx，dword ptr [ebp-3Ch] //将this指针保存到ECX，值为0012FF48==&a==&c
00401B3E call dword ptr [edx] //F11单步进入：004012E9 jmp C：：show （00401880）
即直接调用C：：show（00401880），因为ECX值为0012FF48=&a=&c，所以这里不会有问题
pb->show（）；
00401B4E mov ecx，dword ptr [ebp-40h] //将this指针保存到ECX，值为0012FF54==&a ！= &c
00401B51 call dword ptr [edx] //F11单步进入：004011F9 jmp C：：show （00407710）
这里的jmp C：：show （00407710），显然与pa->show（）处理方式不同
再单步得到：
C：：show：
00407710 sub ecx，0Ch //调整ECX即this，值为0012FF48==&c
00407713 jmp @ILT+740（C：：show） （004012e9）
004012E9 jmp C：：show （00401880） //跳转到真正的C：：show，同上面的pa->show（）
wf
到这了可以得到这样的结论，对于多重继承vtable表中指针没有直接指向所要求的函数，而是指向调整ECX（即this指针）的代码，再间接跳转到所要求的函数
相关C++语言中多重继承下的虚函数调用