C++中左值和右值

让我们先看看一些常见的左值和右值举例：

int var = 6;          // var is a lvalue const int var = 6;    // var is a (nonmodifiable) lvaluechar str[] = "hello, world"; // str is a (nonmodifiable) lvalue"hello, world";       // the expression is string literal,                       //so it's a rvaluestring("hello, world");  // the expresion is a (modifiable) rvalue

对于每一个表达式，其要么是一个左值(lvalues)，要么是一个右值(rvalue)。
左值这个概念最初来源于赋值语句：E1 = E2;，这里要求左操作数E1是一个(可修改的)左值。现在，左值这个概念的含义已不局限于此。而右值是相对于左值出现的，非左即右。虽然左值和右值的内涵和外延有了很大变化，但仍满足这条规则：右值只能出现在赋值运算符的右边，不能出现在它的左边。一个左值对应于(refer to)一个对象或者函数（注：函数不是对象）[注1]。

右值的类型总是完整类型或者void类型。注意两点：(1)void类型(非完整类型)是右值；（2）当右值的类型不是void类型时，其必须是完整类型，因为需要计算它的值。由此可知，非void的非完整类型是左值。
如果在左值被计算时还没有指定一个对象，那么该计算行为是未定义的。例如：char p；此时计算p的结果是未知的。函数调用是左值，当且仅当返回类型是引用。[注2]

在任何时候，当一个左值出现在需要右值的地方，左值会被转换成右值。[注3]

左值分为可修改的左值(modifiable)和不可修改的左值(nonmodifiable)。

如果要修改一个对象，该对象必须是左值；例外情况是，类类型的右值也可以在某些情形下修改它所对应的对象。例如，函数调用返回的类是右值，但可以调用其成员函数修改该对象。

由const限定的表达式不可以被修改；除非这是一个类类型，并且拥有mutable成员，那么该mutable成员可以被修改。

非类类型的右值总是由CV-qualifiers限定，类类型的右值可以没有CV-qualifiers。

部分内置运算符需要左值操作数。例如，所有内置赋值运算符要求它们的左操作数是一个左值（此时还是一个可修改的左值）。

部分内置运算符需要右值操作数，并且产生右值。例如，一元运算符和二元运算符“+”要求操作数为右值，并且它们产生的结果也为右值。

部分内置运算符和函数调用产生左值。例如，如果E是一个指针类型的表达式，那么E是一个左值表达式（注：运算符的操作数是左值，产生一个左值）。又如，函数 int& f();产生一个左值，因此f()的调用是一个左值表达式。

如果一个程序试图通过一个左值的非下列类型去访问存储在对象中的值，那么该行为是未定义的。

• 对象的动态类型
• 由CV-qulifiers限定的对象的动态类型
• 对象的动态类型的有符号和无符号类型
• 由CV-qulifiers限定的对象的动态类型的有符号和无符号类型
• 包含上述类型作为成员的聚合(aggregate)类型或者联合体类型。
• 对象的动态类型的基类的类型(可能被CV-qulifiers限定)
• char类型和unsigned char类型

http://blog.chinaunix.net/u/18517/showart_229551.html
原文链接: https://www.cnblogs.com/xinjun/archive/2010/08/02/1790206.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍