C++ 函數宣告誤區與相互遞迴導致的無限循環問題

常見習慣：函數定義放在 main 之前

#include <iostream>
using namespace std;

void A() { cout << "函數A\n"; }
void B() { cout << "函數B\n"; }

int main() { A(); B(); return 0; }

編譯通過、執行正常，誤以為「函數定義在前就不需要宣告」。

陷阱：函數相互呼叫

void A() { 
    cout << "函數A\n"; 
    B(); // 呼叫 B，但 B 尚未被編譯器「看見」
}
void B() { 
    cout << "函數B\n"; 
    A(); // 呼叫 A
}
int main() { A(); B(); return 0; }

編譯錯誤：error C3861: 'B': 找不到識別項 (或同類訊息)。
原因：編譯器由上而下單遍掃描，遇到 A() 內呼叫 B() 時，B 尚未宣告/定義。

正確做法：前置宣告

#include <iostream>
using namespace std;

// 前置宣告
void A();
void B();

void A() { 
    cout << "函數A\n"; 
    B(); 
}
void B() { 
    cout << "函數B\n"; 
    A(); 
}
int main() { A(); B(); return 0; }

編譯通過，但執行時進入無限遞迴 (A→B→A→B...)，導致堆疊溢位崩潰。

核心觀念釐清

最佳實踐建議

1. 統一使用前置宣告：在檔案頂部或標頭檔集中宣告所有函數，定義放在後方或 .cpp 檔。
2. 避免直接相互遞迴：若業務確需雙向協作，改用狀態機、觀察者模式、中介者模式解耦，或在遞迴中加入明確終止條件。
3. 使用標頭檔：專案稍大即應將宣告置於 .h，定義於 .cpp，透過 #include 管理依賴。

總結

「函數定義在 main 前就不用宣告」是**危險的誤區**。一旦出現相互呼叫、多檔案專案、庫開發等場景，**缺少前置宣告必導致編譯失敗**。養成「先宣告、後定義、標頭檔管理」習慣，並警惕相互遞迴帶來的運行時崩潰風險。