右值与临时值

Question

有人概括了“临时是rvalues ”这一说法。 我说“不”，并举了以下例子

 double k=3;

 double& foo()
 {
    return k;
 }

 int main()
 {

     foo()=3; //foo() creates a temporary which is an lvalue
 }

我的解释正确吗？

Answer 1

临时值和右值是不同（但相关）的概念。 暂时是对象的属性。 不是临时对象的示例包括本地对象，全局对象和动态创建的对象。

作为右值是表达式的属性。 与右值相反的是左值，例如名称或取消引用的指针。 语句“临时是右值”是没有意义的。 这是右值与临时对象之间的关系：

一个右值是一个表达式，其求值创建一个临时对象，该对象在按词法包含右值的完整表达式的末尾被销毁。

请注意，左值还可以表示临时对象！

void blah(const std::string& s);

blah(std::string("test"));

在函数blah中，左值s表示通过评估表达式std::string("test")创建的临时对象。

您的评论“引用是左值”也没有意义。 引用不是表达式，因此不能是左值。 您真正的意思是：

如果函数返回引用，则表达式 function()为左值。

Answer 2

否。您返回的是对全局double的引用，而不是临时的。

具有实际临时项的相同测试将是：

double foo() { return 3.0; }
int main() {
   foo() = 2.0; // error: lvalue required as left operand of assignment
}

编辑：答案仅是为了确定该示例是错误的，我真的不想深入探讨临时者是否为右值……正如其他人所说，左值性或右值性是表达式的属性，而不是对象的属性（在最一般的意义上，不仅是类实例）。 再一次，标准说：

§3.10/ 5调用不返回引用的函数的结果是一个右值。 用户定义的运算符是函数，此类运算符是期望值还是产生左值取决于它们的参数和返回类型。

§3.10/ 6包含因强制转换为非引用类型而产生的临时对象的表达式为rvalue（这包括使用功能符号（5.2.3）显式创建对象）。

创建临时文件的环境是哪种AFAIK。 现在，您确实可以将常量引用绑定到临时对象，在这种情况下，您将获得一个可用作有效引用临时对象的左值的新变量（引用）。

最好的说法是，创建临时变量的表达式是右值表达式。 您可以将常量引用绑定到该表达式的结果，以获得可用作const限定的左值表达式的变量。

Answer 3

临时对象始终受到保护，不会成为左值，因此现在称为右值。 但是C ++ 0x会由于移动语义而使临时变量成为左值。 就像这个愚蠢的片段

void blah(ICanBeTemporary && temp)
{
    temp.data = 2; //here temporary becomes lvalue
}


//somewhere
blah(ICanBeTemporary("yes I can"));

现在我们有了术语混乱。 人们通常将临时值称为“ 右值” ，这称为“ 右值引用” 。 现在，已命名对象被视为非右值引用。