钻石型虚拟多重继承的C++对象内存模型
来源:互联网 发布:比较好的淘宝培训机构 编辑:程序博客网 时间:2024/04/28 01:53
关于C++对象内存布局的资料和书籍也有很多,比如陈皓老师的博客:
1、C++对象的内存布局(上)
2、C++对象的内存布局(下)
白杨:
RTTI、虚函数和虚基类的实现方式、开销分析及使用指导
左手为你画猜:
C++类对象内存模型与成员函数调用分析(上、中、下)
关于讲解C++对象内存模型最好的书应该是侯捷老师翻译的《深度探索C++对象内存模型》。
这两天在看其他书籍时,对C++中虚拟继承的实现机制不太理解,于是又重新翻回《深度探索C++对象内存模型》一书,并结合C++对象的内存布局(下)一文。在Visual Studio 2010下用“cl”编译器进行测试,查看虚拟多重继承下的C++对象内存模型。总结如下:
一、重复继承
所谓重复继承,即某个基类被间接地重复继承了多次。为方便对比说明,下面的代码采用了陈皓老师博客中C++类例子。
UML类图如下:
类继承的源代码如下,直接采用C++对象的内存布局(下)中的例子,相关解释已在原博客中详细说明,故在此不再赘述:
1 #include <iostream> 2 using namespace std; 3 4 class B 5 { 6 public: 7 int ib; 8 char cb; 9 public:10 B():ib(0),cb('B')11 {}12 virtual void f()13 {14 cout<<"B::f()"<<endl;15 }16 virtual void Bf()17 {18 cout<<"B::Bf()"<<endl;19 }20 };21 22 class B1:public B23 {24 public:25 int ib1;26 char cb1;27 public:28 B1():ib1(01),cb1('1'){}29 30 virtual void f()31 {32 cout<<"B1::f()"<<endl;33 }34 virtual void f1()35 {36 cout<<"B1::f1()"<<endl;37 }38 virtual void Bf1()39 {40 cout<<"B1::Bf1()"<<endl;41 }42 };43 44 class B2:public B45 {46 public:47 int ib2;48 char cb2;49 public:50 B2():ib2(10),cb2('2'){}51 virtual void f()52 {53 cout<<"B2::f()"<<endl;54 }55 virtual void f2()56 {57 cout<<"B2::f2()"<<endl;58 }59 virtual void Bf2()60 {61 cout<<"B2::Bf2()"<<endl;62 }63 };64 65 class D: public B1, public B266 {67 public:68 int id;69 char cd;70 public:71 D():id(100),cd('D'){}72 73 virtual void f()74 {75 cout<<"D::f()"<<endl;76 }77 virtual void f1()78 {79 cout<<"D::f1()"<<endl;80 }81 virtual void f2()82 {83 cout<<"D::f2()"<<endl;84 }85 virtual void Df()86 {87 cout<<"D::Df()"<<endl;88 }89 90 };91 int main(int argc, char *argv[])92 {93 D d;94 system("pause");95 return 0;96 }
在陈皓老师博客中,直接利用函数指针调用C++对象起始位置处虚函数表指针指向的虚函数表中的虚函数,以查看C++对象的内存模型。下面我们主要采用Visual Studio 2010 和 Visual C++下的“cl”编译器查看C++对象内存模型。
在Visual Studio 2010 IDE开发环境中,我们查看派生类D对象的内存模型。如下图所示:
从上两图我们可以基本看出:
1、派生类D对象d的内存布局中,由其基类依次组装而成,再加上派生类自己的成员变量。
2、其中基类布局依次按照在派生类中的声明顺序排列。
3、每个基类都有自己的虚函数表,指向虚函数表的指针_vfptr放置在最前面的位置。
为了再进一步了解重复继承中的C++对象内存模型,我们采用Visual C++下的“cl”编译器进行查看。
在“Microsoft Visual C++”的编译环境中,我们可以利用编译器“cl”、链接器“link”、可执行文件查看器“dumpbin”来查看Windows下可执行文件(COFF格式)的变量、函数怎么存储。
“cl”即Visual C++ 的编译器,即“Compiler”的缩写。在Visual Studio 2010安装完后,会有一个批处理文件用来建立运行这些工具所需要的环境。它位于开始/程序/Microsoft Visual Studio 2010/Visual Studio Tools/Viusual Studio 2010 Command Prompt,这样我们就可以利用命令行使用VC++的编译器了。
在“cl”编译器中有个编译选项可以查看C++类的内存布局,使用如下:打开Visual Studio的命令行提示符即Viusual Studio 2010 Command Prompt,按如下格式输入:
>cl [.cpp] /d1reportSingleClassLayout[classname]
d1reportSingleClassLayout可以查看源文件中所有类及结构体的内存布局,classname为类名,/d1reportSingleClassLayout[classname]之间没有空格。使用如下图所示:
使用cl编译器查看重复继承中的C++对象内存模型结果如下图所示:
从上图可以看出,编译器在实现时使用了字节对齐(Alignment),以实现在对象内存中存取更有效率。字节对齐就是将数值调整到某数的整数倍,在32位计算机中,通常Alignment为4bytes,以使bus的“运输量”达到最高效率。
可以看出,派生类D对象在内存中占有44个字节。
重复继承中的C++对象内部模型用图片表示如下:
从图中可以看出,在派生类D中,存在着两份基类B的成员实例,分别为ib和cb,所以在C++对象的内存布局(下)指出这样可能会出现二义性编译错误。我们可以指定类作用域符::进行限定来消除二义性,也可以在语言层面利用虚拟继承机制来解决。
二、钻石型多重虚拟继承
在《深度探索C++对象模型》中提到:一个virtual base class subobject只会在derived class中存在一份实体,不管它在class继承体系中出现多少次!
因此,虚拟继承的就是为了解决重复继承中多个间接父类的问题。钻石型的结构就是最经典的虚拟多重继承结构。
UML类图如下:
如上图,让B1和B2各自维护的一个B子对象,折叠成一个由D维护的单一的B子对象,并且还可以保存基类和派生类的指针之间的多态指定操作,这对于编译器实现来说,难度非常高。《深度探索C++对象模型》提到一般的实现方法如下所述:将D对象分割为两部分,一个不变局部和一个共享局部。不变局部中的数据,不管后继如何衍化,总是拥有固定的偏移量,所以这一部分数据可以被直接存取,至于共享局部,所表现的就是虚拟继承的基类子对象,这一部分的数据,其位置会因为每次的派生操作而有变化,所以它们是间接存取。
所以,一般的布局策略是安排好派生类对象的不变部分,然后再建立其共享部分。在接下来的分析可以看出,VC++编译器实现中,在每一个派生类对象中插入一些指针vbptr,每个指针指向一个虚拟继承的基类子对象。要存取继承得来的基类子对象,可以使用相关指针间接完成。
要实现虚拟继承,我们只需要在B1和B2继承B的语法中加入virtual关键字即可。实现代码如下:
使用cl编译器查看钻石型虚拟重复继承中的C++对象内存模型结果如下图所示:
从上图可以看出,虚拟重复继承中的派生类D对象在内存中占有52字节,比之前多了8个字节。
虚拟重复继承中的C++对象内部模型用图片表示如下:
从图中可以看出,VC++编译器在实现虚拟继承时,在派生类的对象中安插了两个vbptr指针。因此,对每个继承自虚基类的类实例,将增加一个隐藏的“虚基类表指针”(vbptr)成员变量,从而达到间接计算虚基类位置的目的。该变量指向一个全类共享的偏移量表,表中项目记录了对于该类而言,“虚基类表指针”与虚基类之间的偏移量。由上可以看出,B1虚基类表指针vbptr与虚基类B之间的偏移量是40字节,B2虚基类表指针vbptr与虚基类B之间的偏移量是24字节。第一项中-4的含义:表示的是vptr和vbptr的距离,如果B1中没有虚函数的定义,这个地方就会是0。vbptr就是存放在vptr下面的位置。
我们注意到在虚拟继承的C++对象内存布局中,还有一个4个字节的vtordisp字段,vtordisp在MSDN中这样解释:
Enables the addition of the hidden vtordisp construction/destruction displacement member. The vtordisp pragma is applicable only to code that uses virtual bases. If a derived class overrides a virtual function that it inherits from a virtual base class, and if a constructor or destructor for the derived class calls that function using a pointer to the virtual base class, the compiler may introduce additional hidden “vtordisp” fields into classes with virtual bases.
也就是说如果虚拟继承中派生类重写了基类的虚函数,并且在构造函数或者析构函数中使用指向基类的指针调用了该函数,编译器会为虚基类添加vtordisp域。
但在本例中,vtordisp为什么存在于C++派生类对象中,对象如何使用它,我却不得而知,希望向大家请教。
至此,我们已经分析完在VC++编译器实现中的重复继承和钻石型虚拟重复继承的C++对象内存模型。这篇博客也花了大概4个小时,时间挺久,但非常值得,希望大家多多指教。
转载和分享请注明出处。http://www.cnblogs.com/liu-jun/archive/2013/05/17/3083736.html
FROM: http://www.cnblogs.com/liu-jun/archive/2013/05/17/3083736.html?utm_source=tuicool&utm_medium=referral
- 钻石型虚拟多重继承的C++对象内存模型
- 钻石型虚拟多重继承的C++对象内存模型
- 钻石型继承模型的内存分布
- C++虚拟多重继承对象模型讨论
- C++ 对象的内存布局(多重虚拟继承)
- 多重继承的对象模型
- C++多重继承和虚拟继承对象模型、效率分析
- C++多重继承和虚拟继承对象模型、效率分析
- C++多重继承和虚拟继承对象模型、效率分析
- C++ - 多重继承和虚拟继承对象模型、效率分析
- 浅析GCC下C++多重继承 & 虚拟继承的对象内存布局
- 浅析GCC下C++多重继承 & 虚拟继承的对象内存布局 - 问笑
- 类对象内存布局,虚函数,虚拟继承和多重继承的实现
- 多重虚继承的内存模型分析
- C++对象模型:多重继承和虚继承的内存布局
- 多重继承和虚拟继承的内存布局
- 虚拟继承和多重继承中类对象的大小
- C++-继承:多重继承 && 虚拟继承
- spring4整合hibernate5.1
- jquery插件资源
- A PAINLESS GUIDE TO CRC ERROR DETECTION ALGORITHMS
- 前端开发我为什么选择cordova
- 1012 - Guilty Prince(无脑bfs)
- 钻石型虚拟多重继承的C++对象内存模型
- 关于Git和Github你不知道的十件事
- 宜信笔试题--编程题
- js 数组的push()问题
- EL操作符
- 我是怎么从顾虑到热爱ReactJS的(与AngularJS经典MVC数据绑定的对比)
- 第4讲 静态成员示例
- 添加pch 文件和 header文件
- 第十三章 类继承