→ cgcheng: mulit-thead的話，++就不太是 atomic了啊 06/09 22:13
※ 編輯: wtchen (90.41.66.248), 06/10/2016 15:28:26
※ 編輯: wtchen (90.41.66.248), 06/10/2016 15:29:55
※ 編輯: wtchen (90.41.66.248), 06/10/2016 15:38:14
這篇有爭議，乾脆直接重寫，看大家認為如何
原標題"在一個運算式中，不能對一個基本型態的變數修改其值超過一次以上"
因為不完全正確(可看以下說明)所以修改
==============================================================
08. ++i/i++/--i/i--/f(&i)哪個先執行跟順序有關
++i/i++ 和--i/i-- 的問題幾乎每個月都會出現，所以特別強調。
當一段程式碼中，某個變數的值用某種方式被改變一次以上，
例如 ++x/--x/x++/x--/function(&x)(能改變x的函式)
- 如果Standard沒有特別去定義某段敘述中哪個部份必須被先執行，
那結果會是undefined behavior(結果未知)。
- 如果Standard有特別去定義執行順序，那結果就根據執行順序決定。
C/C++均正確的例子：
if (--a || ++a) {} // ||左邊先計算
if (++i && f(&i)) {} // &&左邊先計算
a = (*p++) ? (*p++) : 0 ; // 問號左邊先計算
int j = (++i, i++); // 這裡的逗號為運算子，表示依序計算
C/C++均錯誤的例子：
int j = ++i + i++; // undefined behavior，Standard沒定義+號哪邊先執行
x = x++; // undefined behavior, Standard沒定義=號哪邊先執行
arr[i] = i++; // undefined behavior, 原因同上
cout << i << "==" << i++; // undefined behavior， Standard沒定義哪邊先執行
printf( "%d %d %d", I++, f(&I), I++ ); // undefined behavior, 原因同上
foo(i++, i++); // undefined behavior，這裡的逗號是用來分隔引入參數的
// 分隔符(separator)而非運算子，Standard沒定義哪邊先執行
在C錯誤但是在C++正確的例子：
C++中，++i/--i為左值(lvalue)，i++/i--為右值(rvalue)。
左值可以被assign value給它，右值則不行。
而在C中，++i/--i/i++/i--都是右值。
所以以下的code在C++會正確，C則否。
++++++++++phew ; // C++會把它解釋為++(++(++(++(++phew))));
i = v[++i]; // ++i會先完成
i = ++i + 1; // ++i會先完成
補充資料
- Undefined behavior and sequence points
http://stackoverflow.com/questions/4176328/undefined-behavior-and-
sequence-points)
- C11 Standard 6.5.13-17，Annex C
- Sequence poit
https://en.wikipedia.org/wiki/Sequence_point
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 90.41.66.248
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1465461861.A.882.html