C++ 多態核心機制詳解：從虛函數到動態綁定的通俗指南

為什麼需要多態？

在繼承體系中，基類指針指向派生類對象時，若直接呼叫成員函數，預設會調用基類版本——這顯然違背直覺。請看經典案例：

class People {
public:
    virtual void display() { /* 基類實作 */ }
};
class Teacher : public People {
public:
    void display() override { /* 派生類實作 */ }
};

People *p = new Teacher("趙老師", 45, 8200);
p->display();  // 若無 virtual，輸出基類版本（錯誤）；加上 virtual，輸出派生類版本（正確）

為消除這種「指向派生類卻調用基類函數」的尷尬，C++ 引入 虛函數：只需在基類函數宣告前加 virtual，即可實現動態綁定——根據對象實際類型決定調用哪個版本。

多態的本質

• 定義：同一條語句（如 p->display()），因指針指向不同對象而呈現不同行為。
• 核心：基類指針/引用既能按基類方式操作，也能按派生類方式操作，呈現「多種形態」。
• 實現：虛函數表（vtable）+ 虛函數指針（vptr），編譯器在構造對象時自動填充 vptr，實現運行期查表分發。

引用同樣支援多態

引用本質是指針別名，同樣能觸發動態綁定：

People p("王志剛", 23);
Teacher t("趙宏佳", 45, 8200);
People &rp = p, &rt = t;
rp.display();  // 基類版本
rt.display();  // 派生類版本

但引用不如指針靈活（不可重新綁定），實務上多態多以指針為主。

多態的實戰價值：軍事模擬系統

假設開發軍事遊戲，擁有陸軍、空軍及其裝備的多層繼承樹：

class Troops { virtual void fight() { cout << "Strike back!"; } };
class Army : public Troops { void fight() override { cout << "--Army is fighting!"; } };
class _99A : public Army { void fight() override { cout << "----99A(Tank) fighting!"; } };
// ... 更多派生類

Troops *p = new Troops; p->fight();
p = new Army;     p->fight();
p = new _99A;     p->fight();
// 僅用一個指針 p 即可調用所有派生類的 fight()

優勢：無需為每個派生類定義專屬指針，單一基類指針統籌全局，極大簡化代碼並提升擴展性。對於大型專案，多態是實現「開閉原則」的關鍵工具。

靜態綁定 vs 動態綁定

虛函數透過 vtable 實現動態綁定，編譯器在構造/析構時維護 vptr，確保正確分發。詳細機制請參閱《虛函數表與動態綁定深度解析》。

總結

1. 虛函數是多態的唯一語言機制，virtual 關鍵字開啟動態綁定。
2. 多態讓基類指針/引用「一介多用」，消除類型分支判斷，代碼更簡潔、可維護。
3. 引用同樣支援多態，但指針更靈活，工程實踐以指針為主。
4. 大型系統中，多態是實現插件架構、策略模式、命令模式等設計模式的基石。