为何编译器为栈上的MyClass对象分配超出sizeof(MyClass)的空间？

算力阿峰

2026-5-21

聊聊C++空类大小的“矛盾”细节

我一直觉得C++里空类大小的规定有点微妙的“矛盾”感，今天来拆解一下：

C++标准明确禁止零大小的独立对象，这点其实很好理解——要是允许的话，两个不同的对象很可能会共享同一个内存地址，这会给对象的标识、内存管理带来一堆麻烦，所以空类的大小至少得是1字节。

我写了个简单的测试程序验证这个逻辑：

#include <iostream>
using namespace std;

class MyClass {};

int main() {
    MyClass myClassInstance;
    std::cout << sizeof(MyClass);
    return 0;
}

运行结果完全符合预期，sizeof(MyClass)输出的就是1字节。

不过这里有个容易让人困惑的点：编译器支持空基类优化（Empty Base Optimization, EBO）——当一个空类作为基类时，编译器会把它的“占位字节”优化掉，不会给它分配额外的内存空间。比如下面这段代码：

#include <iostream>
using namespace std;

class EmptyBase {};
class Derived : public EmptyBase {
    int x;
};

int main() {
    cout << sizeof(Derived) << endl; // 通常输出4，而非4+1=5
    return 0;
}

这时候你会发现，Derived的大小等于int的大小，并没有加上空基类的1字节。这看起来和之前“空类大小至少1字节”的结论矛盾，但其实是标准允许的特殊优化：基类子对象并不是一个独立的对象，它不需要拥有唯一的内存地址标识，所以编译器可以安全地把它的空间优化掉，避免不必要的内存浪费。

总结一下这两个看似矛盾的点：