問題:

最近在讀 order of evaluation violations，其中的一個例子使我很困惑。

1）如果對一個標(biāo)量對象的副作用相對于對這個標(biāo)量對象的另一個副作用是無序的，那么這是未定義行為。

//代碼片段  
f(i=-1,i=-1);//undefined behavior 未定義行為 

在這段代碼中，很明顯 i 是一個標(biāo)量對象。

算術(shù)類型（3.9.1），枚舉類型，指針類型，指針成員類型（3.9.2），空指針類型和被const或volatile修飾的類型（3.9.3）等統(tǒng)稱為標(biāo)量類型。

從這句話中我看不出上面那句代碼有什么分歧的地方。我認為不論***個參數(shù)還是第二個參數(shù)先執(zhí)行，i最終都是-1，并且兩個參數(shù)的值都是-1。

有人能解釋清楚這些嗎？

***答案：

既然運算是無序的，也就不能說分配任務(wù)的指令不能交錯執(zhí)行。也許會選擇***的方式去運行，由CPU的架構(gòu)來決定。引用下面這句話來說明：

如果A在B之前是無序的并且B在A之前是無序的，那么存在兩種可能性：

• 預(yù)估A和B是無序的：它們可能以任意的順序運行并且可能會重疊（在一個線程的執(zhí)行中，編譯器可能會交錯組織包含A和B的CPU指令）。

• 預(yù)估A和B是無法確定的順序：它們可能以任意順序運行但是一定不會重疊?；蛘逜在B執(zhí)行之前完成或者B在A執(zhí)行之前完成。下一次執(zhí)行同樣的語句時，執(zhí)行的順序有可能是相反的。

假設(shè)運算執(zhí)行后，把-1存進一個內(nèi)存地址，就這個行為自身而言，這似乎并不會引發(fā)任何問題。但是如果一個指令和另一個指令交錯執(zhí)行操作同一個內(nèi)存地址，你不能說編譯器不會把這些指令優(yōu)化成一個獨立的具有同樣效果的指令集，這樣就會出錯了。

例如，假想把內(nèi)存清零然后再遞減是***效的?，F(xiàn)在開始值是-1，然后就是：

1 f(i=-1,i=-1)   

也許會變成：

clear i //清空 i  
clear i //清空 i  
decr i //遞減 i  
decr i //遞減 i 

現(xiàn)在i是-2。

這也許是一個假的例子，但可能是真的。

原文鏈接： stackoverflow   翻譯： 伯樂在線 - 閃了腰的企鵝

譯文鏈接： http://blog.jobbole.com/62650/