FCD 中的右值和临时对象

Question

我花了相当长的时间才理解右值和临时对象之间的区别。但现在委员会最终草案在第 75 页指出：

右值 [...]是x值、临时对象或其子对象，或者不与一个对象。

我简直不敢相信自己的眼睛。这一定是一个错误，对吧？

---

为了澄清，我是这样理解这些术语的：

#include <string>

void foo(std::string&& str)
{
    std::cout << str << std::endl;
}

int main()
{
    foo(std::string("hello"));
}

在这个程序中，有两个表达式表示同一个临时对象：纯右值std::string( “hello”） 和左值 str。表达式不是对象，但它们的求值可能会产生一个对象。具体来说，纯右值的求值会产生一个临时对象，但纯右值不是临时对象。有人同意我的观点还是我疯了？ :)

Answer 1

是的，我同意你的观点。在我看来，这个问题应该得到解决，而且我深深尊敬的几个人也对此提出了完全相同的问题。

Answer 2

这并不像听起来那么复杂。我指的是现已最终确定的标准 ISO/IEC 14882-2011。第78页说：

xvalue（“eXpiring”值）也指一个对象，通常靠近
其生命周期结束（以便其资源可以被移动，例如
例子）。 xvalue 是某些类型表达式的结果
涉及右值引用 (8.3.2)。

上面的粗体是我加上去的。该标准进一步指出：

右值（历史上如此称呼，因为右值可能出现在
赋值表达式的右侧）是 xvalue，a
临时对象（12.2）或其子对象，或不是的值
与对象关联。

因此，只有当您使用“涉及右值引用的某些类型的表达式”时，您才会获得 xvalue。否则你的临时对象就只是临时对象。