左值初始化失败

Question

“The C++ Programming Language 4th Edition”中的一些示例代码让我感到困惑。这是我的测试用例。

Env gcc 版本 4.6.3 (Debian 4.6.3-14+rpi1) 与 -std=c++0x

• Code1 string var {"Cambridge"}; string& r1 {var}; 编译失败
• Code2 string var {"Cambridge"}; string& r1 = var; 编译成功
• Code3 string var {"Cambridge"}; string&& r1 {var}; 编译成功
• Code1 编译失败 g++ -g -DLINUX -std=c++0x -c src/dummy.cpp -o src/dummy.o src/dummy.cpp: In function ‘int main(int, char**)’: src/dummy.cpp:26:17: error: invalid initialization of non-const reference of type ‘std::string& {aka std::basic_string<char>&}’ from an rvalue of type ‘<brace-enclosed initializer list>’ make: *** [src/dummy.o] Error 1
• Code1 应该没问题。第 7.7.2 节，因为 var 是左值，但为什么 code1 不起作用但 code3 在我的情况下起作用？

Answer 1

它失败了，因为它试图将一个右值绑定到一个非常量左值引用。

8.5.4 列表初始化

[#3]

-- 否则，如果 T 是引用类型，则该类型的 prvalue 临时 被 T 引用的是列表初始化的，而 引用是 绑定到那个临时的。 [注意：和往常一样，绑定会失败 如果引用类型是对非常量类型的左值引用，则程序格式错误。 ——尾注]

检查此示例以验证 r1 是否绑定到不同的对象

#include <string>
#include <iostream>

int
main () {
  std::string var {"Cambridge"};
  const std::string& r1 {var}; 
  const std::string& r2 (var);

  var.clear ();

  std::cout << "var = " << var << std::endl;
  std::cout << "r1 = " << r1 << std::endl;
  std::cout << "r2 = " << r2 << std::endl;
}

并将其与r2 进行对比。

附言。现在问题来了，根据上述考虑，为什么以下操作不会失败：

int x;
int &y { x };

标准说（在与上面相同的地方，但下一个条款）：

-- 否则，如果初始化列表只有一个元素，则从该元素初始化对象或引用；

该子句明确提到了引用，换句话说，初始化引用并没有在单个子句中描述，但是有几种可能性（可能按子句的顺序尝试？），这就解释了为什么int & 会这样.