C語言函數嵌套調用與遞歸調用機制解析

函數嵌套調用

C 不允許嵌套定義函數，但允許嵌套調用：

main() {
    a(); // 調用 a
}
a() {
    b(); // a 中調用 b
}
b() { ... } // 執行完返回 a，a 完返回 main

執行流程：main → a → b → 返回 a → 返回 main。每層調用保存斷點（返回地址），棧幀管理局部變量。

遞歸調用

函數直接/間接調用自身。必須有終止條件（基例），否則無限遞歸導致棧溢出。

經典示例：階乘

int factorial(int n) {
    if (n <= 1) return 1; // 基例
    return n * factorial(n - 1); // 遞歸步驟
}

遞歸執行模型

factorial(3)
→ 3 * factorial(2)
  → 2 * factorial(1)
    → 1 (基例返回)
  → 2 * 1 = 2
→ 3 * 2 = 6

嵌套 vs 遞歸對比

遞歸優缺點

• ✅ 代碼簡潔，符合數學定義
• ✅ 自然處理遞歸數據結構（樹、圖）
• ❌ 棧空間消耗大，深度受限
• ❌ 重複計算問題（如斐波那契需備忘錄/DP優化）
• ❌ 調試困難

尾遞歸優化

若遞歸調用是函數最後動作，編譯器可優化為迴圈（復用棧幀）。C 編譯器支持程度不一，不應依賴。

最佳實踐

1. 優先考慮迭代解法，除非遞歸顯著簡化邏輯
2. 設置遞歸深度上限防棧溢出
3. 重複子問題用動態規劃/備忘錄優化
4. 尾遞歸改寫為迴圈獲確定性能

嵌套調用是模塊化編程常態，遞歸是解決特定問題的強大工具，二者皆依賴棧機制管理調用上下文。