C++类,继承,多态的深入分析要点.docVIP

C++对象模型在内存中的实现Visual Studio 2010） j） jhanker@163.com 2016-04-26 网上一些有用的相关资料的整合，本质的篇幅较长，还希望能慢慢的品读如果有不理解的地方可以先看面的附录，的过程中可以边阅读调试附录中的调试代码相信的调试，分析理解您会对C++有更深层次的理解！ 对每个语言特性，我们将简要介绍该特性背后的动机，当然，本文决不是”C++入门”，大家对此要有充分认识，以及该特性在微软的 VC++中是如何实现的。这里要注意区分抽象的C++语言与其特定实现。微软之外的其他C++厂商可能提供一个完全不同的实现，我们偶尔也会将 VC++的实现与其他实现进行比较。 首先，我们顺次考察类，单继承，多重继承，以及虚继承的布局； 接着，我们讲成员变量和成员函数的访问已经访问时的开销情况 再接下来，我们考察构造函数，析构函数，以及特殊的赋值操作符成员函数是如何工作的，数组是如何动态构造和销毁的； 最后，简单地介绍对异常处理的支持。 1、类（class）布局 本节讨论不同的继承方式造成的不同内存布局。 1.1 类的存储”基本上”兼容C。特别地，C++规范在”类”上使用了和C”结构”相同的，简单的内存布局原则：成员变量按其被声明的顺序排列，按具体实现所规定的对齐原则在内存地址上对齐。所有的C/C++厂商都保证他们的C/C++编译器对于有效的C结构采用完全相同的布局。这里，A是一个简单的类，其成员布局和对齐方式都一目了然 class?A?{ public: char?c; int?i; }; （图1）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 爄nt燽m3;牋 8 爏tatic爄nt燽sm;牋 9 爒oid燽f();牋 10 爏tatic爒oid燽sf();牋 11 ?typedef?void*?bpv;牋 12 爏truct燦爗爙;牋 13 };全取决于一个类及其基类的成员变量！成员函数基本上 struct B { public: int bm1; protected: int bm2; private: int bm3; static int bsm; void bf(); static void bsf(); typedef void* bpv; struct N { }; }; ?; （图2）内存区域划分，见附1）1.2 单继承 C++ 提供继承的目的是在不同的类型之间提取共性。比如，科学家对物种进行分类，从而有种、属、纲等说法。有了这种层次结构，我们才可能将某些具备特定性质的东西归入到最合适的分类层次上，如”怀孩子的是哺乳动物”。由于这些属性可以被子类继承，所以，我们只要知道”鲸鱼、人”是哺乳动物，就可以方便地指出”鲸鱼、人都可以怀孩子”。那些特例，如鸭嘴兽（生蛋的哺乳动物），则要求我们对缺省的属性或行为进行覆盖。 C++中的继承语法很简单，在子类后加上”: public基类名（”就可以了。（附2. C++之继承与派生）代码见附4class?C?{ ??//类C public:?? 3 int?c1