C++ const 變量修改疑雲：const_cast 背後的編譯器優化與未定義行為真相

現象重現

const int a = 10;
const int* p1 = &a;
int* p2 = const_cast<int*>(p1);
*p2 = 20;  // 通過非 const 指針修改

printf("%p: %d  %p: %d  %p: %d\n", &a, a, p1, *p1, p2, *p2);
// 輸出可能：0x...: 10  0x...: 10  0x...: 20
// 三個地址相同，但 a 仍為 10，*p1 為 10，*p2 為 20！

核心解析：發生了什麼？

1. 編譯器優化：常量傳播

因 a 被聲明為 const int 並初始化為字面值，編譯器有權將其視為編譯期常量：

• 直接將 a 的所有讀取替換為 10（常量傳播）
• 甚至根本不在內存中分配空間，或放入 .rodata 段（只讀內存）

2. const_cast 只是欺騙編譯器

• 移除了類型系統的 const 資格，允許寫入
• 不改變運行時內存屬性：若內存真為只讀，寫入將觸發硬件異常（段錯誤）
• 不阻止編譯器優化：編譯器仍假信 a 不變，繼續用 10 替換讀取

3. 未定義行為（UB）

C++ 標準明確規定：通過非 const 路徑修改原本定義為 const 的對象 → 未定義行為。表現包括但不限於：

• 修改成功，但其他讀取仍見舊值（如本例）
• 程序崩潰（寫只讀段）
• 看似正常運行，後續邏輯錯誤
• 不同優化等級（-O0 vs -O2）行為不一致

為什麼地址相同但值不同？

// 編譯器視角偽代碼
const int a = 10;           // 編譯期常量，可能無內存實體
const int* p1 = &a;        // 取地址迫使分配內存（或不分配，符號表記錄）
int* p2 = const_cast...;   // 類型欺騙
*p2 = 20;                  // 實際寫入內存地址（若可寫）
printf("%d", a);           // 常量傳播 → 直接輸出 10，不讀內存
printf("%d", *p1);         // 可能讀內存（得 20），也可能常量傳播（得 10）
printf("%d", *p2);         // 讀內存 → 20

關鍵點：a 的讀取被常量折疊優化掉了，而 *p1 和 *p2 是運行期間接訪問，無法在編譯期確定值。

正確做法：何時真需要修改「常量」？

1. 去除 const 定義：若需修改，不要聲明 const
2. mutable 成員：類中邏輯常量但物理可變的字段用 mutable
3. API 兼容：調用不當的 C 接口（無 const 參數）時，確保對象真非 const 再用 const_cast
4. 硬件寄存器：volatile + 非 const，而非 const_cast

總結

const_cast 是拆除類型系統護欄的工具，而非修改常量的魔法。本例中：

• 地址相同：確實操作同一內存位置
• 值不同：編譯器常量傳播導致 a 讀取被優化為立即數
• 本質：未定義行為，結果不可預期，嚴禁生產代碼使用

「對 const 對象寫入，後果自負。」—— C++ 標準委員會