1、C/C++的左值和右值左值性(lvalueness)在C/C++中是表达式的一个重要属性。只有通过一个左值表达式才能来引用及更改一个对象(object)的值。(某些情况下,右值表达式也能引用(refer)到某个对象,并且可能间接修改该对象的值,后述)。何谓对象?如果没有明确说明,这里说的对象,和狭义的类/对象(class/object)相比,更为广泛。在C/C++中,所谓的对象指的是执行环境中一块存储区域(a region of storage),该存储区域中的内容则代表(represent)了该对象的值(value)。注意到
4、值表达式不能取址,一是具有位域( bit-field )类型,因为实现中最小寻址单位是 byte;另一个是具有register指定符,使用register修饰的变量编译器可能会优化到寄存器中).Ex1.1char a[10]; // a is an lvalue representing an array of 10 ints.char (* p)[10]=&a; // &a is the address of the array a. const char* p="hello world"; //"hello world"
5、 is an lvalue of type char[12]//in C, type const char[12] in C++. char (*p)[12]=&"hello world";struct S{ int a:2; int b: 8; };struct S t;int* p=&t.a; //error. t.a is an lvalue of bitfield.register int i;int * p=&i; //error. i is an lvalue of register type. int a,
6、b; int * p=& (a+b); //error. a+b is not an lvalue.1.2假设expr1是一个指向某对象类型或未完整类型(incomplete type,即该类型的布局和大小未知)的指针,那么我们可以断言*expr1一定是个左值表达式,因为按照*运算符的定义,*expr1表示引用到expr1所指向的对象。如果expr1是个简单的名字,该名字代表一个变量. 同样的,该表达式也是个左值,因为他代表的是该变量对应的对象。对于下标运算符,我们一样可以做出同样的结论,因为expr1[expr2]总是恒等于