左值 是用来指明一个对象的表达式。最简单的左值就是变量名称。左值(lvalue)之所以称为左(以首字母为 L,代表 left),是因为一个左值表示一个对象,它可以出现在赋值运算符(
其他表达式(那些表示一个值但不指明一个对象的),被类似地称为右值(rvalue)。右值是可以出现在赋值运算符右边而不是左边的表达式。例如,常量和算术表达式。
从一个左值中必定可以解析出对应对象的地址,除非该对象是位字段(bit-field)或者被声明为寄存器存储类。生成左值的运算符包括下标运算符(subscript operator)[]和间接运算符(indirection operator)*,如下表所示(如果 array 已被声明为数组,而 ptr 被声明为指针变量)。
对象可以被声明为常量。在这种情况下,该对象就不能位于赋值运算的左边,尽管它是左值,如下面的例子所示:
int a=1; const int b=2, *ptr=&a; b=20; //错误:b被声明为const int *ptr=10; //错误:ptr被声明为const int的指针在这个例子中,表达式 a、b、ptr 和 *ptr 都是左值。但是 b 和 *ptr 是常量左值。因为 ptr 被声明为指向 const int 的指针,不能使用它修改它所指向的对象。
赋值运算左边的操作数,以及任何自增或自减运算符(++ 和 --)的操作数,不仅应该是左值,还应该是可修改的左值。可修改的左值,其类型不可以被声明为限定符 const,并且可修改的左值不能是数组类型。如果可修改的左值所表示的对象是结构或联合类型,那么它的元素都不可以被声明(不管是直接地或间接地)为具有限定符 const 的类型。