左值右值

什么是左值(lvaule)？

左值是指可以被赋值的表达式。左值位于赋值语句的左侧，与其相对的右值(rvaule，见 1．11)则位于赋值语句的右侧。每条赋值语句都必须有一个左值和一个右值。左值必须是内存中一个可存储的变量，而不能是一个常量。下面给出了一些左值的例子：

int x;
int *p_int;
x=1;
*p_int=5;

变量x是一个整数，它对应于内存中的一个可存储位置，因此，在语句“x＝1”中，x就是一个左值。注意，在第二个赋值语句“p_int＝5”中，通过“”修饰符访问p_int所指向的内存区域；因此，p_int是一个左值。相反，下面的几个例子就不是左值：

//#define CONST_VAL 10
int x；

5 = x;
CONST_VAL = 5;

在上述两条语句中，语句的左侧都是一个常量，其值不能改变，因为常量不表示内存中可存储的位置。因此，这两条赋值语句中没有左值，编译程序会指出它们是错误的。

数组(array)可以是左值吗?
左值被定义为可被赋值的表达式。那么，数组是可被赋值的表达式吗?不是，因为数组是由若干独立的数组元素组成的，这些元素不能作为一个整体被赋值。下述语句是非法的：

int x[5]，y[5];
x=y；

不过，你可以通过for循环来遍历数组中的每个元素，并分别对它们赋值，例如：

int i；
int x[5];
int y[5];
......
for(i=0; i<5，i++)
x[i]＝y[i]；
......

此外，你可能想一次拷贝整个数组，这可以通过象memcpy()这样的函数来实现，例如：
memcpy(x，y，sizeof(y))；

与数组不同，结构(structure)可以作为左值。你可以把一个结构变量赋给另一个同类型的结构变量，例如：

typedef struct t_name
{
char last_name[25];
char first_name[15];
char middle-init [2];
}NAME;
…
NAME my_name, your_name;
…
your_name = my_name;
…
在上例中，结构变量my_name的全部内容被拷贝到结构变量your_name中，其作用和下述语句是相同的：
memcpy(your_name，my_name，sizeof(your_name);

什么是右值(rvaule)?

左值被定义为可被赋值的表达式，你也可以认为左值是出现在赋值语句左边的表达式。这样，右值就可以被定义为能赋值的表达式，它出现在赋值语句的右边。与左值不同，右值可以是常量或表达式：例如：

int x，y;
x = 1; /* 1 is an rvalue, x is an lvalue */
y = (x+1); /* (x+1)is an rvalue；y is an lvalue */

一条赋值语句必须有一个左值和一个右值，因此，下述语句无法通过编译，因为它缺少一个右值：

int x;
x=void_function_call(); /* the function void—function—call() returns nothing */

如果上例中的函数返回一个整数，那么它可以被看作一个右值，因为它的返回值可以存储到左值x中。