为什么具有多个公共访问说明符的类是standard_layout？

Question

我只是在玩 g++，我发现了

#include <type_traits>

class Foo {
public: int x;
public: char y;
public: double z;
};

static_assert(std::is_standard_layout<Foo>::value, "Foo is not standard layout");

int main() {}

编译得很好。

根据this 的回答，data members across access specifiers may be reordered in memory。所以没有保证x 必须是Foo 的第一个成员，当实际布置在内存中时。我定义Foo、y 的方式实际上可能是第一个元素，对吧？

我认为标准布局意味着您可以或多或少地了解给定类型的字节是如何布局的。允许以任意方式重新排序标准布局类型中的字段对我来说似乎违反直觉。为什么允许这样做？

Answer 1

结构的所有成员都具有相同的访问说明符：public。关键字出现在每个班级成员之前这一事实无关紧要。这相当于public 访问说明符在所有类成员之前出现一次。