C语言零散知识集萃
左值和右值(节选自《C和指针 第二版》)
为了理解有些操作符存在的限制,你必须理解左值(L-value)和右值(R-value)之间的区别。这两个术语是多年前由编译器设计者所创造并沿用至今,尽管它们的定义并不与 C 语言严格吻合。
左值就是那些能够出现在赋值符号左边的东西。右值就是那些可以出现在赋值符号右边的东西。这里有个例子:
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;
请看第 2 条赋值语句,它左边的那个值显然是一个表达式,但它却是一个合法的左值。为什么那?因为指针 pi 的值是内存中某个特定位置的地址,* 操作符使机器指向那个位置。当它作为左值使用时,这个表达式指定需要进行修改的位置。当它作为右值使用时,它就提取当前存储于这个位置的值。
有些操作符,如间接访问和下标引用,它们的结果是个左值,其余操作符的结果则是个右值。为了便于参考, 这些信息也包含于本章后面的表5.