关于左值lvalue和右值rvalue的一点理解.docVIP

关于左值lvalue和右值rvalue的一点理解原文地址：/viewthread.php?tid=749505看了帖子hello 的类型是 const char *? 发现很多朋友对lvalue和rvalue理解有误，我先谈谈自己对此的一些理解，并期望能够引起更多朋友的广泛讨论。也算起到抛砖引玉的作用吧。 QUOTE: 注：这里所说主要针对标准C语言。（感谢whyglinux兄指正） 首先说明一下何谓l-value”和r-value“。l-value”的定义： QUOTE: 《TCPL》A.5：An object is a named region of storage, an l-value is an expression referring to an object. QUOTE: 《ISO/IEC9899 WG14/N1124》P58：An l-value is an expression with an object type or an incomplete type other than void. r-value的定义： QUOTE: 《C: A reference manual》(Fifth Edition) P203: An expression that is not an l-value is sometimes called an r-value because it can be only on the right-hand side of an assignment. 可以看出《TCPL》和《C99 WG14》（准标准文档）对lvalue的定义有一定的变化，后者更宽泛一些。l-value的称谓来自于赋值运算， QUOTE: 《ISO/IEC9899 WG14/N1124》P58：The name l-value comes originally from the assignment E1 = E2, in which the left operand E1 is required to be a (modifiable) l-value. 但是其本身表示的含义不局限于此。lvalue还可以分为一般的lvalue和modifiable lvalue。 QUOTE: 注：这里为什么不说：lvalue还可以分为unmodifiable lvalue和modifiable lvalue 是因为在标准中只出现了modifiable lvalue 而没有出现unmodifiable lvalue的字眼，可以这样理解，但我个人不主张引入非标准中出现的专用名词，以免造成误解。感谢whyglinux兄指出。 QUOTE: 《ISO/IEC9899 WG14/N1124》P58： A modifiable lvalue is an lvalue that does not have array type, does not have an incomplete type, does not have a const-qualified type, and if it is a structure or union, does not have any member (including, recursively, any member or element of all contained aggregates or unions)wit a const-qualified type. lvalue的概念可以用来对operators进行分析，就是看哪些operators可以产生lvalue，哪些operators的左操作数要求是lvalue。例如： QUOTE: 对于地址 (void *)0x800000FF *0x800000FF就不是lvalue，因为*0x800000FF是void类型，但是cast operator可以产生lvalue:*(char *)0x800000FF 是lvalue，并且是modifiable lvalue。*(char *)0x800000FF = ‘a; QUOTE: 注：非常对不起，这个例子是不正确的。whyglinux兄指出：0x800000FF是整型，不是指针类型，因此 *0x800000FF 是非法的，还谈不上是左值还是右值的问题。你可能是想说明 *(void*)0x800000FF，不过显然也是非法的。另外，你说的“cast operator可以产生lvalue”是错误的。恰恰相反，在标准 C 和 C++ 中，cast operator 操作结果产生的是右值。其实cast