-1

下面是演示问题的代码：

class X {};
X x;
X&& rvalue_ref = std::move(x);
static_assert(std::is_same<decltype(rvalue_ref), X&&>::value, "Different types"); //To be sure that type is X&&
void func(X&) {
    cout << "lvalue reference";
}

void func(X&&) {
    cout << "rvalue reference";
}
int main() {
    func(rvalue_ref);
}

输出：

lvalue reference

你能解释一下原因吗？我们有一个 X&& 类型的变量和这个类型的重载，但是这个重载没有被调用。

4

2 回答 2

2

参考并不是那样工作的。你的论点rvalue_ref，尽管它的类型，是一个左值表达式。您将不得不std::move再次使其成为右值。

类型和值类别是两个独立的东西，很难记住命名右值引用类型对象的表达式不会自动成为右值表达式。

还要考虑：

void foo(T&& ref)
{
   bar(ref);             // lvalue arg
   bar(std::move(ref));  // rvalue arg
}

cppreference.com 的“价值类别”文章中也提到了这一点：

即使变量的类型是右值引用，由其名称组成的表达式也是左值表达式

于 2019-05-24T10:09:50.353 回答
1

这是完全合理的行为——右值引用是 C++ 中的左值。这意味着获得输出

rvalue reference

你必须这样使用std::move：

int main() {
    func(std::move(rvalue_ref));
}

在将参数传递给函数时，这尤其令人困惑。例如，要将参数作为右值传递，您必须使用std::move：

void foo(bar &&baz) {
    function_taking_rvalue_reference(std::move(baz));// <--- this move is necessary
}
于 2019-05-24T10:10:00.717 回答