C语言左值与右值详解

左值是用来指明一个对象的表达式。最简单的左值就是变量名称。左值（lvalue）之所以称为“左”（以首字母为 L，代表 left），是因为一个左值表示一个对象，它可以出现在赋值运算符（assignment operator）的左边，例如“左表达式=右表达式”。

其他表达式（那些表示一个值但不指明一个对象的），被类似地称为右值（rvalue）。右值是可以出现在赋值运算符右边而不是左边的表达式。例如，常量和算术表达式。

从一个左值中必定可以解析出对应对象的地址，除非该对象是位字段（bit-field）或者被声明为寄存器存储类。生成左值的运算符包括下标运算符（subscript operator）[]和间接运算符（indirection operator）*，如下表所示（如果 array 已被声明为数组，而 ptr 被声明为指针变量）。

表1 指针和数组表达式可能是左值

表达式	是左值吗
array[1]	是；一个数组元素是一个具有位置的对象
&array[1]	否；此对象的位置，并非一个具有位置的对象
ptr	是；此指针变量是一个具有位詈的对象
*ptr	是；指针所指的地方是一个具有位置的对象
ptr+1	否；此加法产生一个新的地址值，但不是一个对象
*ptr+l	否；此加法产生一个新的算术值，但不是一个对象

对象可以被声明为常量。在这种情况下，该对象就不能位于赋值运算的左边，尽管它是左值，如下面的例子所示：

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 的类型。