将默认构造函数添加到基类会将sizeof()更改为派生类型

Question

我倾向于认为我对C++内部和内存布局有很好的把握,但这个让我感到困惑.我有以下测试代码:

#include <stdio.h>

struct Foo
{
    //Foo() {}
    int x;
    char y;
};

struct Bar : public Foo
{
    char z[3];
};

int main()
{
    printf( "Foo: %u Bar: %u\n", (unsigned)sizeof( Foo ), (unsigned)sizeof( Bar ) );
}

输出是合理的:

Foo:8 Bar:12

但是,这是非常奇怪的部分,如果我取消注释Foo()上的简单默认构造函数,sizeof(Bar)会发生变化!如何添加ctor可能会改变这些类的内存布局？

Foo:8 Bar:8

使用gcc-7.2编译

Answer 1

GCC遵循用于C ++的Itanium ABI，它可以防止POD的尾部填充用于存储派生类数据成员。

添加用户提供的构造函数意味着它Foo不再是POD，因此该限制不适用于Bar。

有关 ABI的更多详细信息，请参见此问题。