深度探索C++对象模型——Data语意学

深度探索C++对象模型——Data语意学

一个空class与继承的相关讨论

class X {
   };    //sizeof(X)的大小为1
class Y: public virtual X {
   };//sizeof(Y)的大小为8
class Z: public virtual X {
   };//sizeof(Z)的大小为8
class A: public Y,public Z {
   };//sizeof(A)的大小为12

1）X的大小为1的原因：空class并不是空的，编译器给其存放由1 byte大小的char；

2）Y、Z大小为8的原因：其大小与机器有关；

• 语言本身造成的额外负担：有一个执行virtual base class的指针4byte
• 编译器对特殊情况所提供的优化处理
• Alignment的限制：对齐的限制。本来Y和Z大小为5 byte，编译器对其进行补齐，补上了3 byte，成为8 byte。
  

    有的编译器会对empty virtual base class进行特殊优化，不加上那1 byte的char。这式上图的1,3 byte 就没有了，Y、Z的大小为4 byte。

3）A的大小为12的原因：一个virtual base class subobject 只会在derived class中存在一份实例。

3.1 Data Memeber 的绑定

3.2 Data Member 的布局

    Nonstatic data memeber 在class object 中的排列顺序将和其被声明的顺序一样；任何介入其中的 static data member都不会被放进对象布局中。static data member是放在data segment中的，与个别class object无关。
    C++标准要求，在同一个access section （也就是private、public、protected）中，members的排列只需要符合“较晚出现的members在class object中有较高的地址”。边界调整、对象内部的data member（vptr）等会介于声明的members之间。C++允许多个access section之中的data member 只有排列。

class Point3d {
    //xyz在class object 中的顺序与声明一样
public:
	...
private:
	float x;
	static List<Point3d*> *freeList;
	float y;
	static const int chunkSize = 250;
	float z;
};
class Point3d1 {
    //该class的大小与上一个一样；
public:          //xyz在class object 中的顺序与编译器有关
	...
private:
	float x;
	static List<Point3d*> *freeList;
private:
	float y;
	static const int chunkSize = 250;
private:
	float<