右值引用被视为左值？

Question

我发布了这个答案：https://stackoverflow.com/a/28459180/2642059 其中包含以下代码：

void foo(string&& bar){
    string* temp = &bar;

    cout << *temp << " @:" << temp << endl;
}

bar 是右值还是左值？

我问是因为我显然不能获取右值的地址，但我可以像这里所做的那样获取右值引用的地址。

如果您可以对右值引用执行任何操作，而您可以对左值引用执行任何操作，那么用“&&”而不是“&”区分两者有什么意义？

Answer 1

bar 是右值还是左值？

问题自己回答。任何有名字的都是左值⁽¹⁾。所以bar 是一个左值。它的 type 是“对string 的右值引用”，但它是该类型的左值。

如果要将其视为右值，则需要对其应用std::move()。

---

如果您可以对右值引用执行任何操作，而您可以对左值引用执行任何操作，那么用“&&”而不是“&”区分两者有什么意义？

这取决于您对“执行操作”的定义。左值引用和（命名的）右值引用在表达式中使用它们的方式几乎相同，但它们在可以绑定到它们的内容上很多。左值可以绑定到左值引用，右值可以绑定到右值引用（任何东西都可以绑定到对const 的左值引用）。也就是说，您不能将右值绑定到左值引用，反之亦然。

我们来说说一个右值引用类型的函数参数（比如你的bar）。重要的不是bar 是什么，而是你对bar 所指的值的了解程度。由于bar 是一个右值引用，您可以肯定地知道绑定到它的任何内容都是一个右值。这意味着当完整表达式结束时它必然会被销毁，您可以放心地将其视为右值（通过窃取其资源等）。

如果您不是直接向bar 执行此操作的人，而只是想传递bar，您有两种选择：要么您已完成bar，然后您应该告诉下一个接收到它绑定到右值的人—做std::move(bar)。或者你需要用bar做更多的事情，所以你不希望任何人从你下面窃取它的资源，所以把它当作一个左值——bar。

总结一下：区别不在于你可以用引用做什么一旦你拥有它。区别在于可以绑定到什么引用.

---

⁽¹⁾ 一个很好的经验法则，除了少数例外：枚举数有名字，但是是右值。类、命名空间和类模板有名称，但不是值。

Answer 2

bar 是 rvalue 还是 lvalue？

它是一个左值，就像任何命名变量的表达式一样。

如果您可以对 rvalue 引用执行任何操作，而您可以对 lvalue 引用执行任何操作，那么使用“&&”而不是区分两者的意义何在只是一个“&”？

您只能使用 rvalue 表达式初始化 rvalue 引用。因此，您可以将临时字符串传递给您的函数，但您不能在不显式移动的情况下传递字符串变量。这意味着您的函数可以假定不再需要该参数，并且可以从该参数中移出。

std::string variable;
foo(variable);            // ERROR, can't pass an lvalue
foo(std::move(variable)); // OK, can explicitly move
foo("Hello");             // OK, can move from a temporary

Answer 3

表达式bar 是一个左值。但它不是“对字符串的右值引用”。表达式bar 是一个左值引用。您可以通过在 foo() 中添加以下行来验证它：

cout << is_lvalue_reference<decltype((bar))>::value << endl; // prints "1" 

但我同意Angew的其余解释。

一个右值引用，在它被绑定到一个右值之后，就是一个左值引用。其实不只是函数参数：

string&& a = "some string";
string&& b = a; // ERROR: it does not compile because a is not an rvalue

如果您可以对右值引用执行任何操作，而您可以对左值引用执行任何操作，那么用“&&”而不是“&”区分两者有什么意义？

右值引用允许我们在右值到期之前执行一些“左值操作”。

Answer 4

在这种情况下 命名右值引用是左值，而如果输入类型是 const 命名右值引用 那么就是rvalue，这里是一个简单的例子：

#include <string>
#include <iostream>

void foo(const std::string&& bar) { 
    std::string* temp = &bar; // compile error, can't get address
    std::cout << *temp << " @:" << temp << std::endl;
}

int main()
{
    foo("test");
    return 0;
}

希望这是有用的。