C 語言函數全解析：從基礎語法到進階應用

C 語言函數全解析：從基礎語法到進階應用

在結構化程式設計中，函數是構建軟體系統的核心基石。透過「自頂向下、逐步求精、模組化」的原則，將複雜系統分解為獨立功能模組，每個函數專責特定資料處理，最終由主函數串聯起整個程式流程。本文將系統梳理 C 語言函數的定義、參數傳遞、遞歸、陣列應用、變數作用域與儲存類別等關鍵知識點。

一、函數的基本結構與分類

C 程式由一個主函數 main() 與若干子函數組成。函數定義通式包含類型指定符、函數名、參數列表、宣告區與敘述區。依參數與返回值特性，主要分為三類：

• 無參函數：不接收引數，直接執行預定邏輯。
• 有參函數：透過形式參數接收實際引數，實現資料輸入。
• 空函數：開發初期佔位使用，僅保留函數名與空函數體，後續再填充實作。

二、參數傳遞機制：值傳遞與形實參關係

C 採用值傳遞機制：實參（常數、變數、運算式）的值複製給形參，單向流動，形參變更不影響實參。關鍵規則包括：

1. 形參在函數調用時才分配記憶體，結束即釋放。
2. 實參與形參類型須相同或相容。
3. 返回值由 return 取得；若類型不匹配，以函數定義類型為準。
4. 無返回值函數用 void 宣告。

三、函數調用模式：巢狀與遞歸

巢狀調用：函數間平行定義，但可互相調用形成呼叫鏈。例如用截距法求解方程根，主函數呼叫 root()，後者再呼叫 xpoint() 與 f()，層層遞進完成計算。

遞歸調用：函數直接或間接呼叫自身。經典案例為階乘計算：

float fact(int n) {
    if (n < 0) printf("error");
    else if (n == 0 || n == 1) return 1;
    else return fact(n - 1) * n;
}

遞歸需明確終止條件（如 n==1），否則導致無限遞歸棧溢位。

四、陣列作為函數參數

陣列名作參數時，實際傳遞的是首元素位址，形參與實參共享同一記憶體區塊。注意事項：

• 形參陣列大小宣告對編譯器無約束力，float a[10] 與 float a[] 等價。
• 函數內修改陣列元素將直接影響原陣列。
• 常需額外傳遞陣列長度參數，防止越界。

五、變數作用域與儲存類別

關鍵差異：static 修飾區域變數可保持值跨越呼叫；register 建議編譯器優化存取速度，但受硬體暫存器數量限制；extern 擴展跨檔案可見性；檔案級 static 限制符號僅在編譯單元內可見，避免多檔案專案符號衝突。

六、內部與外部函數

函數預設為 extern（外部函數），可跨檔案調用。若在定義前加 static 成為內部函數（靜態函數），僅限本檔案可見，不同檔案可同名不衝突。跨檔案調用外部函數時，需在調用檔案以 extern 聲明。

掌握函數機制是編寫模組化、可維護 C 程式的基石。合理劃分功能、善用遞歸與靜態儲存、嚴控變數作用域，能顯著提升程式碼品質與效能。