C++ const 變量通過指針修改導致同地址異值：編譯器優化與未定義行為

• 不同類型可能觸發不同的優化策略 (如 `float` 不進行常量傳播、或寄存器分配不同)。
• 可能涉及嚴格別名規則、內存對齊、代碼生成細節差異。
• **關鍵點**：**任何類型的 `const` 變量間接修改都是 UB，行為不可預測、不可移植、不可依賴。**

標準依據

• C++17 [dcl.type.cv] / 4: 「嘗試修改 `const` 對象導致未定義行為。」
• 編譯器有權基於 `const` 做激進優化 (常量摺疊、傳播、死代碼消除、向量化等)。

正確做法

1. 不要去除 `const` 修改**：若需可變，聲明為非 `const`。
2. 硬件寄存器/內存映射 I/O**：用 `volatile` 告訴編譯器「值可能意外改變」：

   
   volatile int hardwareReg = 0; // 編譯器不優化讀寫
   

3. 跨語言/共享內存**：用 `std::atomic` 或平台原子操作，配合內存屏障。

驗證編譯器優化

// 編譯器輸出彙編 (gcc -O2 -S)
movl    $50, %esi        ; 直接用常數 50 作為參數，未讀取內存
leaq    .LC0(%rip), %rdi
call    _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
; ...
movl    $200, (%rax)     ; 通過指針修改內存

可見 `x` 的使用被常數 `50` 替換，內存寫入獨立發生。