左值是用来指明一个对象的表达式。最简单的左值就是变量名称。左值(lvalue)之所以称为“左”(以首字母为 L,代表 left),是因为一个左值表示一个对象,它可以出现在赋值运算符(assignment operator)的左边,例如“左表达式=右表达式”。
其他表达式(那些表示一个值但不指明一个对象的),被类似地称为右值(rvalue)。右值是可以出现在赋值运算符右边而不是左边的表达式。例如,常量和算术表达式。
从一个左值中必定可以解析出对应对象的地址,除非该对象是位字段(bit-field)或者被声明为寄存器存储类。生成左值的运算符包括下标运算符(subscript operator)[]和间接运算符(indirection operator)*,如下表所示(如果 array 已被声明为数组,而 ptr 被声明为指针变量)。
表达式 | 是左值吗 | |
---|---|---|
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 的类型。
原创文章,作者:奋斗,如若转载,请注明出处:https://blog.ytso.com/tech/pnotes/21585.html