來自（其他問題）的行爲是來自JVM規範的錯誤還是預期的行爲？

Question

是否預期來自此問題的代碼的行爲？

Why does this go into an infinite loop?

Answer 1

我很高興你問，因爲在其他問題很少有人試圖解釋爲什麼它是這樣（plodoc的回答可能是最近的）。最重要的部分是：

§15.7.2術前評估操作數：

「Java編程語言也 保證的 操作的每一個操作數（除有條件 運營商& &，||和？:)似乎 在 的任何部分執行操作本身之前被充分評估。「

這裏的=是簡單賦值運算符=（§15.26.1）

這也保證了左操作將首先評估（§15.7.1），但左側是在這種情況下微不足道的。

這意味着x++必須在評估賦值運算符之前進行評估。增量將在賦值之前發生，並且由於它是後增量，所以它的計算結果爲x的舊值。

最後，當評估賦值運算符時，「old x」將被存儲在x中。

重要的是要強調，無論在編譯器中它做了什麼，或者看起來（或沒有）它有多直觀，在所有語言中都無法保證這一點。

這也是不是優先的問題。在C和C++中，++的優先級高於=。但在這些語言中，在序列點之間修改兩次變量是未定義的行爲。因此完全兼容的C編譯器會產生不同的結果。