多级继承和空基优化中的内存布局-解网

问：

请考虑以下继承：

struct Empty {};

struct A: Empty {
    int64_t a;
    int8_t b;
};

struct B: A {
    int32_t c;
};

在 GCC 和 Clang 上为 16，但在 MSVC 上为 24。如果从以下位置删除继承：BAEmpty

struct A {
    int64_t a;
    int8_t b;
};

struct B: A {
    int32_t c;
};

在所有 3 个编译器上，sizeof 突然变为 24。我猜这与空基优化有关，但我无法弄清楚这些类在不同情况和编译器中在内存中的实际布局（以及这样做的原因）。此外，我希望参考该标准，其中说明了多级继承中的 EBO。B

我试图在不同的继承场景中查看 GCC 和 Clang。在第一种情况下，它等于第二种情况下的 12 和 16，但我不明白为什么。offsetof(B, c)

C++ 继承 sizeof memory-layout

这似乎不是关于空基础优化，而是关于继承时的非 POD - 您可以在没有继承的情况下重现该行为，但例如声明析构函数：上面链接的规范说： - 我相信这就是答案：如果基类型是非 POD，它们会将其尾部填充用于继承的类数据。AEmptystruct A { ~A() {} .... };

We ignore tail padding for PODs because an early version of the standard did not allow us to use it for anything else and because it sometimes permits faster copying of the type.

0赞 Jesper Juhl 10/10/2023

这真的重要吗？这几个额外的字节对你来说会是个问题吗？

答： 暂无答案

上一个：将size_t分配给off_t会产生符号转换错误

下一个：关于 C++ 中的长度、偏移和填充的问题 [重复]

多级继承和空基优化中的内存布局

Memory layout in multilevel inheritance and empty base optimization

评论