C++ 虛函數與多態深度解析：從原理到面試熱點

虛函數核心機制

C++ 通過 虛函數 實現運行時多態。關鍵字 virtual 標記基類函數，派生類可重寫（override）。一旦基類聲明為虛函數，派生類自動視為虛函數（virtual 可省略）。

動態綁定的兩個必要條件

1. 函數必須是 virtual 虛函數
2. 必須通過 基類指針或引用 調用該函數

因為基類指針/引用可指向派生類對象（向上轉型），編譯期無法確定對象實際類型，故推遲到運行期根據對象類型綁定正確函數版本。

虛函數表（vtable）原理

• 每個包含虛函數的類，編譯器生成一張 虛函數表，表內存放虛函數地址，按聲明順序排列。
• 每個對象隱含一個 vptr（虛表指針），指向其類的虛函數表，在構造函數中初始化。
• 派生類繼承基類虛表，重寫的虛函數會覆蓋表中對應條目。
• 調用虛函數時：obj->vptr -> vtable[slot] -> 實際函數地址，實現間接調用。

面試高頻五大問題詳解

1. 構造函數能否為虛函數？

不能。 理由：

• 虛函數調用需 vptr 指向正確虛表，而 vptr 初始化發生在構造函數內部。構造期間對象類型尚未完全確定，無法支持動態綁定。
• 構造函數名與類名相同，派生類構造函數名不同，無法構成覆蓋關係。

2. static 成員函數能否為虛函數？

不能。 理由：

• 靜態成員函數無 this 指針，無法獲取對象的 vptr。
• 靜態函數屬於類而非對象，不存在多態調用場景。

3. 重載 vs 覆蓋 vs 隱藏

核心區別：重載是編譯期靜態綁定（同作用域），覆蓋是運行期動態綁定（繼承體系）。

4. 純虛函數與抽象類

class Base {
    virtual void func() = 0;  // 純虛函數
};

• 含純虛函數的類為 抽象類，不能實例化對象。
• 派生類必須實現所有純虛函數，否則仍為抽象類。
• 用於定義接口規範，強制派生類提供具體實現。

5. 虛析構函數的必要性

基類析構函數應聲明為 virtual，確保通過基類指針刪除派生類對象時，先調用派生類析構再調用基類析構，防止資源洩漏。

最佳實踐建議

1. 基類析構函數永遠聲明 virtual。
2. 派生類重寫虛函數建議加 override（C++11），編譯器檢查簽名一致性。
3. 避免在構造/析構函數中調用虛函數（行為可能不符預期）。
4. 理解 final 關鍵字可禁止進一步重寫或繼承。