C 14中标准布局类的定义

Question

C 14的[class]/7中定义了一个标准布局类，如下所示(重点是我的):

标准布局类是这样的类:

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

我关心的是与第7.5条相关的问题:怎么可能在大多数派生类中没有非静态数据成员，同时又有一个包含非静态数据成员的基类？

换句话说，基类的非静态数据成员不是也是最派生类的非静态数据成员吗？

Answer 1

是的，这是C 14，特别是CWG 1813中的一个缺陷。尽管可以通过读取“非静态数据成员”来修复它，以仅引用直接（非继承）非静态数据成员（这在其他地方可能是必要的），但选择的修复方法是将您发现有问题的语言替换为以下内容：

标准布局类是这样的类:[...]

• 类及其基类中的所有非静态数据成员和位字段首先在同一类中声明，[…]

这是一个有点棘手的权利；尽管[class.derived]具有以下特性，但是对于将继承成员视为派生类成员的想法还是有一些抵触:

除非在派生类中重新声明，否则基类的成员也被认为是派生类的成员。除构造函数之外的基类成员被称为被派生类继承。

尽管如此，在许多地方，直接和继承的非静态数据成员都将被视为特别调用继承的数据成员，例如在[类]中（在CWG 1672决议之后）：

8.6 -聚合或联合类型，在其元素或非静态数据成员(递归地包括子聚合或包含联合的元素或非静态数据成员)中包括上述类型之一，

或者在[basic.lval]中：

7.8 -如果X是非联合类类型，如果X没有(可能继承(第10条))非静态数据成员，则集合M(X)为空；[...]

同时，在许多地方，成员必须被理解为仅指直接成员才有意义；首先，并且只查看非静态数据成员（不是成员函数），[ /27]/3.2、[ /15.2]/5.1、[ /15.3]/4.6、[class.mem]/17、 /19、[特殊]/5、[class.ctor]/4.3、 /4.4、 /4.10、 /4.12、[class.dtor]/5.6、[class.base.init]/2、 /13.3、[class.copy]/12.2、 /12.4、 /18.2、 /25.2、 /25.4、 /26.3、expr.rel、[except.spec]/15.1.1.1、expr.const、dcl.constexpr都是“非静态数据成员”可以或应该有“直接”前缀的地方。

另一方面，在某些地方（例如在修改后的[class]中，或者在[class.copy]/23.2-23.3， /28中）“成员”被隐式地认为包括继承的成员，所以有点乱。