c++ - 为什么不能在函数之间直接传递右值引用参数？

Question

我的代码如下：

#include <iostream>
using namespace std;

class A{
public:
    void sendByRvalue(string&& str){
        cout << str << endl;
    }
};

class B{
private:
    A a;
    void send(string&& str){
        a.sendByRvalue(str);
    }
public:
    void run(const string& str){
        send("run " + str + "\n");
    } 
}; 

int main(void){
    string str("hello world");
    B b;
    b.run(str);
    return 0;
}

当我编译上面显示的代码时，我得到了一些编译错误：

似乎strinB::send函数已更改为左值。然后我改变了 的实现B::send，比如：

class B{
private:
    A a;
    void send(string&& str){
        cout << boolalpha << is_rvalue_reference<decltype(str)>::value << endl;
        a.sendByRvalue(std::move(str));
    }
public:
    void run(const string& str){
        send("run " + str + "\n");
    } 
}; 

一切都很顺利，但是这个程序的输出让我更加困惑。输出如下：

为什么参数 str 是一个右值引用，但我不能A::sendByRvalue直接将它传递给函数std::move？

Answer 1

str是一个命名的右值引用，在语言中被视为左值。rvalues 只是 xvalues 或 prvalues，str两者都不是。

来自标准的注释，关于 xvalue 规则：

一般来说，这条规则的效果是命名的右值引用被视为左值，而对对象的未命名的右值引用被视为xvalue；对函数的右值引用被视为左值，无论是否命名。

struct A {
int m;
};
A&& operator+(A, A);
A&& f();

A a;
A&& ar = static_cast<A&&>(a);

表达式f()、f().m、static_­cast<A&&>(a)和a + a是 xvalues。表达式ar是一个左值。

Answer 2

我将做一个更简单的例子来解释

void bar(std::string&& name) {
    std::cout << "Bar: " << name << std::endl;
}

void foo(std::string&& name) {
    bar(name);
}


int main() {
    foo("C++");
}

这与您提供的示例或多或少相同。里面foo()，name是一个左值。C++作为右值的临时字符串 被传递到name. name是一个左值。所以上面的代码基本上是翻译成的。

void bar(std::string&& name) {
    std::cout << "Bar: " << name << std::endl;
}

int main()
{
    std::string foo{ "C++" };
    bar(foo);
}

现在问题出在哪里似乎很明显。

---

我写了这个简单的程序来帮助你更好地理解

void foo(const std::string& name) {
    std::cout << "Passed as lvalue ref: " << name << std::endl;
}

void foo(std::string&& name) {
    std::cout << "Passed as rvalue ref: " << name << std::endl;
}

我们将使用这个函数来调用

void bar(std::string&& name) {
    foo(name);
}

int main()  {
    bar("C++");
}

作为左值参考传递：C++

这证明了我的观点，现在如果我们使用std::move()?

void bar(std::string&& name) {
    foo(std::move(name));
}

int main()  {
    bar("C++");
}

作为右值引用传递：C++

如果您想要一种简单的方法来检查表达式是左值还是右值，您可以尝试以下代码段

template <typename T>
constexpr bool is_lvalue(T&) {
    return true;
}

template <typename T>
constexpr bool is_lvalue(T&&) {
    return false;
}

^资源