C++中一个空的结构体实例占用多少内存空间-C++-PHP中文网

C++中一个空的结构体实例占用多少内存空间

P粉602998670

发布： 2025-09-10 10:40:01

原创

599人浏览过

空结构体占1字节因C++要求每个对象有唯一地址，若为0字节则多个实例可能地址相同，破坏对象唯一性；该字节作占位符确保可寻址，且sizeof非零；内存对齐对其影响小，嵌套时通常不改变整体对齐；而空基类优化（EBCO）可使继承的空类不增额外开销，提升内存效率。

c++中一个空的结构体实例占用多少内存空间

在C++中，一个空的结构体实例通常会占用1字节的内存空间。

解决方案

这看似反直觉，毕竟“空”意味着没有成员。但实际上，这个1字节并非用来存储任何数据，而是C++语言规范为了确保每个对象在内存中都拥有一个独一无二的地址。试想一下，如果一个空的结构体占用0字节，那么当你创建两个空的结构体实例时，它们可能会拥有完全相同的内存地址，这在C++的对象模型中是不可接受的。每个对象，无论大小，都必须是可寻址的，

sizeof

登录后复制

运算符也需要能返回一个非零值。所以，这个最小的1字节，更像是一个占位符，一个“身份证明”，确保了每个独立存在的空结构体实例都能被唯一标识。这背后其实是编译器在遵循标准，提供一个最小的“足迹”来满足对象的唯一性要求。

为什么空的结构体不是0字节？

我第一次接触到这个问题时，也觉得有些奇怪。空的，不就应该什么都没有吗？但深入思考后，你会发现这其实是C++语言设计哲学中的一个精妙之处，或者说，是一个必要的妥协。核心原因在于，C++标准要求所有对象都必须拥有一个唯一的地址。如果一个空结构体占用0字节，那么当你像这样声明两个对象时：

struct Empty {};
Empty e1;
Empty e2;

登录后复制

e1

登录后复制

和

e2

登录后复制

很可能就会被分配到相同的内存地址，因为它们都没有任何数据需要存储。这会带来一系列问题：你无法区分它们，对其中一个的操作可能会意外影响到另一个（尽管它们都没有可操作的数据成员），更重要的是，这会破坏指针和引用的基本语义。一个指针或引用必须指向一个明确的、唯一的内存位置。这个1字节，就像是给它在内存中划定了一个最小的“地盘”，一个锚点，确保它能够被正确地定位和区分。这并非为了存储，而是为了“存在”。

立即学习“C++免费学习笔记（深入）”；

结构体内存对齐对空结构体有影响吗？

关于内存对齐，它主要关注的是结构体成员如何排列以及结构体整体如何对齐，以优化访问速度。对于一个空的结构体本身，它的对齐要求通常是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字节。

#include <iostream>

struct 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的编译器上，