为什么这个派生类不是标准布局类？

Question

为什么C 17下< code>bar不是标准的布局类型？

#include <type_traits>

class foo {
    int x;
};

static_assert(std::is_standard_layout<foo>::value);

class bar : public foo {
    float y;
};

static_assert(std::is_standard_layout<bar>::value); // "static assertion failed"

基于CPP reference的描述和一个非常相似的问题，我理解为什么在C 14之前这不是一个标准的布局类型，但是我无法连接CPP Reference的描述项，通过排除所有其他内容，应该是适用于这里的一个:“没有一个基类子对象具有与非联合类型相同的类型，作为第一个非静态数据成员(参见空基优化)，并且，递归地， 该数据成员的第一个非静态数据成员(如果它具有非联合类类型)，或者该数据成员的所有非静态数据成员(如果它具有联合类型)，或者该数据成员的元素(如果它具有数组类型)，等等

Answer 1

< code>bar不满足您引用的要求之前的要求(来自标准布局类别的cppreference.com页面):

要求：

>

[...]

将所有非静态数据成员和位字段声明在同一个类中（要么全部在派生中，要么全部在某个基中）

[...]

bar 具有一个直接的非静态数据成员浮点 y;和一个从 foo 继承的非静态数据成员 int x;。

这一特殊要求的措辞自C14以来（在很大程度上？）在功能上等同于之前的措辞，这也在你链接的问题的答案中提到。

之所以更改它只是因为在措辞上可能存在误解，请参阅CWG问题1813，并且添加了位字段，因为它们可能未包含在术语“成员”中，请参阅CWG问题1881。