空类大小为1字节，用于确保每个对象有唯一地址，支持取址、容器存储和实例区分；若为0字节会导致地址冲突、数组重叠及STL失效，编译器通过隐式插入占位字节实现，并在空基类继承时启用EBO优化。
空类的大小是1字节，是为了让每个对象在内存中有唯一的地址，从而支持取地址、放入容器、区分不同实例等基本操作。
空类为什么不能是0字节
如果空类大小为0，那么同一类型的多个对象就可能被分配到完全相同的地址上，这违反了C++标准中“每个对象必须有唯一地址”的要求。比如：
- 两个空类对象 A a1, a2; 若 size=0，则 &a1 == &a2 可能为真，无法区分；
- 数组 A arr[2]; 中 arr[0] 和 arr[1] 将重叠，违背数组元素连续且不重叠的语义；
- STL 容器（如 vector）依赖对象有明确大小和偏移，0字节会导致内存布局失效。
编译器如何实现：插入“占位字节”
编译器会在空类中隐式添加一个 char 类型的填充成员（通常叫“no-op byte”），使 sizeof(A) == 1。这个字节不参与任何逻辑，仅起占位作用：
- 它不改变类的接口、不参与构造/析构、不占用额外语义空间；
- 继承空基类时，多数编译器（如 GCC、Clang、MSVC）会启用空基类优化（EBO），避免重复填充；
- 例如：struct B : A { int x; }; 通常 sizeof(B) == 4（而非 1+4），因为 A 的占位字节被复用或省略。
对象内存模型的关键组成
C++对象的内存布局不是简单堆叠，而是由以下要素共同决定：
- 非静态数据成员：按声明顺序排列（但受对齐约束影响，可能插入填充）；
- 基类子对象：虚继承会引入虚基表指针（vbptr），普通继承可能触发 EBO；
- 虚函数表指针（vptr）：含虚函数的类在对象起始处隐式添加 vptr（通常 8 字节，64 位平台）；
- 对齐填充（padding）：确保每个成员按自身对齐要求存放，结构体总大小也需满足最大对齐数；
- 空类占位：最底层保障——即使什么都没有，也要有 1 字节锚点。
验证与常见误区
可以用 sizeof 和 offsetof 实际观察：
- struct X {}; → sizeof(X) == 1；
- struct Y { char c; }; → sizeof(Y) == 1（无额外填充）；
- struct Z { virtual void f(){} }; → sizeof(Z) == 8（含 vptr，无显式成员）；
- 注意：static 成员、typedef、using 别名不影响对象大小，它们不占实例内存。
