空结构体占1字节因C++要求每个对象有唯一地址，若为0字节则多个实例可能地址相同，破坏对象唯一性；该字节作占位符确保可寻址，且sizeof非零；内存对齐对其影响小，嵌套时通常不改变整体对齐；而空基类优化（EBCO）可使继承的空类不增额外开销，提升内存效率。
在C++中，一个空的结构体实例通常会占用1字节的内存空间。
解决方案
这看似反直觉，毕竟“空”意味着没有成员。但实际上，这个1字节并非用来存储任何数据，而是C++语言规范为了确保每个对象在内存中都拥有一个独一无二的地址。试想一下，如果一个空的结构体占用0字节，那么当你创建两个空的结构体实例时，它们可能会拥有完全相同的内存地址，这在C++的对象模型中是不可接受的。每个对象，无论大小，都必须是可寻址的，
sizeof运算符也需要能返回一个非零值。所以，这个最小的1字节，更像是一个占位符，一个“身份证明”，确保了每个独立存在的空结构体实例都能被唯一标识。这背后其实是编译器在遵循标准，提供一个最小的“足迹”来满足对象的唯一性要求。
为什么空的结构体不是0字节？
我第一次接触到这个问题时，也觉得有些奇怪。空的，不就应该什么都没有吗？但深入思考后，你会发现这其实是C++语言设计哲学中的一个精妙之处，或者说，是一个必要的妥协。核心原因在于，C++标准要求所有对象都必须拥有一个唯一的地址。如果一个空结构体占用0字节，那么当你像这样声明两个对象时：
struct Empty {};
Empty e1;
Empty e2;e1和
e2很可能就会被分配到相同的内存地址，因为它们都没有任何数据需要存储。这会带来一系列问题：你无法区分它们，对其中一个的操作可能会意外影响到另一个（尽管它们都没有可操作的数据成员），更重要的是，这会破坏指针和引用的基本语义。一个指针或引用必须指向一个明确的、唯一的内存位置。这个1字节，就像是给它在内存中划定了一个最小的“地盘”，一个锚点，确保它能够被正确地定位和区分。这并非为了存储，而是为了“存在”。
立即学习“C++免费学习笔记（深入）”；
结构体内存对齐对空结构体有影响吗？
关于内存对齐，它主要关注的是结构体成员如何排列以及结构体整体如何对齐，以优化访问速度。对于一个空的结构体本身，它的对齐要求通常是1字节，因为它的“大小”就是1字节。这意味着它可以在内存中的任何地址开始。
然而，当一个空结构体被嵌套到另一个结构体中时，情况会稍微有趣一些。例如：
1、什么是店中店？店中店是全诚商多用户版的一大特色，它既是独立的个体，又具有群集功能。我们做个例子说明：假设尊贵的您现实生活中租赁了一个店面，店面空间很大，您可以把您的店面分割成很多独立空间再向别人转租，这样您可以额外获得一部分租赁费用收入，借以减少你的个人租赁费用投入，还能起到活跃销售场所的气氛，俗话说：货卖一堆吗。你租赁的店面可以完全分割成很多空间向外转租，也可以自己保留一块空间为自己销售商品
struct Empty {};
struct ContainingStruct {
char c;
Empty e;
int i;
};在这种情况下，
Empty e仍然会占用1字节。
ContainingStruct的整体大小和对齐规则会由其成员的类型（
char,
Empty,
int）以及它们的对齐要求共同决定。
Empty e的1字节大小和1字节对齐要求，通常不会成为影响整个
ContainingStruct对齐的关键因素，因为
int（通常4字节）会有更严格的对齐要求。编译器会为了
int成员的对齐而插入填充字节。
Empty的1字节只是占据了它自己的位置，并不会额外引入大的对齐开销。所以，可以说它有影响，但这种影响是最小的，通常不会改变整体结构体的对齐边界，更多的是在计算偏移量时被考虑进去。
空基类优化（EBCO）与空结构体
这里有一个非常重要的概念，叫做“空基类优化”（Empty Base Class Optimization, EBCO），它和我们讨论的空结构体有着直接但又有所区别的联系。我们已经知道，一个独立的空结构体实例会占用1字节。但是，当一个空结构体被用作另一个类的基类时，现代C++编译器（尤其是在支持C++11及更高标准的编译器中）通常会进行EBCO。
这意味着什么呢？简单来说，如果一个派生类继承自一个空基类（比如我们的
Empty结构体），并且这个空基类没有非静态数据成员，那么编译器可能会将这个空基类的数据成员（虽然它没有）“折叠”到派生类中，使得它不占用额外的内存空间。换句话说，空基类可能不会导致派生类的大小增加1字节。
考虑以下例子：
struct Empty {}; // 占用1字节
struct Derived : Empty {
int x;
}; // 假设int占用4字节如果没有EBCO，
Derived的大小可能会是
sizeof(Empty) + sizeof(int)，即
1 + 4 = 5字节，再加上可能的对齐填充，最终可能是8字节。但有了EBCO，
Derived的大小通常就只是
sizeof(int)，即4字节（因为
Empty可以被优化掉，不占用独立空间），或者在对齐后仍然是4字节。
#includestruct Empty {}; struct NonEmpty { char c; }; struct DerivedFromEmpty : Empty { int x; }; struct DerivedFromNonEmpty : NonEmpty { int x; }; int main() { std::cout << "sizeof(Empty): " << sizeof(Empty) << std::endl; // 通常是1 std::cout << "sizeof(NonEmpty): " << sizeof(NonEmpty) << std::endl; // 通常是1 std::cout << "sizeof(DerivedFromEmpty): " << sizeof(DerivedFromEmpty) << std::endl; // 可能是4 (EBCO) std::cout << "sizeof(DerivedFromNonEmpty): " << sizeof(DerivedFromNonEmpty) << std::endl; // 可能是8 (1 + 4 + padding) return 0; }
在支持EBCO的编译器上，
sizeof(DerivedFromEmpty)通常会是4字节。这表明，虽然一个独立的空结构体必须有自己的地址，但在作为基类时，编译器有能力进行优化，将它的“存在”融入到派生类的布局中，避免了额外的内存开销。这是一个非常实用的优化，尤其在模板元编程和某些设计模式中，能够有效减少内存占用。
