C++ 虛函數機制深度解析：虛表、動態綁定與虛析構函數

虛函數核心規則

• virtual 關鍵字聲明，實現**運行時多態**。
• 必須是**非靜態成員函數**。
• 動態綁定：通過對象的虛表指針 (vptr) 查找虛表，調用真實函數地址。
• 構造函數**不能**是虛函數；析構函數**應該**是虛函數 (基類指針刪除派生對象時保證完整析構)。

虛函數覆蓋與隱藏

• 派生類同名同參同返回類型 → **覆蓋** (Override)，自動成為虛函數 (建議顯式加 virtual 或 C++11 override)。
• 派生類同名但參數/返回不同 → **隱藏** (Hide)，基類所有同名重載均不可見 (除非 using Base::func)。
• 返回類型協變：基類返回 Base*，派生類可返回 Derived*。

虛析構函數：資源管理的生命線

class Base { public: virtual ~Base() { cout << "Base dtor\n"; } };
class Derived : public Base {
    int* p;
public:
    Derived() { p = new int; }
    ~Derived() { delete p; cout << "Derived dtor\n"; }
};
int main() {
    Base* ptr = new Derived();
    delete ptr; // 虛析構確保先調用 ~Derived() 再 ~Base()，避免記憶體洩漏
}

無 virtual 時，delete ptr 僅調用 ~Base()，派生類資源洩漏。

虛表 (vtable) 與虛指針 (vptr) 結構

• **每個多態類** (含虛函數的類) 在編譯期生成一張**虛表**：存儲該類所有虛函數入口地址。
• **每個對象** 隱含一個 **vptr** 指向其類的虛表 (單繼承通常在對象首地址)。
• 繼承時：派生類虛表 = 基類虛表拷貝 + 覆蓋條目 + 新增條目。

示例結構：

Base vtable: [ &Base::f, &Base::g ]
Derived vtable: [ &Derived::f, &Base::g, &Derived::h ]
Derived object: [ vptr → Derived vtable, Base::i, Derived::j ]

動態綁定三步曲

1. 構造階段：構造函數中初始化 vptr 指向當前類虛表 (基類構造時指向基類表，派生構造時更新為派生表)。
2. 調用階段：ptr->vfunc() → 取 ptr->vptr → 索引虛表槽位 → 跳轉執行。
3. 析構階段：析構函數中 vptr 回退指向基類虛表 (保證基類析構不調用派生虛函數)。

常見誤區與最佳實踐

1. 構造/析構函數中調用虛函數：行為為靜態綁定 (調用當前類版本)，**不要**依賴多態。
2. 內聯虛函數：編譯器通常拒絕內聯虛函數 (無法確定最終地址)，virtual inline 實際不內聯。
3. 純虛函數：virtual void f() = 0; 定義抽象類，強制派生類實現。
4. 介面類：僅含純虛函數與虛析構，無數據成員，實現接口隔離。

總結

虛函數是 C++ 多態的基石，虛表/虛指針機制以極小空間換取運行時靈活性。牢記：基類析構**必須**虛化，構造/析構中避免虛調用，善用 override/final 讓編譯器守護正確性。