同樣的 `x = x++` 在 Java 和 C 中結果不同？後置遞增語義深度解析

代碼對比

C 語言 (GCC)

#include <stdio.h>
int main() {
    int x = 5;
    x = x++;
    printf("x=%d\n", x);  // 輸出：6
    return 0;
}

Java

public class Calc {
    public static void main(String[] args) {
        int x = 5;
        x = x++;
        System.out.println(x);  // 輸出：5
    }
}

根本原因：語言規範對「副作用完成時機」定義不同

Java 語言規範 (JLS 15.26.2) 明確定義

1. 計算左邊變數 `x` 的引用
2. 計算右邊表達式 `x++`：
    a. 保存舊值 5 為表達式結果
    b. **將 `x` 遞增為 6** (副作用立即完成)
3. 將表達式結果 (5) 賦值給左邊變數 `x`
4. 最終 `x = 5`

C 標準 (C99/C11) 留有實現定義空間

• C 標準僅要求在下一個 **sequence point** (如 `;`、函數調用) 前完成副作用
• 編譯器可選擇：x = x++ 等價於 x = 5; x = 6; (結果 6) 或 tmp=5; x=6; x=tmp; (結果 5)
• GCC/Clang/MSVC 行為可能不同，**屬於未定義/實現定義行為，生產代碼嚴禁使用**

最佳實踐

1. 永遠不要在同一表達式中對同一變數讀寫混用副作用運算子 (++, --, =, += 等)
2. 拆分為清晰語句：

   // Java / C 通用安全寫法
   x = x + 1;  // 或 x++;
   // 若需用舊值
   int old = x;
   x = x + 1;

3. 啟用編譯器警告：GCC `-Wsequence-point`、Java 編譯器無警告但可用靜態分析工具 (SpotBugs, SonarQube) 檢測

延伸：前置遞增 `++x`

// Java & C 行為一致
int x = 5;
x = ++x;  // 表達式值為新值 6，賦值後 x = 6

但同樣不建議寫成 `x = ++x`，直接 `++x;` 或 `x++;` 即可。