Visual C++ 開發環境進階配置：除錯技巧、契約斷言與穩定性構建

一、建置配置與巨集控制

• Debug 版：`_DEBUG` 定義、`/MTd` (Debug CRT)、`/Od` (關閉優化)、`/RTC1` (運行期檢查)、`/Zi` (完整 PDB)。
• Release 版：`NDEBUG` 定義 (關閉 `assert`)、`/MT`、`/O2`、`/GL` (全域優化)、`/LTCG` (連結期優化)、`/Zo` (優化 PDB)。
• 自訂巨集：`MY_TRACE_ENABLE` 控制追蹤日誌編譯進出，避免 Release 版殘留輸出開銷。

二、運行期除錯標記：命令列動態開關

bool g_debugFlag = false;
int main(int argc, char* argv[]) {
    for (int i = 1; i < argc; ++i) {
        if (strcmp(argv[i], "--debug=on") == 0) g_debugFlag = true;
    }
    while (running) {
        if (g_debugFlag) { /* 詳細追蹤、資料結構傾印 */ }
        // 正常邏輯
    }
}

優點：無需重編譯即可在生產環境開啟診斷，配合日誌級別 (Error/Warning/Info/Debug/Trace) 更靈活。

三、變數/運算式字串化巨集

#define TO_STR(x) #x
#define LOG_VAR(x) std::cout << TO_STR(x) << " = " << (x) << std::endl;

// 用法
int timeout = 30;
LOG_VAR(timeout); // 輸出: timeout = 30

進階：配合 `__FILE__`、`__LINE__`、`__func__` (C++11) 實作結構化日誌巨集。

四、CRT `assert` 與 MFC `ASSERT` 選型指南

團隊統一規範：MFC 專案用 `ASSERT`，其他用 `_ASSERTE`，嚴禁混用。

五、契約式設計落地：從巨集到 GSL

// 傳統巨集版
#define CONTRACT_PRE(cond) _ASSERTE(cond)
#define CONTRACT_POST(cond) _ASSERTE(cond)
#define CONTRACT_INVARIANT(cond) _ASSERTE(cond)

// 現代 GSL 版 (需引入 gsl/gsl_assert)
#include 
void Transfer(Account& from, Account& to, Money amount) {
    Expects(from.Balance() >= amount);      // 前置條件
    Expects(&from != &to);                  // 前置條件
    from.Withdraw(amount);
    to.Deposit(amount);
    Ensures(from.Balance() == old_balance - amount); // 後置條件 (需手工保存 old)
    Ensures(to.Balance() == old_balance + amount);
}

GSL 優勢：語意標記化、可被靜態分析工具 (Clang-Tidy `cppcoreguidelines-*`) 識別、Release 版可編譯為無開銷或日誌記錄。

六、穩定性構建清單

1. 所有公開介面驗證前置條件 (指針非空、索引越界、狀態合法)。
2. 資源管理 100% RAII：`unique_ptr`、`shared_ptr`、`vector`、`string`、自定義 `scope_guard`。
3. 執行緒安全：優先用不可變資料、區域變數、無鎖資料結構；必須共享時用 `mutex`/`shared_mutex` + `lock_guard`/`unique_lock`，註明鎖層級防死鎖。
4. 異常安全：提供強烈/基本/不拋保證，文檔標註 (`noexcept`)。
5. 啟用 `/analyze` (MSVC) 或 Clang-Tidy `cppcoreguidelines-*` `modernize-*` `performance-*` `bugprone-*` 作為 CI 門禁。
6. AddressSanitizer (`/fsanitize=address`) / MemorySanitizer (`/fsanitize=memory`) 針對核心模組跑回歸測試。

結語

Visual C++ 不只是編譯器，更是一套「編碼→建置→靜態分析→除錯→測試→部署」完整工具鏈。掌握巨集控制、運行期開關、契約斷言、靜態/動態分析整合，才能在 C++ 的自由中建立紀律，交付穩定可靠的軟體。