C++ 代碼品質工程化：調試巨集、契約斷言、靜態分析與除錯技巧全攻略

一、編譯期調試控制：巨集開關

// 標頭檔 CommonDebug.h
#pragma once
#ifdef _DEBUG
    #define MY_TRACE(fmt, ...) printf("[TRACE %s:%d] " fmt "\n", __FILE__, __LINE__, __VA_ARGS__)
    #define MY_ASSERT(expr) do { if(!(expr)) { printf("[ASSERT %s:%d] %s\n", __FILE__, __LINE__, #expr); __debugbreak(); } } while(0)
#else
    #define MY_TRACE(fmt, ...) ((void)0)
    #define MY_ASSERT(expr) ((void)0)
#endif

• `_DEBUG` 由 MSVC `/MDd` `/MTd` 自動定義，GCC/Clang 需手動 `-D_DEBUG`。
• Release 版 (`NDEBUG`) 完全編譯移除，零開銷。
• 跨平台斷點：`__debugbreak()` (MSVC) / `__builtin_trap()` (GCC/Clang) / `raise(SIGTRAP)` (POSIX)。

二、運行期調試開關：命令列/環境變數/配置檔

bool g_debugEnabled = false;
void ParseDebugFlags(int argc, char* argv[]) {
    for (int i = 1; i < argc; ++i) {
        if (strcmp(argv[i], "--debug=on") == 0) g_debugEnabled = true;
        else if (strncmp(argv[i], "--debug-level=", 14) == 0) g_debugLevel = atoi(argv[i] + 14);
    }
    // 亦可讀環境變數 getenv("MYAPP_DEBUG") 或 JSON 配置
}

優點：生產環境無需重編譯即可開啟詳細日誌/資料結構傾印/效能計數器。

三、變數/運算式字串化：除錯輸出小工具

#define STRINGIFY(x) #x
#define LOG_VAR(x) std::cerr << "[" << __func__ << ":" << __LINE__ << "] " << STRINGIFY(x) << " = " << (x) << std::endl

// 用法
int timeout = 30;
LOG_VAR(timeout); // 輸出: [MyFunc:42] timeout = 30

// 進階：結構化日誌 (JSON)
#define LOG_VAR_JSON(x) LogJson({{"func", __func__}, {"line", __LINE__}, {"var", STRINGIFY(x)}, {"value", (x)}})

四、標準斷言 `` 與進階契約

#include 
void Process(int* ptr, size_t len) {
    assert(ptr != nullptr);           // 前置條件：指標非空
    assert(len > 0);                  // 前置條件：長度合法
    // ...
    assert(result >= 0);              // 後置條件/不變式
}

• Release 定義 `NDEBUG` 移除所有 `assert` (含副作用！`assert(ptr++)` 會導致 Release 行為不同)。
• 嚴禁在 `assert` 中放置有副作用的運算式。

五、現代契約式設計：GSL Expects/Ensures + 靜態分析

#include 
#include  // span, not_null, owner

void Transfer(gsl::not_null from, gsl::not_null to, Money amount) {
    Expects(from->Balance() >= amount);  // 前置條件：編碼期文檔 + 運行期檢查 + 靜態分析提示
    Expects(from != to);
    from->Withdraw(amount);
    to->Deposit(amount);
    Ensures(from->Balance() == old_balance - amount); // 需手工保存舊值
    Ensures(to->Balance() == old_balance + amount);
}

GSL 優勢：

• `not_null` 編碼期表達「非空契約」，Clang-Tidy `cppcoreguidelines-pro-bounds-pointer-arithmetic` 可靜態檢查。
• `owner` 標記擁有語意，配合 `unique_ptr` 消除裸指標擁有權。
• `Expects`/`Ensures` 可編譯為斷言、日誌、或無開銷 (Release)。

六、除錯技巧工具箱

結語

調試不是「加幾個 printf」，而是系統化的工程防線：
編譯期巨集 → 運行期開關 → 契約斷言 (GSL) → 靜態分析 (Clang-Tidy/Cppcheck) → 動態檢測 (Sanitizers/Valgrind) → 記錄重放 (rr) → 結構化日誌 (spdlog/fmt) → 事後分析 (perf/火焰圖)。
將這套體系內建於專案模板、CI 門禁、代碼審查清單，C++ 的「自由」才能轉化為「可控的可靠性」。

1. 上一篇文章： C# 程式設計常見錯誤深度解析：裝箱拆箱、Struct 語意、虛方法覆寫陷阱
2. 下一篇文章： 編寫規範易懂 C++ 代碼的核心原則與實踐指南

C++ 入門

Ant 打包 UIAutomator 專案：解決第三方 JAR 編譯與運行時依賴問題

問題背景 UIAutomator 專案引用第三方 JAR（如

堆排序完整實現：從建堆到原地排序的 C++ 模板

算法核心思想 堆排序利用完全二叉樹性質，將數組視為隱式堆結構

C++ 基石：引用參數與 const 引用避免拷貝的深度解析

前言：從 C#/Java 轉 C++ 的認知衝擊 習慣 C#

C++ 標準庫 bitset 完整指南：位集合操作詳解

C++ 標準庫 bitset 完整指南：位集合操作詳解 簡介