C++中的左值右值

对于 C++ 中的左值和右值，我们通常的说法是：当一个对象被用作右值的时候，用的是对象的值（内容）；当对象被用作左值的时候，用的是对象的身份（在内存中的位置），这句话来自于 《C++ Primer 第五版》 第 121 页，那么，对于这句话，该作何理解呢？下面我想来谈谈我的看法：

ISO C++03规定表达式必须是左值或右值之一，而在ISO C++11中，左值性被正式地扩充为更复杂的值类别，对于一个变量来说，与它相关的有两个部分：一是变量在内存中的地址，二是这个变量在内存中的地址中所存储的数据。当我们使用变量在内存中的地址的时候，譬如给变量赋值，实际上使用的是变量的身份，而不是变量的值（内容），此时，变量是被用作左值的；当我们使用变量的值（内容）的时候，譬如把变量的值赋给另一个对象的时候，变量是被用作右值的。由此可见，变量既可以被用作左值也可以被用作右值，那么变量究竟是左值还是右值呢？《C++ Primer 第五版》 第 121 页中又写到， 一个重要的原则（有一种例外）是在需要右值的地方可以用左值代替，但是不能把右值当作左值 ，由此可见，一个变量表达式是左值。

以上说了那么多其实还没有说到判断一个表达式究竟是左值还是右值的方法，那么，该怎样判断一个表达式是左值还是右值呢？对于“当对象被用作左值的时候，用的是对象的身份（在内存中的位置）”这句话，我们是不是可以这样理解，当一个表达式 在自身所在的表达式结束之后有持久的身份（在内存中的位置） 可以使用的时候，它就是一个左值，即 可以对这个表达式运行结束之后取得持久的地址的时候，说明这个表达式是一个左值，否则是一个右值，为什么我们要强调 在自身所在的表达式结束之后有持久的身份（在内存中的位置） 这句话呢？因为我们使用一个表达式作为左值的时候早已经超出了这个表达式范围本身来使用它，如果离开这个表达式自身的范围就得不到这个表达式的地址的话，用表达式作为左值就没有任何意义了，下面通过一个例子来细细剖析这段内容：

对于前置递增（递减）运算符和后置递增（递减）运算符的表达式，究竟哪一个是左值哪一个是右值呢？针对前置递增和后置递增的情况，我们来分析一下，前置递减和后置递减可以同理分析：

++i 这个前置递增表达式，是把 i 的值加 1 然后返回 i 的值，这个表达式的返回值是 i，对 i 取地址可以得到持久的地址，因此，对于前置递增表达式，它是一个左值；
i++ 这个后置递增表达式，是把 i 值的副本返回后再把 i 加 1，这个表达式返回的实际上是一个 i 的副本（临时量），而不是 i 本身（i 本身已加 1），所以，在这个表达式运行结束的时候，我们对这个表达式取地址，将得不到一个持久的地址，因为这个临时量随着表达式的结束已经不复存在了，因此，对于后置递增表达式，它是一个右值；
对于前置递增和后置递增运算符，它们操作对象究竟是一个左值还是右值呢？++i 这个前置递增表达式，最后返回的是 i 本身，它使用的是 i 的身份，因此此处的 i 是作为左值使用的，i++ 这个后置递增表达式，最后返回的是 i 的副本，它使用的是 i 的内容，因此此处的 i 是作为右值使用的。

我们来看看对于表达式 ++i-- 加上括号，变成 ++(i--) 之后，这个表达式是不是合法的呢？通过上面的分析我们知道，前置递增（递减）运算符的操作对象是一个左值，后置递增（递减）运算符的操作对象是一个右值，但是i-- 这个表达式是一个右值，而前置递增（递减）运算符的操作对象是一个左值，所以，++(i--) 这个表达式是不合法的。

通过以上的分析我相信对于 C++ 中的左值和右值能有一个深刻地理解了，其实说到底就一句话，这里最后再强调一下： 可以对这个表达式运行结束之后取得持久的地址的时候，说明这个表达式是一个左值，否则是一个右值

++x 和 x++ 的区别的语义上的区别： 当写 int i = 10 ; 时， i 是一个 lvalue，它实际代表一个内存里的地址，是持久的。 表达式 ++x 也是一个 lvalue，它修改了 x 的值，但还是代表原来那个持久对象。但是，表达式 i++ 却是一个 rvalue，它只是拷贝一份i的初值，再修改i的值，最后返回那份临时的拷贝，那份拷贝是临时对象。 ++i 和 i++ 都递增i，但 ++i 返回i本身，而 i++ 返回临时拷贝。这就是为什么 ++i 之所以是一个 lvalue，而 i++ 是一个 rvalue。

lvalue 与 rvalue 之分不在于表达式做了什么，而在于表达式代表了什么（持久对象或临时产物）。 判断一个表达式是不是 lvalue 的直接方法就是“能不能对表达式取址？”，如果能够，那就是一个 lvalue；如果不能，那就是一个 rvalue。