C語言函式返回值深度解析：為何「有無返回值混用」合法卻危險

標準規定與編譯器行為

C 標準（C99 §6.9.1/12）規定：若函式宣告有返回型別（非 void），控制流到達函式末尾而未執行 return 表達式;，行為未定義。但若函式在某些路徑 return;（無表達式），另一些路徑 return 值;，語法上合法，編譯器通常只發出警告（-Wreturn-type），程式仍可編譯執行。

實測程式碼分析

#include <stdio.h>
int f(int i) {
    if (1)
        return;      // 無返回值
    else
        return 1;    // 有返回值
}
int main(void) {
    int i = -10;
    printf("%d\n", f(i));  // 輸出 -10（實測 GCC x86-64）
    return 0;
}

為何輸出 -10？

• f 無參數實質使用，i 存於堆疊/暫存器。
• return; 相當於 ret 指令，不清理返回值暫存器（x86-64 的 RAX / ARM 的 R0）。
• 呼叫端 printf 讀取 RAX，恰好殘留呼叫者 main 中的區域變數 i = -10（編譯器將 i 配置在 RAX 傳遞參數或暫存）。
• 這屬於未定義行為（UB），不同編譯器、最佳化等級、呼叫慣例結果完全不同，可能輸出 0、亂碼、甚至崩潰。

組合語言視角（GCC -O0 x86-64）

f:
    push   rbp
    mov    rbp, rsp
    ; if (1) 永真，直接跳轉
    nop
    pop    rbp
    ret                ; 無 mov eax, ...，RAX 保持原值
main:
    mov    DWORD PTR [rbp-4], -10
    mov    eax, -10    ; 參數放入 EAX
    call   f
    ; f 返回後 RAX 仍為 -10
    mov    esi, eax
    lea    rdi, [format]
    call   printf

標準為何允許此語法？

歷史包袱：早期 K&R C 無原型宣告，函式可隱式返回 int。ANSI C 為相容既有碼，未強制所有路徑必須有 return 表達式，僅規定「落出函式底部」為 UB。編譯器責任是診斷可達路徑缺失返回值，但非強制報錯。

靜態分析工具檢測

最佳實踐：杜絕混用返回值

原則 1：統一返回風格

/* 錯誤示範 */
int bad(int cond) {
    if (cond) return 1;
    return;           // UB
}

/* 正確：所有路徑明確返回 */
int good(int cond) {
    if (cond) return 1;
    return 0;         // 明確預設值
}

/* 正確：提前返回錯誤碼，成功路徑最後返回 */
int better(int cond) {
    if (!cond) return -1;
    // ... 處理邏輯
    return 0;
}

原則 2：錯誤處理用 errno 或輸出參數

/* 回傳 bool 成功與否，結果經指標輸出 */
bool try_compute(int input, int *result) {
    if (input < 0) return false;
    *result = input * 2;
    return true;
}

原則 3：啟用嚴格警告並視為錯誤

# CMake
add_compile_options(-Wall -Wextra -Werror=return-type)

# Makefile
CFLAGS += -Wall -Wextra -Werror=return-type

延伸：noreturn 屬性與 exit/longjmp

若函式確定不返回（如 abort(), exit(), 無限迴圈），標記 _Noreturn (C11) 或 __attribute__((noreturn))，編譯器即不要求返回值：

_Noreturn void fatal(const char *msg) {
    fprintf(stderr, "FATAL: %s\n", msg);
    exit(EXIT_FAILURE);
}

總結

• 「有無返回值混用」語法合法但語意危險，屬 UB 範疇。
• 實際輸出取決於呼叫慣例、暫存器分配、最佳化等級，不可依賴。
• 務必啟用 -Wreturn-type 並視為編譯錯誤，靜態分析納入 CI 流程。
• 設計介面時：要麼所有路徑返回具體值，要麼改用 bool+輸出參數，要麼標記 noreturn。

嚴謹的返回值規範，是 C 程式穩健性的基石之一。

1. 上一篇文章： C語言專案頭文件架構設計：避免循環依賴與編譯錯誤的最佳實踐
2. 下一篇文章： 嵌入式實時系統 C/C++ 代碼優化全攻略：十大實戰技巧與效能權衡

關於C語言

C 語言輸出格式控制：%g 格式符的科學記數法自動切換行為

%g 格式符簡介 %g (或 %G) 是 printf

C語言實作：計算長整數各位數字之和

數字位數拆解與加總 本程式示範如何使用取餘數 (%) 與整數

劣質代碼評析：《C語言入門經典》附錄B 21點遊戲（五）—— 發牌、顯示與計分模組化

核心模組：dealcard、disp、update、getc

C語言 scanf 終極避坑指南：輸入截斷、回車殘留、緩衝區殘留、非法輸入死循環

C語言 scanf 終極避坑指南：輸入截斷、回車殘留、緩衝區