为什么 const/nonconst 左值引用都绑定到右值引用?

Why both const/nonconst lvalue references bind to a rvalue reference?

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

class s
{
public:
};

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

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

首先我们使用std::move并标记一个右值(临时)作为右值引用,但是为什么左值引用可以绑定到右值引用?

是不是因为右值引用也是右值?

导致左值引用绑定到右值引用的基本原理(或标准引号)是什么?可以做到 我知道了

编辑:msvc2015 允许非 const 左值引用绑定到右值引用,问题仍然是 const 左值引用绑定到右值引用。对不起,我应该指定我使用的编译器。

作为标准转换之一(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

右值(包括 x 值)可以绑定到 const 左值引用,这样您就可以将临时值传递给具有这样一个参数的函数:

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

(临时值是右值;在这种情况下,bar() 的结果是右值)。没有理由 not 允许这样做,因为临时对象总是与包含表达式(在本例中为函数调用)一样长,因此它不会在 foo.

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

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

允许右值绑定到 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

在上面,在引用 b 超出范围之前,bar 对象不会被销毁。