C語言函數分類詳解：庫函數 vs 用戶自定義函數、標準庫核心模組與最佳實踐

標準分類：兩大類

構成 C 程式的函數劃分為兩類：
1. 庫函數 — 由實現提供，標頭文件聲明，鏈接時自動解析。
2. 用戶自定義函數 — 程式設計師編寫，滿足特定業務邏輯。

庫函數：標準庫核心模組速查表

C 標準庫 (ISO/IEC 9899) 按頭文件組織，現代開發建議優先使用 C 版頭文件 (`` 在 C++，C 直接用 ``)。

用戶自定義函數：設計最佳實踐

1. 單一職責原則 (SRP)

一個函數只做一件事，做好一件事。過長函數 (>50 行) 必須拆分。

2. 介面設計：參數與返回值

/* 良好介面範例 */
int read_config(const char *path, Config *out_cfg);  // 返回錯誤碼，輸出參數用指針
size_t str_copy(char *dst, size_t dst_sz, const char *src); // 返回寫入長度，防止溢出
void *aligned_alloc_custom(size_t alignment, size_t size); // 返回分配地址，失敗返回 NULL

• 輸入參數：唯讀用 `const T *` / `const T`，大結構體傳指針。
• 輸出參數：用 `T *out`，調用者分配記憶體，被調用者填充。
• 輸入輸出參數：用 `T *inout`。
• 返回值：狀態碼 (`int`/`enum`) 或計算結果 (非指針型別)。避免返回局部變量指針。
• 錯誤處理：返回錯誤碼 + `errno` + 輸出參數 `NULL`，或結構體 `{int err; T value;}` (C11 `_Generic` 可模擬 Result 型別)。

3. 靜態內部函數

/* 文件內部輔助函數，不對外暴露 */
static void internal_cleanup(Context *ctx) { ... }
static int validate_input(const Input *in) { ... }

`static` 限制鏈接可見性，減少符號汙染，編譯器可更激進優化 (內聯/消除)。

4. 函數指針與回調

typedef int (*CompareFunc)(const void *a, const void *b);
void my_qsort(void *base, size_t nmemb, size_t size, CompareFunc cmp);

實現泛型演算法/事件驅動/插件架構的核心機制。

5. 遞歸與尾調用優化

• 遞歸深度受棧大小限制 (通常 1-8MB)，深度 > 1000 風險棧溢出。
• 尾遞歸優化 (TCO) 依賴編譯器 (`-O2`/`-O3` GCC/Clang 常支援，MSVC 不保證)。
• 深度不確定/較大場景改寫為迭代 (顯式棧/循環)。

命名規範建議

總結

• 庫函數：站在巨人肩膀上，熟練掌握 `` `` `` `` `` `` `` `` 核心模組，不要重複造輪子 (除非教學/極致優化/特殊約束)。
• 自定義函數：遵循 SRP、介面契約 (const/輸出參數/錯誤碼)、靜態封裝、模組前綴命名、文件級文檔註釋 (Doxygen/GTK-Doc 格式)。
• 現代 C 專案結構：`src/` (實現) + `include/` (公共頭文件) + `tests/` + `CMakeLists.txt` + `.clang-format` + `.github/workflows/ci.yml`。函數是模組化的原子單元，設計好函數介面，架構自然清晰。