c++ - 为什么 const/nonconst 左值引用都绑定(bind)到右值引用？

Question

这个非常简单的代码是允许的:

class s
{
public:
};

const s& tt = std::move(s()); // Also valid without 'const'

但现在我想知道为什么它被允许..

首先我们使用 std::move 并将右值(临时)标记为右值引用，但为什么左值引用可以绑定(bind)到右值引用？

是因为右值引用也是右值吗？

导致左值引用绑定(bind)到右值引用的基本原理(或标准引号)是什么？可以做到我明白了。

编辑:msvc2015 允许非 const 左值引用绑定(bind)到右值引用，问题仍然是 const 左值引用绑定(bind)到右值引用。抱歉，我应该指定我使用的编译器。

Answer 1

作为标准转换之一(C++ 标准第 4 章)，右值引用被隐式转换为右值(更具体地说，转换为 xvalue):

The effect of any implicit conversion is the same as performing the corresponding declaration and initialization and then using the temporary variable as the result of the conversion. The result is an lvalue if T is an lvalue reference type or an rvalue reference to function type (8.3.2), an xvalue if T is an rvalue reference to object type, and a prvalue otherwise

右值(包括 xvalue)可以绑定(bind)到 const 左值引用，这样您就可以将临时值传递给具有此类参数的函数:

void foo(const bar &a);
// ...
foo(bar());

(临时值是右值；在本例中，bar() 的结果是右值)。没有理由不允许允许这样做，因为临时对象总是与包含表达式(在本例中为函数调用)一样长，因此它不会在 foo 中创建悬空引用。

这意味着总是可以将函数 fun(bar) 的签名调整为 fun(const bar &) - 当然也可以相应地更改实现! - 因为临时参数仍然会被接受，并且从调用者的角度来看语义应该是相同的； const 表示该对象不会被修改，如果通过复制传递也是如此。

不允许使用非const 引用；一个实际的原因是因为它们暗示应该以某种有意义的方式修改该值，如果该值是临时的，它将丢失。但是，如果您真的想这样做，可以将右值转换为左值，但有一些注意事项，如 this answer 中所述。另一个问题。

允许右值绑定(bind)到 const 左值引用，除了允许通过引用传递临时参数外，对于不知道确切参数类型但又希望允许的情况也有好处如果可能的话移动语义。假设我正在调用一个可以定义为 foo2(const bar &) 或 foo2(bar) 的函数，在前一种情况下，它可能有也可能没有重载foo2(bar &&)，并且我希望尽可能使用移动语义(假设 foo2(bar &&) 重载将在其实现中使用移动语义) ;我可以安全地使用 std::move 来创建右值，因为它适用于任何一种情况。这个例子可能看起来有点做作，但这是编写模板时经常会出现的事情。在代码中:

bar bb = bar();
foo2(std::move(bb));
// above is legal if foo2 is declared as either:
//    foo2(bar)
//    foo2(const bar &)
// and in latter case calls overload foo2(bar &&) if it is defined.

在涉及临时对象的其他右值到左值引用赋值的情况下，临时对象的生命周期会延长到引用的生命周期，因此即使在参数传递以外的上下文中也不会创建悬挂引用:

const bar &b = bar(); // temporary lifetime is extended

在上面，bar 对象不会被销毁，直到引用 b 超出范围。