C語言函數返回值機制全解析：類型、return 語句與 exit 差異

返回值類型規則

• 可返回除數組外的任意類型（含結構體、指標、聯合等）。
• 不寫返回類型：舊標準默認 int，C99/C++ 已廢除，必須顯式聲明。
• void 表示無返回值，return 可省略或寫 return;。
• main 函數若無 return，部分編譯器隱式補 return 0;（C99 標準保證）。

return 執行流程控制

立即退出函數

int main() {
    printf("111\n");
    printf("222\n");
    return 0;  // 後續代碼不再執行
    printf("333\n");
    printf("444\n");
}

無返回值函數用 return; 跳出

void prn(void) {
    printf("111\n");
    printf("222\n");
    return;  // 無參數 return
    printf("333\n");  // 不執行
}

返回值可加括號

long long MySqr(int x) {
    return (x * x);  // 括號合法，非賦值運算
}

return vs exit：關鍵區別

void prn(void) {
    printf("abc\n");
    exit(1);  // 異常退出程序，main 後續不執行
}

abort() 同樣終止程序，但不執行清理（如 atexit 註冊函數、流緩衝區刷新）。

返回值類型陷阱：整數除法截斷

float average(int a, int b, int c) {
    return (a + b + c) / 3.0;  // 必須用 3.0 強制浮點除法
    // return (a + b + c) / 3;  // 錯誤：整數除法先截斷再轉浮點
}

多重 return 設計模式

• 衛語句：參數檢查失敗早期返回，減少巢狀層級。
• 單一出口：舊風格要求函數僅一個 return，現代實務傾向多 return 簡化邏輯。

總結

1. 明確聲明返回類型，避免隱式 int。
2. return 立即結束函數執行，後續代碼死碼。
3. 區分 return（函數級）與 exit（進程級）。
4. 浮點運算注意除法類型，避免整數截斷導致精度丟失。
5. 善用早期返回簡化控制流，提升代碼可讀性。