初始化列表中 const 引用成员的初始化

Question

我在玩一些无用的代码来理解成员引用的初始化，结果碰到了这个：

struct A {};

struct B
{
    B() : a()
    {
    }

    const A& a;
};

上面的代码在使用 gcc 4.9.2 编译时出现以下错误：

In constructor 'B::B()':
error: value-initialization of reference type 'const A&'
  B() : a()

我明白了。

但是如果我在 B 的构造函数的初始化列表中使用统一初始化，像这样：

struct A {};

struct B
{
    B() : a{}
    {
    }

    const A& a;
};

它编译得很好。

那么问题来了，为什么这里使用统一初始化会改变编译结果呢？

我也在 Microsoft Visual C++ 2013 中尝试过。 它不会编译任一版本的代码，并显示相同的错误消息：

Error 3 error C2440: 'initializing' : cannot convert from 'int' to 'const A & 

你可以在这里快速玩一下：

http://ideone.com/7f2t8I

Answer 1

GCC 对{} 的解释是正确的。 [dcl.init.list]/p3.8-9（引用 N4296；较早的草案与这两个项目符号的相对顺序相同）：

T 类型的对象或引用的列表初始化定义为 如下：

• [省略7个不适用的项目符号]

• 否则，如果T 是引用类型，则T 引用的类型的prvalue 临时被复制列表初始化或 直接列表初始化，取决于初始化的类型 引用，并且引用绑定到该临时文件。 [注意： 像往常一样，如果 引用类型是对非常量类型的左值引用。 —结束说明 ]

• 否则，如果初始化列表中没有元素，则对象被值初始化。

列表初始化引用命中项目符号 3.8，导致临时构建。 3.9 中的值初始化案例不适用。

引用的值初始化格式不正确 ([dcl.init]/p9)：

需要默认初始化的程序或 引用类型实体的值初始化格式不正确。

---

但是，从 N4296 开始，根据 [class.base.init]/p8：

绑定到一个引用成员的临时表达式 mem-initializer 格式不正确。

这是 CWG issue 1696 的结果，这是针对 C++14 的 DR（缺陷报告）。

CWG1696 之前的标准规定 (N4140 [class.temporary]/p5.1)：

临时绑定到构造函数中的引用成员 ctor-initializer (12.6.2) 一直持续到构造函数退出。

这意味着引用将在构造后立即悬空。这大概促使 CWG1696 决定完全禁止此类绑定。