VC Debug/Release 模式差異深度解析：編譯選項、常見崩潰原因與預防清單

編譯選項對照表

四大經典崩潰原因

1. 變數未初始化

Debug 自動填 0xCC (觸發中斷或可預測值)，Release 殘值隨機。
鐵律：宣告即初始化 int n=0; int* p=NULL; int arr[10]={0};

2. 自定義訊息處理函數缺少參數

// 錯誤
afx_msg LRESULT OnMyMsg();
// 正確
afx_msg LRESULT OnMyMsg(WPARAM w, LPARAM l);

Release 下參數對齊嚴格，缺參導致堆疊破壞、無效控制代碼。

3. ASSERT/VERIFY/TRACE 宏副作用

• ASSERT(i++ > 0) → Release 不執行 i++ → 邏輯錯誤
• VERIFY(ptr = new Obj) → 兩者皆執行分配，僅 Debug 檢查結果
• TRACE → Release 完全移除

原則：斷言/追蹤宏內絕無程式邏輯副作用。

4. 記憶體越界在 Debug 幸存

Debug CRT 在配置塊前後放置守護帶，掩蓋越界寫入。Release 直接觸發 Access Violation。
工具：Application Verifier、PageHeap、BoundsChecker、VS 內建 /RTC (僅 Debug)。

Release 模式調試技巧

1. 專案屬性 → C/C++ → 優化 → /Od 關閉優化，保留 Release 執行期庫
2. 連結器 → 偵錯 → 「產生偵錯資訊」/DEBUG 生成 .pdb
3. 附加到進程或啟動偵錯，斷點、變數監看正常運作
4. 或用 printf/OutputDebugString 輸出關鍵變數至檔案/偵錯視窗

預防清單 (Code Review 必查)

• ☑ 所有變數 (含類別成員) 建構函數初始化
• ☑ 所有訊息處理函數簽名完整 (WPARAM, LPARAM)
• ☑ ASSERT/VERIFY/TRACE 內無副作用運算
• ☑ new/delete 配對、智慧指標 (CComPtr, auto_ptr/unique_ptr)
• ☑ 陣列/緩衝區邊界檢查 (或用 std::vector/CString)
• ☑ 多執行緒共享資料加鎖 (CCriticalSection, mutex)
• ☑ 異常安全：try/catch(...) 保護外部呼叫

結語

Debug/Release 差異本質是編譯選項集合不同，99% 的「Release 才出錯」歸因於程式碼本身缺陷被 Debug 環境掩蓋。養成「零容忍」編碼習慣，配合靜態分析 (/analyze) 與 Runtime 檢測工具，才能交付穩健的 Release 版本。