C++ 抽象機制深度解析：從虛函數到介面設計的核心思想

什麼是 C++ 抽象？

抽象的本質是 「用相同的行為操作不同的對象」。在 C++ 中，這通過 類別繼承體系 + 虛函數機制 實現：定義一個抽象基類宣告介面，派生類實作具體行為，使用者持有基類指標/參考操作派生物件，實現「介面與實作分離」。

抽象的演進過程：以郵件伺服器為例

1. 初始需求：封裝 TCP/IP Socket，供 POP3/SMTP 使用。
2. 認識深入：發現 POP3/SMTP 只需 Connect/Send/Recv 三個介面；且 Socket 程式設計中，各協議差異僅在初始化/連接階段。
3. 修改目標：支援 TCP/IP、ATM、IPX、紅外線等多協議。
4. 抽象提取：將共同的 Connect/Send/Recv/Close 提煉為抽象基類 INetworkProtocol，各協議派生實作。

這說明抽象是 迭代、互動、隨認識深化而調整 的過程，非一蹴而就。

C++ 經典繼承抽象模型

class Parent {
public:
    virtual ~Parent() {}                // 1. 虛解構函數：保證正確銷毀派生物件
    virtual void GetValue() = 0;        // 2. 純虛函數：強制派生類實作
    virtual void Test() { /*預設實作*/ } // 3. 普通虛函數：提供預設行為
};

class Child1 : public Parent {
public:
    virtual ~Child1() {}
    virtual void GetValue() override { /*實作*/ }
    virtual void Test() const override { /*實作*/ } // const 版本 = 隱藏而非覆寫！
};

class Child2 : public Parent {
public:
    virtual ~Child2() {}
    virtual void GetValue() override { /*實作*/ }
    virtual void Test() override { /*實作*/ }
};

抽象的三大鐵律

進階抽象技巧

1. 介面類別

純虛類別（無資料成員、無建構函數、所有方法純虛），模擬 Java/C# 介面：

class ISerializable {
public:
    virtual ~ISerializable() {}
    virtual void Save(IStream*) = 0;
    virtual void Load(IStream*) = 0;
};

2. 模板方法模式

基類定義演算法骨架，延遲關鍵步驟到派生類：

class Algorithm {
    void Run() { Step1(); Step2(); Step3(); } // 非虛，鎖定流程
    virtual void Step1() = 0;
    virtual void Step2() = 0;
    virtual void Step3() = 0;
};

3. 非繼承多型：Type Erasure (類 std::function)

不想用繼承時，可用「類型擦除」封裝任意可呼叫物件：

class Drawable {
    struct Concept { virtual ~Concept() {} virtual void Draw() = 0; };
    template struct Model : Concept {
        T obj; Model(T o):obj(std::move(o)) {}
        void Draw() override { obj.Draw(); }
    };
    std::unique_ptr p;
public:
    template Drawable(T o) : p(new Model(std::move(o))) {}
    void Draw() { p->Draw(); }
};

常見誤區與避坑

• 過度抽象：為「未來可能擴充」引入大量介面，導致代碼碎片化、難以閱讀。YAGNI 原則：需求出現再抽象。
• 虛函數效能迷思：現代 CPU 分支預測 + 内聯優化，虛函數呼叫開銷極小（通常 < 1ns），除非極端熱路徑（如每幀百萬次），否則勿為效能犧牲設計清晰度。
• 構造/解構函數中呼叫虛函數：C++ 構造時虛表尚未完整，呼叫的是當前類別版本而非最派生版本（C#/Java 不同），易導致邏輯錯誤。

總結

C++ 抽象的核心是 「虛函數表 + 基類指標/參考」 實現的執行期多型。良好的抽象設計遵循 依賴倒置原則：高層模組依賴抽象介面，低層模組實作介面。掌握虛函數機制、虛解構函數必要性、介面類別設計、模板方法模式，並警惕構造/解構期虛函數行為差異，即可駕馭 C++ 大型專案的架構設計。