首页 > 代码库 > C++ 中左值和右值的探讨
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++ 中的左值和右值能有一个深刻地理解了,其实说到底就一句话,这里最后再强调一下: 可以对这个表达式运行结束之后取得持久的地址的时候,说明这个表达式是一个左值,否则是一个右值
PS: 以上内容系原创,转载请注明地址