前段时间想到一个关于空类的问题,示例代码如下:
class Base { }; class Derived: public Base { public: virtual void fun(); };
sizeof(Derived)在gcc 4.8.4编译器下输出的是8。一个空对象为什么会占用这么大的内存空间?
下面我们来讨论下这个问题。
首先是语言本身造成的额外负担。C++的多态是通过虚函数表实现的。因此会在对象中插入一个指向虚函数表的指针,所以这个指针占了4字节的空间。
其次编译器对于特殊情况所提供的优化处理。Base对象虽然是空对象,但为了标识这个空对象和其他空对象的区别,所以需要1 byte来作为区分 。因为C++标准保证“出现在子类中的基类子对象要保持其原样完整性”,所以Base对象的1 byte也出现在Derived对象中。
最后对齐处理。虽然基类的1 byte加上子类的4 bytes是5 bytes的空间,但为了更有效的存取内存数据,会对基类的1字节进行对齐就是填补3 bytes,所以最终的结果是8 bytes。
当然这个大小和机器有关,也和编译器也有关。比如visual studio 2015 输出的是4 bytes。