C 語言函數指針作為參數 vs 函數嵌套調用：靈活性與耦合度的權衡

在非遞歸二叉樹中序遍歷 InOrderTraverse(BiTree T, Status(*Visit)(TElemType e)) 中，Visit 作為函數指針參數傳入，而 InitStack、Push 等棧操作直接在函數內調用。兩者本質區別在於策略的可替換性。

核心差異對比

為何不將棧操作也作為函數指針傳入？

• 棧是遍歷算法的內部實現細節，非業務邏輯變化點。暴露棧操作接口會過度複雜化 API，增加調用方負擔（需提供 push/pop/init 等一組函數）。
• 若需支持多種棧實現（數組棧/鏈表棧），應採用面向接口編程：定義 StackInterface 結構體包含函數指針，遍歷函數接收該結構體指針，類似 C++ 虛函數表模式。

設計原則總結

1. 識別變化點： 什麼會變？（訪問操作） → 抽象為回調/策略接口（函數指針）。
2. 固化不變點： 什麼不變？（棧輔助存儲） → 內部直接調用或封裝為內部模塊。
3. 依賴倒置： 高層模塊（遍歷）不依賴低層模塊（具體訪問/棧實現），雙方依賴抽象（函數指針類型/接口結構體）。

此例完美演示了 C 語言中「策略模式」的函數指針實現，是系統級軟件（如 Linux 內核 VFS、文件系統操作向量）的經典設計範式。