读《深度探索C++对象模型》之分层继承对于内存布局的影响

请看以下代码：

class Concrete
{
public:
private:
	int val;
	char c1;
	char c2;
	char c3;
};

我在我的电脑上运行，求得的类Concrete的大小为8byte，我想还是符合我们的预期（val：4byte, c1 : 1byte, c2 : 1byte, c3: 1byte），在加上字节对齐的一个字节，刚好是8byte。

那如果我为了酷炫，改成以下的继承方式，对于空间会有什么影响呢。

class Concrete1
{
public:
private:
	int val;
	char c1;
};

class Concrete2 : public Concrete1
{
public:
private:
	char c2;
};

class Concrete3 : public Concrete2
{
private:
	char c3;
};

那么求得的空间大小又是如何呢。

竟然是上面的2倍。那么为什么是这样呢。

因为C++标准规定：

出现在继承类中的基类对象有其完整性。

那么我们分析一下，Concrete1的对象，其内含两个数据成员：val 和c1，加起来是5byte，加上字节对齐是8byte。

Concrete2 加上Concrete1的数据，再加上1byte，刚好是8+1=9byte，加上字节对齐是12byte.

Concrete3加上Concrete2的对象再加上1byte，刚好是12+1=13byte，加上字节对齐是16byte。

那为什么我们在Concrete2和Concrete3的1byte不加到Concrete1对象上呢。

正是为了满足C++的保证。

我们举个例子来说明，

假如有以下代码：

	Concrete2 *p2 = new Concrete2;
	Concrete1 *p1 = p2;

将p2的对象赋给p1，理论上来说，是执行的memberwise的赋值操作（拷贝），那么如果我们的Concrete2的1byte对象跟Concrete1的对象绑定在一起，就是填充到Concrete1对齐的3个字节上，那么p1的数据也包含Concrete2的1byte，那么这样就错了。