为什么空类的大小是1

我们可能都知道，C++中空类的大小是1。

#include <iostream>

class EmptyA {};

int main() {
    std::cout << "sizeof EmptyA " << sizeof(EmptyA) << std::endl;
    return 0;
};

结果如下：

sizeof EmptyA 1

然而在C语言中空结构体的大小是0，空结构体大小是0我们貌似可以理解，但为什么到C++中，空类的大小却是1呢？

原因如下：

实际上，这是类结构体实例化的原因，空的类或结构体同样可以被实例化，如果定义对空的类或者结构体取sizeof()的值为0，那么该空的类或结构体实例化出很多实例时，在内存地址上就不能区分该类实例化出的实例，所以，为了实现每个实例在内存中都有一个独一无二的地址，编译器往往会给一个空类隐含的加一个字节，这样空类在实例化后在内存得到了独一无二的地址，所以空类所占的内存大小是1个字节。

 如果现在有这样一种情况

#include <iostream>

class EmptyA {};

class B : public EmptyA {
    int b;
};

int main() {
    std::cout << "sizeof B " << sizeof(B) << std::endl;
    return 0;
};

结果如下 

sizeof B 4

我们可以看到，B并没有继承空类A的1个字节的大小，这是因为继承空类会给子类产生额外的大小，所以子类如果继承空类，并不会产生额外的大小，它的大小还是子类本身的大小。