C++ 虛解構函數機制深度解析：為什麼要用「父類指標指向子類物件」

核心代碼示例

class A {
public:
    A() { cout << "A" << endl; }
    virtual ~A() { cout << "~A" << endl; }
};

class B : public A {
public:
    B() { cout << "B" << endl; }
    ~B() { cout << "~B" << endl; }
};

int main() {
    A* p = new B;  // 關鍵行
    delete p;
    return 0;
}

執行結果與解析

輸出：
A
B
~B
~A

關鍵點：由於 A 的解構函數宣告為 virtual，delete p 會正確調用 B::~B() 再調用 A::~A()。若非虛解構函數，僅調用 A::~A() 導致子類資源洩漏。

為什麼寫 A* p = new B 而非 A* p = new A？

1. 多型的核心體現

父類指標/引用指向子類物件，是 C++ 實現**執行時多型**的基礎。這允許：

• 統一介面操作不同衍生類物件
• 容器儲存異構物件：std::vector vec; vec.push_back(new B); vec.push_back(new C);
• 工廠模式返回基類指標：A* createObject(int type) { if(type==1) return new B; ... }

2. 現實建模需求

例如圖形繪製系統：

class Shape { virtual void draw() = 0; virtual ~Shape() {} };
class Circle : public Shape { void draw() override { ... } };
class Rect : public Shape { void draw() override { ... } };

// 使用端無需知道具體類型
std::vector shapes;
shapes.push_back(new Circle);
shapes.push_back(new Rect);
for (auto s : shapes) s->draw();  // 多型調用
for (auto s : shapes) delete s;   // 虛解構確保正確釋放

3. 必須這樣寫的場景

記憶體佈局視角

// new B 記憶體結構
[ vptr -> B::vtable ]  // 虛函數表指標
[ A 的成員變數 ]
[ B 的成員變數 ]

// A* p 指向該記憶體起始位址
// delete p 透過 vptr 找到完整的解構函數鏈

最佳實踐鐵律

只要類別被設計為基類（有虛函數或預期被繼承），其解構函數必須宣告為 virtual。

• C++11 可加 override 關鍵字增強編譯期檢查
• 現代 C++ 偏好智慧指標（unique_ptr/shared_ptr）自動管理生命週期，避免手動 delete
• 最終類別（final）可不宣告虛解構函數，但無害

總結

A* p = new B 不僅是語法合法，更是 C++ 物件導向設計「面向介面程式設計」的核心體現。虛解構函數確保多型刪除時資源正確釋放，是類別設計為基類時的**強制性契約**。

1. 上一篇文章： Hibernate 註解實體：查詢新增正常但無法刪除修改的排查與解決
2. 下一篇文章： JSP forEach 迴圈中動態修改元素樣式：ID 衝突問題與正確解法

程式設計綜合問答

VS2012 專案字符集亂碼：缺失引號導致編譯器誤判中文字符

微軟圖表控件示例代碼編譯報「應輸入 ;」「常量中有換行符」，

Android 底部固定佈局：RelativeLayout 實現輸入框與按鈕永駐螢幕底端

需求：畫面頂部為可捲動內容（如聊天訊息、文章），底部固定「輸

C# 調用 C++ DLL 報「無法加載 DLL：找不到指定模塊」—— 原來是 DLL 內部邏輯錯誤誤導

現象 C# 專案隱式調用三個自寫 C++ DLL：A.dl

Android Studio Fragment 缺失問題：新建專案找不到 Fragment 選項解決方案

問題現象 Android Studio 新建專案或 Acti