Data语意学 - 类的大小应该是多少？ （The Semantics of Data ）

以下程序运行在64位机上，使用Xcode7.0.1，一个指针8字节。

类的大小应该是多少？

一个空的类的对象大小是多少？一个对象必须要在内存中占有一定的位置以表明他是存在的。

class X{
};

所有编译器会在class X 的声明中加入一个隐藏的1 byte大小的char，使得这一class的object在内存中拥有独一无二的地址。所以X对象的大小应是1byte.
在大部分机器上，聚合的结构体大小会受到data alignment（内存对齐）的限制。所以我认为X的大小应该是4byte（alignment为4时），但实际测试X的大小确实为1，为什么不需要内存对齐？？？
那么Y和Z呢？

class Y: public virtual X{};
class Z: public virtual X{};

当语言支持virtual base classes时，会在derived class中添加一个指向virtual base class subobject的指针，或指向一个相关表格，表格中存放virtual base class subobject的地址或其offset.
所有Y和Z中可能有：
一个1byte的char;
一个8byte指向virtual base class subobject的指针;
其中1btye是否是需要的？已经有8byte的用了标明对象的真实存在的，所有这1byte是可以省略的，很多新的编译器对此提供了特殊的处理。
所以class Y和Z对象的大小应是8byte.

class A: public Y, public Z{};

A的大小应该是多少？
一个virtual base class subobject 只会在derived class中存在一份实例，不管他在class继承体系中出现了多少次.
所有A中应该有：
被大家共享的唯一一个class X实例，1byte
base classY 的大小+base classZ的大小 - 一个virtual base class subobject指针的大小。8byte
classA自己的大小，0byte
内存对齐所需的大小。
结果为12byte