是否需要临时或文字才能拥有右值？

Question

This question 询问是否所有临时对象都是右值。

答案是否定的，因为如果我们考虑这个表达式：

const int &ri = 2 + 3;

然后，可以使用相同的临时(2 + 3)，这里是一个右值 作为后续表达式中的左值：

const int *pi = &ri;

所以这个临时值不是（仅）一个右值。

则逻辑语句temporary ==> rvalue 为假。

但是，我们不能写

const int &ri = &(2 + 3); // illegal, 2 + 3 -> temporary -> rvalue

或

int *i = &4; // illegal, 4 is an rvalue (literal)

或

int foo();
int *i = &foo(); // illegal, foo() -> temporary -> rvalue

因此我的问题是，我们能否在某个表达式中生成一个右值，而无需 有一个临时的或文字的？ rvalue ==> (temporary or literal) 是真的吗？

Answer 1

产生临时对象的表达式是右值。有一个特殊规则允许 const 引用和 r-value 引用绑定到 r-values，这将临时对象的生命周期延长到引用的生命周期（参见 12.2(5)），但这不会使临时对象-object 表达式，任何更少的 r 值。

然而，一旦绑定到一个引用，引用变量本身就有一个名字，因此引用表达式是一个左-左值。

不要混淆表达式、变量和对象。

Answer 2

rvalue 和 lvalue 属性适用于表达式，而不适用于 objects。表达式可以是 lvalue 或 rvalue。过度简化产生值的表达式是 rvalue-expression，而产生对象的表达式是 lvalue-expression。 lvalue 到 rvalue 的转换是 从对象中读取值的行为。

产生临时值和文字的表达式都是右值表达式，它们代表值而不是实际对象。

在你的例子中：

const int &ri = 2 + 3;
const int *pi = &ri;

表达式2+3 是一个右值表达式，用于初始化常量引用。根据该语言，这意味着将临时的生命周期延长到当前表达式之外，直到引用超出范围。之后，在第二个表达式中，子表达式ri 是一个lvalue-expression，它引用了临时对象，其生命周期已被延长。

请注意，还有其他方法可以使用临时对象创建 右值表达式，例如调用产生引用的成员：

struct test {
   test& thisTest() { return *this; }
};
test foo();
... foo().thisTest()

子表达式foo() 是一个右值表达式，但表达式foo().thisTest() 是一个左值表达式。它们都引用了一个 临时 对象，该对象将在完整表达式的末尾消失。