赋值表达式的值等于右值

http://www.cnblogs.com/chenchenluo/archive/2012/05/05/2484867.html

我们知道，在C 语言中经常使用 诸如 if（表达式）{} ，while (表达式) {} 形式的判断语句，当表达式为真时执行 {} 中的函数体，但是当表达式为赋值表达式时怎么判断该表达式为真还是为假？或者当表达式为逗号表达式式又该怎么使用？

记住一个原则：C语言赋值表达式所代表的值就是被赋值变量最终被赋予的值。

以下测试代码可以证明以上观点：

View Code

那么以下代码的结果就很好理解了！

 1 #include <stdio.h>
 2 
 3 int main(int argc, const char *argv[])
 4 {
 5     int i;
 6     //当赋值为0时赋值表达式代表的逻辑值为假，所以下列语句不会执行
 7     if (i=0) {
 8         printf("i=0\n");
 9     }
10     //当赋值为非0时赋值表达式代表的逻辑值为真，所以下列语句会执行
11     if (i=1) {
12         printf("i=1\n");
13     }
14     //当赋值为非0时赋值表达式代表的逻辑值为真，所以下列语句会执行
15     if (i=-1) {
16         printf("i=-1\n");
17     }
18     //逗号表达式代表的逻辑值为最后一个表达式的逻辑值，所以下列语句不会执行
19     if (i=1,i=0) {
20         printf("i=1,i=0\n");
21     }
22     //逗号表达式代表的逻辑值为最后一个表达式的逻辑值，所以下列语句会执行
23     if (i=0,i=1) {
24         printf("i=0,i=1\n");
25     }
26 
27 
28 
29     return 0;
30 }

赋值表达式的值为何总是右值而不是左值？
我估计，按赋值表达式的语意，等号的左边总是“可写”的，右边总是“可读”的。如果赋值表达式的值是左边的值，那么程序需要重新计算等号左边的值才能返回，这带来两个问题，一是性能，二是左边的对象不一定可读（例如那些可写但不可读的属性）。于是，几乎所有语言都将“所赋的值”作为赋值语句的返回值，所以连续赋值语句的行为总是“计算最右值一次，从右向左赋值多次”。
但是，对于coffee的解构赋值表达式，情况则有点不同，因为coffee必须将该表达式拆分成两个，当c是一个包含副作用的属性时，a=b=c 和 b=c;a=c; 并不是等价的。所以，对于解构赋值表达式，等号右边的表达式实际将会求值多次。