C 語言錯誤處理三大模式對比：標誌變量、goto 跳轉、嵌套 if 的優劣與最佳實踐

C 語言缺乏異常機制，錯誤處理是代碼質量分水嶺。本文對比三種經典模式，分析優劣，並給出生產級推薦方案：錯誤碼返回 + RAII 風格清理 + 統一出口。

模式 1：標誌變量法 (Flag Variable)

int foo(int bar) {
    int ret = 0, ok = 1;
    ok = ok && do_something(bar);
    ok = ok && init_stuff();
    ok = ok && prepare_stuff();
    if (ok) ret = do_the_thing(bar);
    return ret;
}

• ✅ 邏輯線性、單一出口
• ❌ **資源洩漏風險**：前序步驟分配的資源 (內存、句柄、鎖) 在後續失敗時無自動釋放機制
• ❌ 需手動在每個 `if (!ok)` 分支插入清理代碼 → 代碼膨脹、易遺漏

模式 2：goto 錯誤標籤法

int foo(int bar) {
    if (!do_something(bar)) goto error;
    if (!init_stuff()) goto error;
    if (!prepare_stuff()) goto error;
    return do_the_thing(bar);
error:
    // 統一清理
    return 0;
}

• ✅ **統一清理點**，資源釋放集中管理
• ✅ 邏輯主幹清晰，錯誤路徑聚合
• ⚠️ **goto 污名化**：部分編碼規範禁用 (MISRA C、Linux 內核風格除外)
• ⚠️ 多層資源需反序釋放，標籤易變多 (`error1`, `error2`...) → 維護負擔

模式 3：深度嵌套 if 法

int foo(int bar) {
    int ret = 0;
    if (do_something(bar)) {
        if (init_stuff()) {
            if (prepare_stuff()) {
                ret = do_the_thing(bar);
            }
        }
    }
    return ret;
}

• ❌ **箭頭代碼** (Arrow Code)：右側縮進無限增長，可讀性極差
• ❌ 清理代碼分散在各層 `else` 或函數末尾，極難保證完整性
• ❌ 添加新步驟需增加縮進層級，擴展性極差

生產級最佳實踐：錯誤碼 + 反向清理宏 / 函數

方案 A：do-while(0) 統一出口模式 (Linux 內核風格)

int foo(int bar) {
    int ret = -EINVAL;
    Resource *r1 = NULL, *r2 = NULL;

    do {
        if (!do_something(bar)) break;
        r1 = alloc_resource1(); if (!r1) { ret = -ENOMEM; break; }
        r2 = alloc_resource2(); if (!r2) { ret = -ENOMEM; break; }
        if (!prepare_stuff(r1, r2)) { ret = -EIO; break; }
        ret = do_the_thing(bar);
    } while (0);

    // 反序清理 (安全釋放 NULL)
    free_resource2(r2);
    free_resource1(r1);
    return ret;
}

• 單一出口、統一清理、無 goto、無深層嵌套
• do { ... } while(0) 構造可 break 的塊作用域
• 清理函數需支援 NULL 參數 (免判空)

方案 B：C++ RAII 包裝器 (C 項目中模擬)

// 通用清理句柄
typedef struct { void *ptr; void (*cleanup)(void*); } CleanupHandle;
#define CLEANUP_VAR(name, ptr, fn) CleanupHandle name = {ptr, fn}
#define CLEANUP_FREE(h) do { if ((h).cleanup) (h).cleanup((h).ptr); } while(0)

int foo(int bar) {
    int ret = -EINVAL;
    void *r1 = alloc_resource1(); CLEANUP_VAR(h1, r1, free_resource1);
    void *r2 = alloc_resource2(); CLEANUP_VAR(h2, r2, free_resource2);
    
    if (!do_something(bar)) goto out;
    if (!prepare_stuff(r1, r2)) { ret = -EIO; goto out; }
    ret = do_the_thing(bar);
out:
    CLEANUP_FREE(h2);
    CLEANUP_FREE(h1);
    return ret;
}

方案 C：現代 C 編譯器屬性 `__attribute__((cleanup))` (GCC/Clang)

void free_resource1_wrapper(void *p) { free_resource1(*(void**)p); }
void free_resource2_wrapper(void *p) { free_resource2(*(void**)p); }

int foo(int bar) {
    int ret = -EINVAL;
    void *r1 __attribute__((cleanup(free_resource1_wrapper))) = alloc_resource1();
    void *r2 __attribute__((cleanup(free_resource2_wrapper))) = alloc_resource2();
    
    if (!do_something(bar)) return ret;
    if (!prepare_stuff(r1, r2)) return -EIO;
    ret = do_the_thing(bar);
    return ret;  // 自動按逆序調用 cleanup 函數
}

• **真正的 C 級 RAII**：變量離開作用域自動清理
• 無需手動釋放、無 goto、無標誌變量
• GCC/Clang/MSVC (最新版) 支援

對比總結

核心原則

1. 資源獲取即初始化 (RAII 思想)：分配與釋放綁定在同一作用域
2. 錯誤碼傳遞而非忽略：每層返回具體錯誤碼，上層決定處理/傳遞
3. 清理函數冪等性：支援重複調用、NULL 參數安全
4. 統一錯誤碼體系：項目級定義 ERR_* / -E*，禁用魔術數字

總結

C 語言錯誤處理的本質是**確定性資源管理**。推薦：GCC/Clang 環境首選 `cleanup` 屬性；跨平台項目用 `do-while(0)` + 反序清理宏；嚴禁裸指針手動管理、禁用深層嵌套、慎用 goto (除非團隊規範允許)**。將錯誤處理模式標準化納入編碼規範，配合靜態分析檢查資源洩漏，是 C 項目工程化的關鍵一步。