C 語言函數中 return 執行後是否繼續執行後續代碼

結論

return 語句一旦執行，函數立即終止，返回調用處。函數體內 return 之後的代碼絕不會執行。

代碼驗證

#include <stdio.h>

int test(int x) {
    if (x > 0) {
        printf("分支1: x>0, 返回 0\n");
        return 0;          // 函數在此結束
        printf("這行永遠不會打印\n"); // 死代碼
    }
    printf("分支2: x<=0, 返回 1\n");
    return 1;              // 正常結束
}

int main() {
    printf("調用 test(5): %d\n", test(5));  // 輸出分支1, 返回 0
    printf("調用 test(-1): %d\n", test(-1)); // 輸出分支2, 返回 1
    return 0;
}

運行結果：

分支1: x>0, 返回 0
調用 test(5): 0
分支2: x<=0, 返回 1
調用 test(-1): 1

底層原理

• 棧幀銷毀：return 執行時，CPU 執行 ret 指令，彈出返回地址跳轉，當前棧幀（局部變量、參數、返回地址）被銷毀。
• 控制流轉移：編譯器生成無條件跳轉指令，後續機器碼不可達，優化器會直接刪除（Dead Code Elimination）。
• 調試器行為：斷點設置在 return 後的語句永遠不會命中。

常見誤區

最佳實踐

1. 單一出口原則（可選）：函數末尾統一 return result;，減少分支漏洞。
2. 防禦性編程：所有分支覆蓋返回值，避免「控制流到達非 void 函數末尾」警告。
3. 編譯器警告：開啟 -Wreturn-type (GCC/Clang) 或 /Wall (MSVC)，自動檢測缺失返回。

總結

return 是函數的「終止符」，執行即刻跳轉，後續代碼屬於死代碼。理解棧幀機制有助於深入掌握函數調用、遞歸、異常處理等進階主題。