C++一个空类的大小

#include <iostream>
using namespace std;
class A
{
    
};

int main()
{
    cout<<sizeof(A)<<endl;
}

经测试，这段代码在Xcode平台，以及Ubuntu平台下，则是结果均为1

C++标准指出，不允许一个对象（当然包括类对象）的大小为0，不同的对象不能具有相同的地址。这是由于：

• new需要分配不同的内存地址，不能分配内存大小为0的空间
• 避免除以 sizeof(T)时得到除以0错误

故使用一个字节来区分空类。

值得注意的是，这并不代表一个空的基类也需要加一个字节到子类中去。这种情况下，空类并不是独立的，它附属于子类。子类继承空类后，子类如果有自己的数据成员，而空基类的一个字节并不会加到子类中去。例如，

class Empty {};
struct D : public Empty {int a;};

sizeof(D)为4。

再来看另一种情况，一个类包含一个空类对象数据成员。

class Empty {};
class HoldsAnInt {
    int x;
    Empty e;
};

在大多数编译器中，你会发现 sizeof(HoldsAnInt) 输出为8。这是由于，Empty类的大小虽然为1，然而为了内存对齐，编译器会为HoldsAnInt额外加上一些字节，使得HoldsAnInt被放大到足够又可以存放一个int。