C語言 do-while(0) 慣用法：優雅替代 goto 的錯誤處理模式

編輯：關於C語言

C語言 do-while(0) 慣用法：優雅替代 goto 的錯誤處理模式

在 C 語言中，do { ... } while (0) 看似無意義的單次循環，實則是宏定義、錯誤處理、代碼塊隔離的「瑞士軍刀」。本文對比三種錯誤處理風格，深度解析 do-while(0) 的機制、優勢與最佳實踐。

場景：多步驟資源申請與錯誤回滾

典型模式：分配資源 → 步驟1 → 步驟2 → 步驟3 → 成功釋放返回；任一步驟失敗 → 釋放已分配資源 → 返回錯誤。

方案一：層層 if-else（箭頭型代碼）

bool execute() {
    int *p = malloc(N * sizeof(int));
    if (!p) return false;

    bool ok = step1();
    if (ok) {
        ok = step2();
        if (ok) {
            ok = step3();
            if (ok) {
                free(p);
                return true;
            }
        }
    }
    free(p);
    return false;
}

缺點：縮進無限加深，正常邏輯被推到右邊，釋放代碼重複，可讀性極差。

方案二：goto error 標籤（經典內核風格）

bool execute() {
    int *p = malloc(N * sizeof(int));
    if (!p) return false;

    bool ok = step1();
    if (!ok) goto error;
    ok = step2();
    if (!ok) goto error;
    ok = step3();
    if (!ok) goto error;

    free(p);
    return true;

error:
    free(p);
    return false;
}

優點：邏輯線性，錯誤處理集中，Linux 內核廣泛使用。
爭議：goto 被部分編碼規範禁止（如 MISRA C），需團隊共識。

方案三：do-while(0) 統一錯誤處理（無 goto、無深層嵌套）

bool execute() {
    int *p = malloc(N * sizeof(int));
    if (!p) return false;

    bool ok = true;
    do {
        ok = step1(); if (!ok) break;
        ok = step2(); if (!ok) break;
        ok = step3(); if (!ok) break;
        // 更多步驟...
    } while (0);

    free(p);
    return ok; // ok 為 true 表示全成功，false 表示某步失敗
}

機制：do { ... } while (0) 執行且僅執行一次循環體。break 跳出循環體，直接執行循環後的統一清理代碼。
優勢：

無 goto，滿足禁 goto 規範。
正常邏輯與錯誤處理分離，主流程自上而下閱讀。
清理代碼僅寫一次，杜絕資源洩漏。
變量作用域自然限制在循環體內（C99 可在循環體內聲明變量）。

進階：宏定義中的 do-while(0) 保護

多語句宏若不包裹，用在 if (cond) MACRO(); else ... 時會導致 else 匹配錯誤。

// 錯誤宏
#define SAFE_FREE(p) free(p); p = NULL

// 正確宏
#define SAFE_FREE(p) do { free(p); p = NULL; } while (0)

// 使用
if (ptr)
    SAFE_FREE(ptr); // 單語句，無需大括號
else
    log_error();    // else 正確匹配外層 if

do { ... } while (0) 將多語句合成為單一語句，且末尾無分號（調用者加分號），完美適配 C 語法。

對比總結

方案	可讀性	goto	代碼重複	適用場景
if-else 嵌套	⭐	無	高	極簡單流程（≤2步）
goto error	⭐⭐⭐⭐	有	無	內核、驅動、高性能、團隊接受 goto
do-while(0)	⭐⭐⭐⭐	無	無	應用層、嵌入式、禁 goto 規範、宏定義

最佳實踐建議

函數級錯誤處理：優先用 do-while(0)，清晰表達「嘗試執行序列，失敗即跳出」語義。
宏定義：多語句宏必須用 do { ... } while (0) 包裹。
資源管理：配合 goto 或 do-while 確保所有出口釋放資源，或使用 C++ RAII / GCC __attribute__((cleanup)) 自動化。
變量作用域：C99 起可在 do 內聲明變量，避免污染外層作用域。