剖析C语言中a=a+++++a的无聊问题

　　好吧，倒霉的中文翻译让人看不懂，我们改成英文重新来一下：

　　[zorro@dhcp-65-110 tmp]$ LANG=C
　　[zorro@dhcp-65-110 tmp]$gcc-o mytest testcode.c -Wall
　　testcode.c: In function 'main':
　　testcode.c:5:9: error: lvalue required as increment operand
　　a = a+++++a;
　　 ^

　　好了，这回看懂了，意思是说++这个自增操作需要一个左值。这么说的话编译器可能是这样理解的：

　　a=((a++)++)+a;或者a=a+(++(++a));

　　让我们分别改成这两种情况尝试一下：

　　编译a = ((a++)++)+a的结果是：

　　[zorro@dhcp-65-110 tmp]$gcc-o mytest testcode.c -Wall
　　testcode.c: In function 'main':
　　testcode.c:5:12: error: lvalue required as increment operand
　　a = ((a++)++)+a;
　　^

　　编译a = a+(++(++a))的结果是：

　　[zorro@dhcp-65-110 tmp]$gcc-o mytest testcode.c -Wall
　　testcode.c: In function 'main':
　　testcode.c:5:9: error: lvalue required as increment operand
　　a = a+(++(++a));
　　^

　　和写成a = a+++++a的编译错误差不多。这就是说我的gcc认为++操作是不能以++a或者a++作为操作数的。

　　再看一下这样写：

　　a=a++ + ++a

　　请严重注意在中间那个+两边各有一个空格，让我们编译一下：

　　[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
　　testcode.c: In function 'main':
　　testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]
　　a = a++ + ++a;

　　testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]

　　这次没有error发生，只有两个警告。这样应该编译出可执行文件mytest了。先不管这两个警告我们执行一下看看：

　　[zorro@dhcp-65-110 tmp]$ ./mytest

　　a=4

　　嗯，看来a=1;a=a++ + ++a是这样做的：

　　a++的结果是1。然后++a时a初始是2，++后变成3。结果就是a=1 + 3也就是4。

　　虽然是编译出来了，并且也执行了，但是这样好吗?对，当然是不好。光那两个警告摆在那就够让人提心吊胆了。那个警告的意思是在说a上的操作可能是没有明确定义的，好像听着很晦涩难懂。好吧，我翻译成21世纪现代汉语告诉，它的意思的：我劝你别这么干，你要是非要这么干，到执行时别怪我跟你玩虚的。

　　有人说我用括号让意思明确一些应该行了吧?编译一下看看：

　　[zorro@dhcp-65-110 tmp]$ gcc -o mytest testcode.c -Wall
　　testcode.c: In function 'main':
　　testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]
　　a = (a++) + (++a);

　　testcode.c:5:4: warning: operation on 'a' may be undefined [-Wsequence-point]

　　唉，看来还是不行。为什么呢?我个人的理解是编译器可能想告诉你加法运算符的左右两边如果都是算式，那么不一定哪边先被执行。也就是加法运算符的左右两个操作数不一定谁先被读取执行，那么当左右两个运算又相互耦合时，聪明的编译器就会告诉你千万别这么干。你这么干了在我这可能是一种结果，在别的地方可能就是另一种结果了，但是不能完全指望编译器帮你检查出来，上面如果我们把-Wall选项去掉再编译，那么就不会有这个警告了，或者有的编译器目光狭窄根本不认为这是个问题，那么问题就非常严重了。如果是一个几万行几十万行甚至更多行的项目，这样的问题是很难调式发现的。所以千万要注意!

　　我们来总结一下，上面说了两个重要的问题：

　　1、++运算符不能以++a或a++作为运算数，至少在gcc上不让这样，所以建议你别这样写。

　　2、一些多目运算符号(如加减乘除与或等)，多个运算数如果是表达式，特别是耦合关系很强的表达式，千万要分开顺序重新组织代码，否则你不知道它先让哪个执行。

　　对于第二点可以扩展到函数等地方，例如printf()函数，很多人喜欢在printf里写表达式，如:

　　printf("%d,%d,%d", 表达式1，表达式2，表达式3);

　　当这3个表达式的执行顺序很重要时，你千万不要自认为它一定是按照1,2,3的顺序运行，它有可能是3,2,1的顺序的。

　　类似的地方还有很多，要时刻注意代码安全的重要性。

linux操作系统文章专题:linux操作系统详解（linux不再难懂）