關於序列點和UB

Question

這是一個我無法清楚解釋的問題。

---

哪個選項是錯誤的，爲什麼？

(A) a += (a++); 
(B) a += (++a); 
(C) (a++) += a; 
(D) (++a) += (a++); 

是什麼A和B之間的區別？

我明白了： A是UB，但B是可以的，因爲++a的副作用將在分配前完成。是對的嗎？

更新：在序列點內++a和a++之間有什麼區別？預增量（減量）的副作用可能在下一個seq點之前的任何時間完成，就像後增量（遞減）一樣？

Answer 1

哪個選項錯誤，爲什麼？

所有這些都是錯誤的，這是因爲前兩個調用未定義的行爲，最後兩個不編譯。 （如果他們這樣做，他們也會調用UB。）

Answer 2

第一個和第二個是UB，因爲C沒有定義什麼應該首先被評估。

第三和第四，不進行編譯 - 原因：lvalue required as left operand of assignment

讓我對前兩個更具體：

a += (a++); - 等於a = a + (a++);

• 如果a++評估首先它是a = a + 1 + a;
• 如果a++在最後評估那麼它是a = a + a;

但是C沒有定義先發生什麼，所以它取決於實現，它是UB。

第二種情況也是如此。