※ [本文轉錄自 Soft_Job 看板 #1LEb-bDg ]
作者: ah7675 (阿懋) 看板: Soft_Job
標題: [閒聊] i++ is undefined behavior?
時間: Fri Apr 24 23:22:09 2015
最近因為同事在code review時表示 i++會隨編譯器實作而有不同行為
所以要求我不要用這種寫法，到這邊應該很多人會說："沒錯啊，這你都不懂？"
關鍵在於他舉的例子是這樣的
i=10;
val = array[i++];
val equals array[10] or array[11]?
我整個傻住了，我的理解是，答案絕對是val=array[10]
而隨編譯器會變化的地方是，在該expression/statement所構成的
數個指令中"遞增"的時機可能不同，所以如果在一個expression中存取i
兩次以上會造成未定義行為
但suffix increament operator必定是先return再遞增
請問我的理解才是錯的嗎？
那GLIBC裡的strcmp實作也是不可靠的嗎？
https://fossies.org/dox/glibc-2.21/string_2strcmp_8c_source.html
還有另一個例子是說const global variable is better than Macro??
理由是global variable只有一份、用再多次也只是reference同一份
但是macro假設被使用10次就會造成code size增加10倍
用來舉例的型別是int
這也是顛覆了我一直以來的觀念，讓我相當震撼
我應該趕快請前輩喝飲料順便多請教他，還是趁試用期還沒過趕快離職？
請各位給我一些意見，感謝！