C 14中[类]/7中项目符号点（7.5）的目的是什么？

Question

这基本上是我之前问题的延续。

这是C 14中的[class]/7:

标准布局类是这样的类:

• （7.1）-没有非标准布局类（或此类类型的数组）或引用类型的非静态数据成员，
• （7.2）-没有虚拟函数（10.3）和虚拟基类（10.1），
• （7.3）-对所有非静态数据成员具有相同的访问控制（第11条），
• （7.4）-没有非标准布局基类，
• （7.5）-在大多数派生类中没有非静态数据成员，并且最多有一个基类具有非静态数据元素，或者没有具有非静态元素的基类，并且
• （7.6）-没有与第一个非静态数据成员相同类型的基类

请考虑以下代码段：

struct B{ int i; };
struct A : B{ int j; };

A满足要点（7.1）到（7.4），但不满足（7.5），因为A有一个非静态数据成员，并且有一个基类和一个非动态数据成员。

A是标准布局类的问题是什么？

编辑

据我所知，对于这个问题被认为是欺骗的问题的公认答案，如果我尝试将指向A的指针投射到基类B的第一个数据成员并返回，则上面的代码段将具有未定义的行为，因为OP编写的这句话：

< code >在一个类中，根据声明顺序以递增的地址分配成员。然而，C并没有规定跨类的数据成员的分配顺序。

但这似乎没有回答我的问题。例如，假设在某个编译器实现中，baseB将在内存中跟随struct A，而不是在它之前。但这将与一个事实相矛盾，即根据[conv.ptr]/3，从指向派生类的指针到指向基类的指针存在隐式转换：

“指向cv D的指针”类型的prvalue，其中D是一个类类型，可以转换为“指向cv B的指针”类型的prvalue，其中B是D的基类(第10条)。

也就是说，如果基 B 在内存中跟随结构 A，则上述隐式转换将无效。

Answer 1

直接回答以下问题：

这个项目符号的目的是允许非常简单的继承情况，其中只有一个类具有数据成员。

继承的数据布局是未指定的，因此标准可以完全禁止继承，但如果一个类没有数据将结果视为标准布局，则标准会例外。