单个成员结构的对齐和大小保证

Question

给定一个（可能是非 POD）struct，它只有一个成员，没有继承，也没有虚拟方法：

struct Foo {
    Bar value;

    Foo() { /* do something */ }
};

C++ 是否保证Foo 与Bar 具有相同的对齐方式和sizeof？如果不是，那么可以提供哪些保证？当我将Bar 修复为特定类型（POD、基本类型、...）时，是否可以提供一些保证？

Answer 1

没有这样的保证。特别是，编译器很可能会填充到value 成员的末尾。它们不必具有相同的对齐要求。

你可以保证

1. 第一个成员value的地址与结构体的地址相同。

2. sizeof(Foo) 不小于sizeof(Bar)（否则指针运算会严重中断）。