过去几年我一直在使用 C++ 进行编码。但是有一个问题我还没有弄清楚。我想问一下，C++中的临时变量，都是右值吗？
如果不是，谁能给我一个例子，其中代码中的临时生成是一个左值？
【问题讨论】：
标签： c++ rvalue temporaries
没有。
C++ 语言规范从未像您所询问的那样做出如此直接的断言。语言标准中的任何地方都没有说“所有临时对象都是右值”。此外，这个问题本身有点用词不当，因为在 C++ 语言中作为右值的属性不是对象的属性，而是表达式的属性（即其结果的属性）。这实际上是它在语言规范中的定义：对于不同类型的表达式，它表示结果是左值和右值。除此之外，这实际上意味着临时对象可以作为右值和左值进行访问，具体取决于用于执行访问的特定表达式形式。
例如，文字2 + 3 表达式的结果显然是一个右值，一个临时的int 类型。我们不能将一元 & 应用于它，因为一元 & 需要一个左值作为其操作数
&(2 + 3); // ERROR, lvalue required
然而，众所周知，一个常量引用可以附加到一个临时对象上，如
const int &ri = 2 + 3;
在这种情况下，引用附加到临时对象，从而延长后者的生命周期。显然，一旦完成，我们就可以访问与左值 ri 相同的临时值，因为引用始终是左值。例如，我们可以轻松合法地将一元 & 应用于引用并获得指向临时的指针
const int *pi = &ri;
只要临时仍然存在，该指针就会保持完全有效。
另一个左值访问临时对象的明显例子是当我们通过它的this指针访问一个类类型的临时对象时。 *this 的结果是一个左值（就像一元 * 应用于数据指针的结果一样），但它并没有改变实际对象可能很容易成为临时对象的事实。对于给定的类类型T，表达式T() 是一个右值，正如语言标准中明确规定的那样，但通过*T().get_this() 表达式访问的临时对象（T::get_this() 的明显实现）是一个左值。与前面的示例不同，此方法允许您立即获得一个非 const 限定的左值，它引用一个临时对象。
因此，同样的临时对象可能很容易被“视为”为右值或左值，具体取决于您用于“看”那个物体。
【讨论】：
T() 定义为“创建指定类型的右值”的表达式。我的理解（英语不是我的母语）是“右值”用作创建实例的属性，而不是表达式本身。
Prasoon Saurav 已经链接了一个非常好的 clc++ 线程。在那里，James Kanze 解释了为什么这个问题没有真正的意义。归结为：
因此，这个问题没有意义。
下面的代码就是一个很好的例子：
int main() {
const int& ri = 4;
std::cout << ri << std::endl;
}
值为4 的临时int 不是表达式。打印的表达式ri 不是临时的。它是一个左值，指的是一个临时值。
【讨论】：
int(3) = 5 是非法的，但如果 int(3) 创建的临时值不需要只是右值，则它是合法的。
int(3) 这是一个右值。
const 并且不允许赋值。
好吧，那个数组运算符返回一个引用，任何返回引用的函数都可以被认为做同样的事情吗？所有引用都是 const，虽然它们可以是左值，但它们会修改引用的内容，而不是引用本身。 *operator 也是如此，
*(a temp pointer) = val;
我发誓我曾经使用过一些编译器，它会将临时值传递给任何接受引用的函数，
所以你可以去：
int Afunc()
{
return 5;
}
int anotherFunc(int & b)
{
b = 34;
}
anotherFunc(Afunc());
虽然现在找不到可以让您这样做的，但引用必须是 const 才能允许传递临时值。
int anotherFunc(const int & b);
无论如何，引用可以是左值和临时的，诀窍是它自身的引用没有被修改，只有它引用的内容。
如果将-> 运算符算作运算符，那么临时指针可以是左值，但同样的条件适用，它不是要更改的临时指针，而是它指向的东西。
【讨论】：
2+2 具有的显式生命周期。
2+2 会产生一个临时的吗？
typedef foo<2+2> FooFour
数组索引操作既是临时操作又是左值，例如 a[10] = 1 就是您要查找的示例；左值是一个临时的计算指针。
【讨论】：
a[10]不是原生类型，而是用户定义的操作（a的类型是定义operator[](int)的类，比如vector），只要它返回一个引用（所有引用都是左值） -s) 操作将编译（假设为a[10] 类型定义了一些operator=(int)）
a.operator[](int)，它会返回对现有对象的引用。没有什么是必然被创造出来的。在map::operator[] 的情况下，会创建一个永久 对象，而不是临时对象。在vector<bool>::operator[] 的情况下，会创建一个定义了operator= 的临时对象，但从技术上讲它不是左值。
简短的回答：是的，但我不会引用标准，因为证明这一点需要解决存在的各种临时问题。根据定义，临时语句的生命周期只有一个语句，因此将事物分配给一个语句充其量是一种糟糕的风格。
有趣的答案：复制省略可以使（通常使）一个与左值对象相同的临时对象。例如，
MyClass blah = MyClass( 3 ); // temporary likely to be optimized out
或
return MyClass( 3 ); // likely to directly initialize object in caller's frame
编辑：至于在这些情况下是否有任何临时对象的问题，§12.8/15 提到
可以通过将临时对象直接构造到省略复制的目标中来省略复制操作
这表明存在一个可能与左值相同的临时对象。
【讨论】：
这取决于您认为临时变量是什么。你可以写类似
#include <stdio.h>
int main()
{
char carray[10];
char *c=carray+1;
*(c+2+4) = 9;
printf("%d\n",carray[7]);
return 0;
}
这在 VisualStudios 和 GCC 中运行。可以在codepad中运行代码
我认为 (c+2+4) 是一个右值，尽管我想分配给它。当我取消引用它时，它将成为一个左值。所以是的，所有临时变量都是右值。但是你可以通过取消引用将右值（因此是临时的）变成左值
【讨论】：
(c+2+4) 是一个右值。
*((char*)(ptr+offset))=9 一个右值？我认为如果我不尊重它，这不会编译...好吧，所以在我尊重一个右值之后，它是一个左值吗？
*((char*)(ptr+offset)) 是左值，*((char*)(ptr+offset))=9 也是。在 C 中，只有第一个表达式是左值。 “如果我不尊重它，我认为这不会编译...”(ptr+offset); 将编译为语句，2+2; 也将编译为语句。结果也被忽略的无效表达式在 C 和 C++ 中是合法的。 “好的，所以在我尊重一个右值之后它是一个左值吗？” 取消引用一个指针会让你得到一个左值。
(char*)2+2= 0 不会（右值被视为左值）
如果没有，谁能给我一个例子，代码中临时生成的是左值吗？
以下代码将常量引用绑定到由编译器创建的const float 类型的临时对象：
int i;
const float &cfr = i;
行为是“好像”：
int i;
const float __tmp_cfr = i; // introduced by the compiler
const float &cfr = __tmp_cfr;
【讨论】：
i 提升为float 的表达式）是一个右值。我希望有人能比我更好地解释这一点。
float(i) 确实是一个右值，它被绑定到常量引用。假设的 表达式 cfr 将是一个左值。
float(i)”但是这个表达式并没有出现在代码片段中，那我们怎么能称它为：虚拟表达式呢？