为什么有引用的类不遵守standard_layout？

Question

执行以下代码:

#include <iostream>
#include <type_traits>

struct s_ref {
    int &foo;
};

struct s_ptr {
    int *foo;
};

int main(int argc, char *argv[])
{
    std::cout << "s_ref is_standard_layout:" << std::is_standard_layout<struct s_ref>::value << std::endl;
    std::cout << "s_ptr is_standard_layout:" << std::is_standard_layout<struct s_ptr>::value << std::endl;
    return 0;
}

结果：

s_ref is_standard_layout:0
s_ptr is_standard_layout:1

基于标准布局的使用（即：“标准布局类型对于与用其他编程语言编写的代码进行通信很有用”），这是有道理的，但我不确定违反了哪个规则：

标准布局类是一个类（用类、结构或联合定义），它：

>

没有虚函数，也没有虚基类。

对其所有非静态数据成员具有相同的权限改造（私有、受保护、公共）。

要么在大多数派生类中没有非静态数据成员，最多有一个基类具有非静态数据元素，要么没有具有非静态元素的基类。

它的基类（如果有的话）本身也是一个标准布局类。

并且，没有与其第一个非静态数据成员相同类型的基类。

编辑：引用自：http://www.cplusplus.com/reference/type_traits/is_standard_layout/，但http://en.cppreference.com/w/cpp/concept/StandardLayoutType也类似。

Answer 1

在n4140中，您可以阅读：

9 类 （7.1）

标准布局类是这样的类:

• 没有非标准布局类（或此类类型的数组）或引用类型的非静态数据成员，

[编辑]

有关为什么带有引用的类不是标准布局的更多信息，请阅读以下精彩答案：C标准布局和引用

Answer 2

我不知道你从哪里得到这句话，但它遗漏了标准中的相关规则。

（N3337）[class]/7:标准布局类是一个类，它：

-没有非标准布局类（或此类类型的数组）或引用类型的非静态数据成员，

-没有虚拟函数（10.3），也没有虚拟基类（10.1），

—对所有非静态数据成员具有相同的访问控制(第11条),

— 没有非标准布局基类，

-在大多数派生类中没有非静态数据成员，并且最多有一个基类具有非静态数据元素，或者没有基类具有静态数据元素；以及

— 没有与 f irst 非静态数据成员类型相同的基类。

Answer 3

C标准的标准布局类概念的要点是，这样一个类的实例可以可靠地作为字节访问或复制到字节，正如C 11标准在其§9/9中指出的那样，字节构成了这样一个类别

”用于与用其他编程语言编写的代码通信

但是，C 标准根本不要求引用来使用存储。它不是一个对象。你不能拿走它的地址。因此，它不能（可靠地）复制到字节，或作为字节访问。因此，它与标准布局类的概念不兼容。

在正式场合，

"标准布局类是这样的类:< br> —没有非标准布局类类型的非静态数据成员(或这种类型的数组)或引用，