動態多態與靜態多態：C++ 兩種多態機制的深度對比與工程選型

面向物件三大特性：封裝、繼承、多態。多態是實現擴展性與解耦的關鍵。本文深入剖析動態多態（Dynamic Polymorphism）與靜態多態（Static Polymorphism）的實現原理、優劣勢對比、適用場景與工程決策指引。

動態多態：經典虛函數機制

實現基礎

• 基類定義虛函數介面
• 派生類覆寫（override）虛函數
• 基類指針/引用指向派生類物件
• 運行期通過虛函數表（vtable）動態綁定

核心特徵

1. 綁定性：基類介面強制派生類實現契約
2. 動態性：函數調用地址在運行期根據物件實際型別決定

靜態多態：模板機制實現

實現範例

class Circle {
public:
    void Draw() const { cout << "Circle Draw" << endl; }
};

class Line {
public:
    void Draw() const { cout << "Line Draw" << endl; }
};

template 
void DrawGeoObj(T const & obj) {
    obj.Draw(); // 編譯期實例化，靜態綁定
}

int main() {
    Circle c1; Line l1;
    DrawGeoObj(c1); // 實例化 DrawGeoObj
    DrawGeoObj(l1); // 實例化 DrawGeoObj
}

核心特徵

1. 非綁定性：無需共同基類，僅要求型別支援特定操作（鴨子型別）
2. 靜態性：模板實例化在編譯期完成，調用地址編譯期確定

橋接模式的兩種實現對比

動態多態版（經典 GoF 模式）

抽象層持有實作介面指針，運行期可動態切換實作。結構較重，需虛函數調用開銷。

靜態多態版（模板參數化）

template 
class Interface {
private:
    Implementation body;
public:
    // 透傳介面...
};

編譯期確定實作型別，零開銷抽象，但無法運行期切換實作。

優劣勢全方位對比

工程選型決策樹

需要運行期根據配置/輸入切換行為？
├─ 是 → 動態多態（或策略模式+工廠）
└─ 否 → 行為在編譯期已知？
        ├─ 是 → 靜態多態（CRTP、模板策略、概念）
        └─ 否 → 混合方案：動態多態外層 + 靜態多態內層

最佳實踐：混合策略

• 外層動態：插件架構、腳本綁定、跨 DLL 介面、使用者運行期選擇
• 內層靜態：演算法參數化、容器演算法、數學庫、效能關鍵路徑
• CRTP (Curiously Recurring Template Pattern)：靜態多態實現介面契約檢查
• Concepts (C++20)：編譯期約束模板參數，兼具靈活與安全

總結

動態多態與靜態多態非對立關係，而是解決不同維度問題的工具。現代 C++（C++17/20）以 Concepts、constexpr、if constexpr、std::variant、std::visit 等特性模糊了邊界，賦予開發者「按需選擇綁定時機」的自由。掌握兩者本質，才能在架構設計中做出最優權衡。