編程精粹：斷言進階應用——防錯編程、算法驗證、初始檢查三大核心模式

前言

接續《編寫高質量C代碼：斷言基礎》，本文深入探討斷言在**防錯性編程**、**算法交叉驗證**、**初始檢查**三大進階場景的應用，通過字符解壓程式演進展示如何「不隱瞞錯誤、盡早發現錯誤、多算法互驗」。

案例研究：RLE 解壓程式演進

版本 1：單純防錯 (隱瞞錯誤)

byte* expand(byte *src, byte *dst, size_t len) {
    byte *end = src + len;
    while(src < end) {  // 防錯：src 不會超過 end
        byte b = *src++;
        if(b == REPEAT_CODE) {
            byte val = *src++;
            byte cnt = *src++;
            while(cnt--) *dst++ = val;
        } else {
            *dst++ = b;
        }
    }
    return dst;  // 即使 src > end 也會安靜返回
}

問題：輸入損壞導致 src > end 時，迴圈直接退出，**錯誤被隱瞞**，調用方以為成功。

版本 2：嚴格模式 (暴露錯誤但可能崩潰)

while(src != end) {  // 嚴格相等判斷
    // ...
    do *dst++ = val; while(--cnt != 0);  // cnt=0 會多執行一次
}

問題：src > end 導致無限迴圈；cnt=0 導致越界寫入。**崩潰雖暴露錯誤，但損害用戶數據**。

版本 3：防錯 + 斷言驗證 (最佳平衡)

byte* expand(byte *src, byte *dst, size_t len) {
    byte *end = src + len;
    while(src < end) {  // 防錯：保護性邊界
        byte b = *src++;
        if(b == REPEAT_CODE) {
            byte val = *src++;
            byte cnt = *src++;
            // 算法邏輯驗證：cnt>=4 或 (cnt==1 且 val==REPEAT_CODE)
            assert(cnt >= 4 || (cnt == 1 && val == REPEAT_CODE));
            while(cnt--) *dst++ = val;
        } else {
            *dst++ = b;
        }
    }
    // 終止條件驗證：必須精確消耗所有輸入
    assert(src == end);
    return dst;
}

三大核心模式

模式 1：防錯不隱瞞 —— 斷言補強邊界條件

「在進行防錯性編程時，若『不可能發生』的情況確實發生，必須用斷言報警。」

• 生產版：防錯邏輯保護用戶數據、防止崩潰
• 調試版：斷言暴露邏輯錯誤、資料損壞、演算法缺陷
• 經典場景：迴圈終止條件、資源釋放完整性、協議協商結果

模式 2：異算法交叉驗證

「利用不同算法對程序結果進行確認，當同一問題的不同算法出現不同結果時，觸發斷言。」

// 排序驗證
void sort_verify(int *a, int n) {
    int *b = malloc(n * sizeof(int));
    memcpy(b, a, n * sizeof(int));
    quicksort(a, n);
    mergesort(b, n);  // 完全不同算法
    for(int i = 0; i < n; i++)
        assert(a[i] == b[i]);  // 結果必須一致
    free(b);
}

// 校驗和驗證
uint32_t crc32(const byte *data, size_t len);
uint32_t adler32(const byte *data, size_t len);
assert(crc32(data, len) == expected_crc);
assert(adler32(data, len) == expected_adler);  // 雙重校驗

**適用範圍**：關鍵演算法 (排序、壓縮、加密、數值積分)、序列化/反序列化、分散式一致性檢查。

模式 3：初始檢查 (Fail-Fast)

「不要等待錯誤發生，要使用初始檢查程序，盡早發現錯誤。」

// 檔案處理前檢查
FILE* safe_open(const char *path, const char *mode) {
    assert(path != NULL);
    assert(mode != NULL);
    assert(strlen(path) < MAX_PATH);
    
    FILE *fp = fopen(path, mode);
    assert(fp != NULL);  // 立即失敗，而非後續 NULL 解引用
    return fp;
}

// 記憶體分配檢查
void* safe_malloc(size_t size) {
    assert(size > 0 && size < MAX_ALLOC);
    void *p = malloc(size);
    assert(p != NULL);  // OOM 立即終止，避免後續邏輯混亂
    return p;
}

斷言分級策略

自定義斷言宏實作

#ifdef NDEBUG
#define ASSERT(cond) ((void)0)
#else
#define ASSERT(cond) \
    do { \
        if(!(cond)) { \
            fprintf(stderr, "ASSERT FAILED: %s:%d: %s\n", \
                    __FILE__, __LINE__, #cond); \
            abort(); \
        } \
    } while(0)
#endif

// 使用範例
ASSERT(ptr != NULL);
ASSERT(index >= 0 && index < count);
ASSERT(file_size == expected_size);

總結：測試者不是你的除錯器

「測試者的工作並不只是針對你的程序進行測試，查出自己程序中的錯誤畢竟是你自己的工作。」

斷言讓錯誤在**開發期**而非**生產期**暴露，將調試成本降低 10-100 倍。掌握「防錯不隱瞞、異算法互驗、初始檢查先行」三大模式，是從「能跑通」進化到「高可靠」的關鍵躍升。

1. 上一篇文章： C語言實現多態：函式指標、虛函式表、表驅動、插件註冊完整架構
2. 下一篇文章： C語言經典實例：_getch 即時鍵盤監聽與輸入驗證

關於C語言

C語言獲取大文件長度：跨平台 64 位解決方案

C語言獲取大文件長度：跨平台 64 位解決方案 傳統 fte

C++ 實現十進制轉任意進制 (2-36) 通用算法：除基取餘法與字符映射表

十進制整數轉任意進制 (2-36) 的核心算法是**除基取餘

MapX 組件架構與 Layers 集合深度解析

MapX 組件模型結構 MapX 基本單元為 Object（

C語言指標陣列完全指南：定義、應用場景、字串排序與動態記憶體配置

指標陣列定義與本質 語法：型態 *陣列名[長度]; 解析順序