剖析C語(yǔ)言中a=a+++++a的無(wú)聊問(wèn)題

　　好吧，倒霉的中文翻譯讓人看不懂，我們改成英文重新來(lái)一下：

　　[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;
　　                ^

　　好了，這回看懂了，意思是說(shuō)++這個(gè)自增操作需要一個(gè)左值。這么說(shuō)的話(huà)編譯器可能是這樣理解的：

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

　　讓我們分別改成這兩種情況嘗試一下：

　　編譯a = ((a++)++)+a的結(jié)果是：

　　[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))的結(jié)果是：

　　[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));
              　　^

　　和寫(xiě)成a = a+++++a的編譯錯(cuò)誤差不多。這就是說(shuō)我的gcc認(rèn)為++操作是不能以++a或者a++作為操作數(shù)的。

　　再看一下這樣寫(xiě)：

　　a=a++ + ++a

　　請(qǐng)嚴(yán)重注意在中間那個(gè)+兩邊各有一個(gè)空格，讓我們編譯一下：

　　[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]

　　這次沒(méi)有error發(fā)生，只有兩個(gè)警告。這樣應(yīng)該編譯出可執(zhí)行文件mytest了。先不管這兩個(gè)警告我們執(zhí)行一下看看：

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

　　a=4

　　嗯，看來(lái)a=1;a=a++ + ++a是這樣做的：

　　a++的結(jié)果是1。然后++a時(shí)a初始是2，++后變成3。結(jié)果就是a=1 + 3也就是4。

　　雖然是編譯出來(lái)了，并且也執(zhí)行了，但是這樣好嗎?對(duì)，當(dāng)然是不好。光那兩個(gè)警告擺在那就夠讓人提心吊膽了。那個(gè)警告的意思是在說(shuō)a上的操作可能是沒(méi)有明確定義的，好像聽(tīng)著很晦澀難懂。好吧，我翻譯成21世紀(jì)現(xiàn)代漢語(yǔ)告訴，它的意思的：我勸你別這么干，你要是非要這么干，到執(zhí)行時(shí)別怪我跟你玩虛的。

　　有人說(shuō)我用括號(hào)讓意思明確一些應(yīng)該行了吧?編譯一下看看：

　　[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]

　　唉，看來(lái)還是不行。為什么呢?我個(gè)人的理解是編譯器可能想告訴你加法運(yùn)算符的左右兩邊如果都是算式，那么不一定哪邊先被執(zhí)行。也就是加法運(yùn)算符的左右兩個(gè)操作數(shù)不一定誰(shuí)先被讀取執(zhí)行，那么當(dāng)左右兩個(gè)運(yùn)算又相互耦合時(shí)，聰明的編譯器就會(huì)告訴你千萬(wàn)別這么干。你這么干了在我這可能是一種結(jié)果，在別的地方可能就是另一種結(jié)果了，但是不能完全指望編譯器幫你檢查出來(lái)，上面如果我們把-Wall選項(xiàng)去掉再編譯，那么就不會(huì)有這個(gè)警告了，或者有的編譯器目光狹窄根本不認(rèn)為這是個(gè)問(wèn)題，那么問(wèn)題就非常嚴(yán)重了。如果是一個(gè)幾萬(wàn)行幾十萬(wàn)行甚至更多行的項(xiàng)目，這樣的問(wèn)題是很難調(diào)式發(fā)現(xiàn)的。所以千萬(wàn)要注意!

　　我們來(lái)總結(jié)一下，上面說(shuō)了兩個(gè)重要的問(wèn)題：

　　1、++運(yùn)算符不能以++a或a++作為運(yùn)算數(shù)，至少在gcc上不讓這樣，所以建議你別這樣寫(xiě)。

　　2、一些多目運(yùn)算符號(hào)(如加減乘除與或等)，多個(gè)運(yùn)算數(shù)如果是表達(dá)式，特別是耦合關(guān)系很強(qiáng)的表達(dá)式，千萬(wàn)要分開(kāi)順序重新組織代碼，否則你不知道它先讓哪個(gè)執(zhí)行。

　　對(duì)于第二點(diǎn)可以擴(kuò)展到函數(shù)等地方，例如printf()函數(shù)，很多人喜歡在printf里寫(xiě)表達(dá)式，如:

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

　　當(dāng)這3個(gè)表達(dá)式的執(zhí)行順序很重要時(shí)，你千萬(wàn)不要自認(rèn)為它一定是按照1,2,3的順序運(yùn)行，它有可能是3,2,1的順序的。

　　類(lèi)似的地方還有很多，要時(shí)刻注意代碼安全的重要性。

linux操作系統(tǒng)文章專(zhuān)題:linux操作系統(tǒng)詳解（linux不再難懂）