左值就是那些可以出现在赋值符号左边的东西,右值就是那些可以出现在赋值符号右边的东西。
这里有个例子:
a = b + 25;
a是个左值,因为它标识了一个可以存储结果值的地点;b+25是个右值,因为它只指定了一个值。
它们可以互换吗?
b + 25 = a;
原先用作左值的a此时也可以当作右值,因为每个位置都包含一个值。然而,b+25不能作为左值,因为它并未标示一个特定的位置。因此,这条赋值语句是非法的。
其实,当计算机计算b+25时,它的结果必然保存于计算机的某个地方。但是,这个地方程序员没有办法预测,也无法保证这个表达式下次还会存储于同一个地方。其结果就是这个表达式不能是一个左值。基于同样的理由,字面值常量也都不是左值。
听上去似乎变量可以作为左值而表达式不能作为左值,其实不然。在下面的赋值语句中,左值便是一个表达式:
int a[30];
...
a[b+10] = 0;
下标引用其实是一个操作符,所以赋值运算符的左侧其实是一个表达式,但它却是一个合法的左值,因为它标识了一个特定的位置,我们在以后的程序中可以引用它。
这里还有一个例子:
int a , *pi;
...
pi = &a;
*pi = 20;
第二条赋值语句,赋值运算符的左边显然是一个表达式,但它也是一个合法的左值。指针pi的值是某个确定位置的地址,解引用操作符时机器指向那个位置。
当*pi作为左值使用时,这个表达式指定了需要进行修改的位置;当它作为右值使用时,就是提取当前存储于这个位置的值。
所以,有些操作符,像解引用和数组下标引用,他们的表达式运算结果是一个左值。
最后总结,左值意味着一个位置,右值意味着一个值。在使用右值的地方也可以使用左值,但在需要使用左值的地方不能使用右值。