5.3 左值和右值
为了理解有些操作符的限制,必须理解左值(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的值是内存中某个特定位置的地址,*操作符使机器指向那个位置。但它作为左值使用时,这个表达式指定需要进行修改的位置;当它作为右值使用时,它就提取当前存储于这个位置的值。
有些操作符,如间接访问和下标引用,它们的结果是个左值。其余操作符的结果则是个右值。
#include
#include
int main( void ){
int a = 1, b = 2;
int *pa;
printf( "a is a left value, a = %d; b is a left value, b = %dn", a, b );
a = b + 2;
printf( "a is a left value, b + 2 is a right value.nAfter a = b + 2, a = %d, b = %dn", a, b );
pa = &a;
printf( "pa is a left value, &a is a right value.nAfter pa = &a, pa = %p, &a = %pn", pa, &a );
*pa = 3;
printf( "*pa is a left value, 3 is a right value.nAfter *pa = 3, *pa = %d, a = %dn", *pa, a );
b = *pa + 5;
printf( "b is a left value, *pa + 5 is a right value.nAfter b = *pa + 5, b = %dn", b );
int arr[] = { 1, 2, 3, 4 };
int i;
printf( "print elements of arr:n" );
for( i = 0; i < sizeof(arr) / sizeof(*arr); ++i ){
printf( "%d ", arr[i] );
}
printf( "n" );
arr[2] = 5;
printf( "arr[2] is a left value, 5 is a right value.nAfter arr[2] = 5, arr[2] = %dn", arr[2] );
printf( "after arr[2] = 5, the elements of arr:n" );
for( i = 0; i < sizeof(arr) / sizeof(*arr); ++i ){
printf( "%d ", arr[i] );
}
printf( "n" );
*(arr + 2) = *(arr + 1);
printf( "*(arr + 2) is a left value, *(arr + 1) is a right value.nAfter *(arr + 2) = *(arr + 1), the elements of arr:n" );
for( i = 0; i < sizeof(arr) / sizeof(*arr); ++i ){
printf( "%d ", arr[i] );
}
printf( "n" );
return EXIT_SUCCESS;
}



