C 語言退出多層嵌套循環的三種方法：goto、狀態標志、函數返回

編輯：關於C語言

問題背景

break 只能跳出最內層循環。若需從深層嵌套循環一次性跳出，有三種常見模式。

方法一：goto（最直接，爭議最大）

for (int i = 0; i < N; i++) {
    for (int j = 0; j < M; j++) {
        if (disaster()) goto cleanup;
    }
}
cleanup:
// 收尾代碼

優點：簡潔、零開銷、符合控制流圖直觀邏輯。
缺點：濫用導致「面條代碼」；部分編碼規範（如 MISRA C）禁止使用。
適用場景：錯誤處理統一出口、資源分配失敗回滾。

方法二：狀態標志（結構化，但冗長）

int status = OK;
for (int i = 0; i < N && status == OK; i++) {
    for (int j = 0; j < M && status == OK; j++) {
        if (disaster()) status = ERROR;
    }
}
if (status == ERROR) { /* 處理 */ }

優點：無 goto，符合結構化程序設計原則。
缺點：每層循環條件需額外判斷，變量污染作用域，易忘記檢查導致 Bug。
改進：用 do { ... } while(0) 包裹外層，配合 break 模擬 goto。

方法三：封裝為函數並 return（推薦）

int process() {
    for (int i = 0; i < N; i++) {
        for (int j = 0; j < M; j++) {
            if (disaster()) return ERROR_CODE;
        }
    }
    return SUCCESS;
}

// 調用處
int ret = process();
if (ret == ERROR_CODE) { /* 處理 */ }

優點：職責單一、可測試、無副作用、符合現代軟件工程原則。
缺點：需傳遞上下文參數（或用結構體），稍增加函數調用開銷（內聯可消除）。
適用場景：絕大多數業務邏輯，尤其涉及資源管理（RAII 風格）時。

對比總結

方法	可讀性	性能	適用場景	規範建議
goto	高（簡單時）	最優	錯誤回滾、狀態機	謹慎使用，註釋說明
狀態標志	中（冗長）	略有開銷	淺層嵌套、禁用 goto 環境	可接受
函數返回	高（模塊化）	可內聯優化	通用業務邏輯、資源管理	首選

最佳實踐建議

優先將嵌套循環提取為獨立函數，用 return 退出。
若確需在當前函數內處理，且嵌套 ≤ 2 層，狀態標志可接受。
只有在資源分配失敗需逆序釋放、或狀態機跳轉等極少數場景，才考慮 goto，並加註釋說明意圖。
編譯器優化（-O2）會將尾部 return 轉為跳轉指令，性能無損。

延伸：C 語言異常處理模式

// 資源獲取即初始化 (RAII) 風格
int do_work() {
    Resource *r1 = acquire1();
    if (!r1) return ERR1;
    Resource *r2 = acquire2();
    if (!r2) { release1(r1); return ERR2; }

    if (core_logic(r1, r2) != OK) {
        release2(r2); release1(r1); return ERR_LOGIC;
    }

    release2(r2); release1(r1);
    return OK;
}

這種「錯誤即返回、逐層釋放」模式是 C 語言工業級代碼的標準範式，比 goto 更安全、更易維護。