C++ 未初始化指針訪問導致編譯/運行錯誤：新版 MSVC 檢測機制解析

錯誤代碼

double *p;          // 未初始化
cout << &p << endl; // 輸出指針自身地址
// 運行時報錯：Run-Time Check Failure #3 - The variable 'p' is being used without being initialized.

錯誤原因

Visual Studio (MSVC) 啟用 **Run-Time Checks (/RTC1, /RTCs, /RTCu)** 時，會在運行時檢測未初始化變量的讀取行為。雖然代碼只輸出指針變量 `p` 自身的地址 (`&p`)，但調試版運行庫仍會標記該變量為「未初始化」，因為其值（指向的地址）是不確定的，屬於未定義行為風險。

解決方案

1. 初始化指針（推薦）：

   double *p = nullptr; // C++11
   // 或
   double *p = NULL;    // C++98
   // 或分配內存
   double *p = new double; // 需配套 delete
   

2. 關閉運行時檢查（不推薦，掩蓋隱患）：
   • 項目屬性 → C/C++ → Code Generation → Basic Runtime Checks → Default (/RTC1) 改為 None。
3. 僅輸出地址不解引用：若確定邏輯安全，可用 `reinterpret_cast(&p)` 輸出地址值，但仍觸發檢查。

最佳實踐

• **聲明即初始化**：`Type *ptr = nullptr;` 成為肌肉記憶。
• 使用智能指針 (`std::unique_ptr`, `std::shared_ptr`) 替代裸指針，自動管理生命周期。
• 編譯器警告等級設置為 `/W4` (MSVC) 或 `-Wall -Wextra` (GCC/Clang)，靜態分析提前發現。
• 理解「變量地址」與「變量值」的區別：`&p` 是棧上固定地址，`p` 是存儲在該地址的未確定指針值。

擴展知識

C++ 標準規定：讀取未初始化的非類類型自動存儲期變量導致**未定義行為** (UB)。現代編譯器通過儀器化檢測此類 UB，保護開發者免受隨機崩潰、數據竊取等安全風險。