18

我目前正在尝试了解 C++0x 的新统一初始化。不幸的是，我在使用引用的统一初始化时绊倒了。例子：

int main() {
   int a;
   int &ref{a};
}

这个例子工作正常：

% LANG=C g++ uniform_init_of_ref.cpp -std=c++0x -o uni -Wall -Wextra
uniform_init_of_ref.cpp: In function `int main()':
uniform_init_of_ref.cpp:3:10: warning: unused variable `ref' [-Wunused-variable]

（更新Comeau 会为该示例引发错误，因此 gcc 可能也不应该编译它）

现在，如果我使用自定义数据类型而不是整数，它就不再起作用了：

class Y
{};

int main()
{
    Y y;
    Y &ref{y};
}

% LANG=C g++ initialization.cpp -std=c++0x -o initialization -Wall -Wextra
initialization.cpp: In function `int main()':
initialization.cpp:9:13: error: invalid initialization of non-const reference of type `Y&' from an rvalue of type `<brace-enclosed initializer list>'
initialization.cpp:9:8: warning: unused variable `ref' [-Wunused-variable]

不幸的是，我没有在标准草案中找到相关部分。我的猜测是我误解了统一初始化的用法，因为 Comeau 抱怨此消息：

ComeauTest.c(9): error: reference variable "ref" requires an initializer
      Y &ref{y};

那么，你们中的某个人可以指出我正确的方向吗？

如果您想知道为什么这个问题是相关的以及为什么我不只使用Y &ref(y)：我希望能够在构造函数的初始化列表中使用统一初始化：

class X { };

class Y {
    const X& x;

    public:
        Y (const X& xx):
            x{xx}
        {}
};

int main () {
    X x;
    Y y{x};
}

这将失败并显示与上述相同的错误消息。

笔记：

  • 我正在使用LANG=C启用英文错误消息。
  • gcc 版本：4.6.1
4

1 回答 1

6

根据N2672，第 8.5.4.4 段应该说：

否则，如果 T 是引用类型，则 T 引用的类型的右值临时是列表初始化的，并且引用绑定到该临时。[注意：像往常一样，如果引用类型是对非常量类型的左值引用，则绑定将失败并且程序格式错误。]

这（如果我理解正确的话）意味着引用的统一初始化将它们绑定到新的匿名实例，所以在我看来它非常没用。这仍然不能解释为什么一个有效而另一个无效；它们的行为应该相同（除非Y有一些显式的构造函数）。

于 2011-07-01T11:51:27.430 回答