为什么 const 左值引用可以引用可变右值引用？

Question

在 C++11 中，可以使用可变右值引用来初始化 const 左值引用。然后，右值引用的值可以更改为 const 左值所指的内容产生可见的突变。这是一个例子：

int && rval = 3;
const int & lval = rval;

cout << "lval = " << lval << endl;
cout << "rval = " << rval << endl;

rval ++;

cout << "lval = " << lval << endl;

输出（来自 clang 3.2 和 gcc 4.8.2 都带有 -std=c++11）：

lval = 3
rval = 3
lval = 4

我会猜原因是不能通过左值引用修改所指对象，但可以通过右值引用修改它。但是，我不明白为什么允许 const 左值引用可变对象。

有人可以解释这样做的理由并给出处理这种情况的最佳做法吗？另外，还有其他类似的可以颠覆constness的例子吗？

Answer 1

但是，我不明白为什么允许 const 左值引用可变对象

拥有const 对某事物的引用仅意味着您无法通过该引用修改该对象。这并不意味着任何人都不能更改对象。

假设你有一个函数：

void f(Foo const& bar);

函数向调用者声明它不会修改bar。而已。仅此而已，仅此而已。它没有说明bar 在执行f 时会发生什么（例如在另一个线程中）；该语言无法表达这样的约束。

最后一点：

int && rval = 3;

rval 是一个左值。正如您的代码清楚地展示的那样，它有一个名称并且可以位于作业的左侧。右值引用和左值引用之间的区别在于右值引用可以绑定到右值——而不是它们本身就是右值。

这就是为什么给出类似的东西

void foo(unique_ptr<X>&& x)
{
    aVector.emplace_back(x);
}

不编译。 x 被声明为右值引用，但在 foo 内部它有一个名称，可以在赋值的左侧，并且是一个左值。将其移动到其他地方需要使用 move 或类似的：

void foo(unique_ptr<X>&& x)
{
    aVector.emplace_back(move(x)); // Ok
}