多重继承下的虚函数调用
来源:互联网 发布:淘宝店铺推广公司 编辑:程序博客网 时间:2024/05/16 15:38
C++中虚函数调用采用所谓的虚函数表(vtable)实现,对于简单的单继承,其实现如下图所示:
(其中ClassA为ClassB的基类,详见深入浅出MFC P68)
对于这种情况,显然可以想到,vtable直接定位到对象的函数即可
你也许会想到:C++支持多继承,在多继承的情况下,vatble以及内存布局该如何实现?
以下也许就是你想要的答案
代码:C继承于A和B,运行环境VC6.0
...{
public:
int a, b;
virtual void show();
};
class B
...{
public:
int a, b;
virtual void show();
};
class C:public A,public B
...{
public:
int a, b;
virtual void show();
};
void A::show()...{}
void B::show()...{}
void C::show()...{ cout<<"c.a="<<a<<", c.b="<<b<<endl;}
int main()
...{
cout<<"a.size="<<sizeof(A)<<endl;
cout<<"b.size="<<sizeof(B)<<endl;
cout<<"c.size="<<sizeof(C)<<endl;
A a;
B b;
C c;
a.a=1;
a.b=2;
b.a=3;
b.b=4;
c.a=5;
c.b=6;
cout<<"a="<<&a<<endl;
cout<<"b="<<&b<<endl;
cout<<"c="<<&c<<endl;
A* pa;
B* pb;
pa = &c;
pb = &c;
cout<<"pa="<<pa<<endl;
cout<<"pb="<<pb<<endl;
pa->show();
pb->show();
int *p=(int *)&c;
while((int)p <= (int)&a.b)
...{
cout<<p<<" "<<*p<<endl;
p++;
}
return 0;
}
程序输出:
从程序输出可以看出:
对于多重继承,类C包含两个vtable指针(或者说两个对象,一个A,一个B)
子类是否多继承不会对父类造成影响(对父类来说与单继承相同)
所以这里需要再考虑的就是子类如何实现:如何跳转,this指针如何处理
(这里需要先提一下,在VC6下,C++对象的this指针是通过ECX传入)
汇编下单步调试代码: pa->show(); pb->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)
关键的4行:
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()
到这了可以得到这样的结论,对于多重继承
vtable表中指针没有直接指向所要求的函数,而是指向调整ECX(即this指针)的代码,再间接跳转到所要求的函数
- 多重继承下的虚函数调用
- 多重继承下的虚函数调用~
- 多重继承下的虚函数调用~
- c++ 下的多重继承虚函数调用问题
- 多重继承下的虚函数表
- c++多重继承下虚函数的this指针问题
- 关于c++多重继承下的函数调用注意的问题
- 虚函数 多重继承的构造函数的调用,虚函数地址的找法
- C++中多重继承构造函数调用的先后顺序
- 多重继承下的虚表访问
- C++在多重继承中调用虚函数
- C++在多重继承中调用虚函数
- 虚基类和多重继承下构造函数的顺序
- C++多重继承下的函数动态绑定问题分析
- C++ 多重继承时,构造函数调用秩序,有虚继承时,基类只调用几次?
- 虚继承下的多重继承内存布局
- 多重继承、虚继承下的this指针偏移
- 虚函数: 多重继承下派生类对象的内存结构
- sql 锁
- 【技术】Nokia 5700 提示“插入SIM卡”的解决方案
- 素 书
- 在WEB上发展,还是在C#,或者C++/C,还或者Linux???
- 在 Visual Studio 中创建主/详细信息网页
- 多重继承下的虚函数调用
- UP
- 非捕获组的详解!
- Eclipse3.2.1+jboss4.0.5开发J2EE中的EJB(无状态会话Bean 附图)
- 正则表达式教程!
- 养成好的编程习惯
- 面向对象原则
- BIOS(基本输入输出系统)完全解读
- 数据库存储大对象