C++对象模型在内存中的实现资料.doc

 PAGE \* MERGEFORMAT 79 C++对象模型在内存中的实现 --基于微软VC++分析（Visual Studio 2010） jhanker（蒋李军）  HYPERLINK mailto:jhanker@163.com jhanker@163.com 2016-04-26 相关C++对象模型深入了解的文章在互联网上有很多版本。要么排版不清晰，要么缺少图示，严重的影响阅读效果！现对每一段代码的图示都增加了VC++2010环境下编译器输出的类的对象模型图（文中黑色背景的图），通过对网上一些有用的相关资料的整合，让读者能更加直观理解其本质。本文的篇幅较长，但还是希望您能慢慢的品读，如果有不理解的地方可以先看后面的附录，阅读的过程中可以边阅读边调试附录中的调试代码，相信通过仔细的调试，分析，理解，您将会对C++有更深层次的理解！ 一个C++程序员，想要进一步提升技术水平的话，应该多了解一些语言的细节。对于使用VC++的程序员来说，还应该了解一些VC++对于C++的诠释。本文是深入理解C++对象模型比较好的一个出发点。 了解你所使用的编程语言究竟是如何实现的，对于C++程序员可能特别有意义。首先，它可以去除我们对于所使用语言的神秘感，使我们不至于对于编译器干的活感到完全不可思议；尤其重要的是，它使我们在Debug和使用语言高级特性的时候，有更多的把握。当需要提高代码效率的时候，这些知识也能够很好地帮助我们。 对每个语言特性，我们将简要介绍该特性背后的动机，当然，本文决不是“C++入门”，大家对此要有充分认识，以及该特性在微软的 VC++中是如何实现的。这里要注意区分抽象的C++语言与其特定实现。微软之外的其他C++厂商可能提供一个完全不同的实现，我们偶尔也会将 VC++的实现与其他实现进行比较。 首先，我们顺次考察类，单继承，多重继承，以及虚继承的布局； 接着，我们讲成员变量和成员函数的访问已经访问时的开销情况，当然，这里面包含虚函数的情况； 再接下来，我们考察构造函数，析构函数，以及特殊的赋值操作符成员函数是如何工作的，数组是如何动态构造和销毁的； 最后，简单地介绍对异常处理的支持。 1、类（class）布局 本节讨论不同的继承方式造成的不同内存布局。 1.1 类的存储结构 由于C++基于C，所以C++也“基本上”兼容C。特别地，C++规范在“类”上使用了和C“结构”相同的，简单的内存布局原则：成员变量按其被声明的顺序排列，按具体实现所规定的对齐原则在内存地址上对齐。所有的C/C++厂商都保证他们的C/C++编译器对于有效的C结构采用完全相同的布局。这里，A是一个简单的类，其成员布局和对齐方式都一目了然 class?A?{ public: char?c; int?i; }; （图1） 从上图(左)可见，A在内存中占有8个字节，按照声明成员的顺序，前4个字节包含一个字符（实际占用1个字节，3个字节空着，补对齐），后4个字节包含一个整数。A的指针就指向字符开始字节处。 上图(右)为Visual Studio 2010 编译后在输出窗口中显示的内存分布情况。(项目—属性—配置属性—C/C++—命令行—其他选项中添加选项“/d1reportAllClassLayout”。再次编译时候，编译器会输出所有定义类的对象模型。由于输出的信息过多，我们可以使用“Ctrl+F”查找命令，找到对象模型的输出。)需要说明的是右图的 0 ,4 是相对字符开始地址的偏移地址。 当然了，C++不是复杂的C，C++本质上是面向对象的语言：包含 继承、封装，以及多态 。原始的C结构经过改造，成了面向对象世界的基石——类。除了成员变量外，C++类还可以封装成员函数和其他东西。然而，有趣的是，除非为了实现虚函数和虚继承引入的隐藏成员变量外，C++类实例的大小完全取决于一个类及其基类的成员变量！成员函数基本上不影响类实例的大小。 这里提供的B是有更多C++特征的类：控制成员可见性的“public/protected/private”关键字、成员函数、静态成员，以及嵌套的类型声明。虽然看着琳琅满目，实际上，只有成员变量才占用类实例的空间。有一点要注意的是，C++标准委员会不限制由“public/protected/private”关键字分开的各段在实现时的先后顺序，因此，不同的编译器实现的内存布局可能并不相同。（ 在VC++中，成员变量总是按照声明时的顺序排列）。 1 class?B?{ 2 public:?? 3? ?int?bm1;?? 4 protected:?? 5 ?int?bm2;?? 6 private:?? 7 ?i