class a{};class b{};class c:public a,public b{}; 其中sizeof(c)为多少？为什么？

Question

class d:public a{virtual void func()=0};
class e:public b,public d{};
其中sizeof(e)为8
若其中d类不继承a类，那么sizeof(e)却为4
这是为什么

Answer 1

c类继承a、b类，由于 a类 没成员，b类 也没成员， c 也没新成员，所以 编译器把 sizeof(a),sizeof(b),sizeof(c) 都处理成 1。

假定a,b 有成员，就不同了，例如
class a{double x;} -- 8 bytes
class b(int y;} -- 4 bytes
sizeof(c) 就是 16 bytes
编译器 有自己的处理方法，有时说不出多大的道理。

追问

关键是与这个的区别class d:public a{virtual void func()=0}; class e:public b,public d{};中的e大小为什么不是4呢

追答

class a{virtual void func()=0;}; class b{};
class d:public a{virtual void func()=0;};
class e:public b,public d{};
这样就是4了。
前面若写 class a{ }; 就不一样了。编译器 有自己的处理方法，说不出多大的道理。

追问

其实我的追问里面是8，1+4，然后字节对齐，但是如果类d没有继承a 那么e的大小才是4，但是完全找不到原理

追答

字节对齐 有时8，有时16，也有时 4。
说是 用宏 #pragma pack()， 用pack(参数）可以调整对齐大小，实际上 有时 编译器 还是不听指挥。确实找不到原理。

Answer 2

事实上，a、b、c都并不是空的，它们“有一个隐晦的1byte，那是被编译器安插进去的一个char。这使得这个class（笔者注：这里指的是a、b或c）的两个objects得以在内存中配置独一无二的地址”，以上这句话摘自侯捷翻译的Stanley著的《深入探索C++对象模型》一书的第84页。

上面的教科书式描述显得很拗口，通俗地说，就是内存不会为空对象分配空间，不带任何成员的类在生成对象时，编译器为了给它分配内存，强制地在该对象中插入了一个字节，以确保该类能够在内存中分配对象；如果该类含有虚拟函数，那么这一byte将不在被分配，因为此时该类具有一个字长的指向虚函数表的指针，对于带有虚函数而不具有任何数据成员的类，它的大小是4个字节（通常情况下），也就是一个内存地址的长度

追问

你说的这些我是知道的，但是请看我补充的问题，关键是这两种情况为什么会有区别

Answer 3

1
c类继承a、b类，但是c类是空类，sizeof(c)求的是空类的字节数。
空类被实例化，编译器隐含添加一个字节的内容，作为唯一地址。

追问

实例化的时候添加？那class d:public a{virtual void func()=0}; class e:public b,public d{};中的e大小为什么不是4呢