首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
您现在的位置: 程式碼之家 >> 編程語言 >  >> 更多程式語言 >> 程式設計疑難解答

C++ const 與非 const 生成相同匯編碼,為何仍能防止修改?

     編輯:程式設計疑難解答

現象解釋

代碼:

const int i = 42;
// int i = 42;
const int *p = &i;
*const_cast<int*>(p) = 0;  // 強制去除 const
std::cout << i << std::endl;  // 輸出可能仍為 42

編譯器層面的約束

  • 編譯期檢查:編譯器在語義分析階段檢測到對 const 對象的直接寫入(如 i = 0;),直接報錯拒絕生成目標文件。
  • 匯編碼相同:const int i 與 int i 在數據段分配方式相同(均為 .long 42),無運行時標記**。
  • 優化假設:編譯器假設 const 對象不變,可能將其值直接內聯到使用處(常量傳播),導致通過 const_cast 修改內存後,讀取時仍用舊值。

為什麼 const_cast 危險?

  1. 修改真正的 const 對象(如字面量池、只讀數據段)觸發 未定義行為**(UB)**,可能導致段錯誤或沉默錯誤。
  2. 僅適用於「原本非 const 對象被 const 指針引用」的場景(如 API 兼容)。

最佳實踐

  • 默認變量加 const,除非確需修改。
  • 函數參數用 const T& 或 const T* 表達只讀意圖。
  • 嚴禁對字面量、constexpr、static const 對象使用 const_cast 寫入。
  1. 上一篇文章:
  2. 下一篇文章:
Copyright © 程式碼之家 All Rights Reserved