C++ 類繼承機制核心：IS-A 關係、訪問控制、構造析構鏈、切片問題

繼承是 C++ 面向對象的基石，實現**類型層次**與**代碼復用**。本文系統梳理繼承的語義分類、訪問控制、構造/析構順序、對象切片風險、虛函數表繼承、組合優於繼承原則，附完整代碼驗證關鍵行為。

繼承語義分類

訪問控制轉換規則 (僅 public 繼承保持原級別)

基類成員      public繼承    protected繼承    private繼承
public    →     public          protected          private
protected →   protected       protected          private
private   →   不可訪問        不可訪問           不可訪問

構造/析構順序鐵律

1. **基類**構造函數 (按聲明順序，多重繼承時)；
2. **成員對象**構造函數 (按聲明順序)；
3. **派生類**自身構造函數體；
4. 析構順序**完全相反**：派生析構 → 成員析構 → 基類析構。

class Base { public: Base() { cout << "Base()\n"; } ~Base() { cout << "~Base()\n"; } };
class Member { public: Member() { cout << "Member()\n"; } ~Member() { cout << "~Member()\n"; } };
class Derived : public Base { Member m; public: Derived() { cout << "Derived()\n"; } ~Derived() { cout << "~Derived()\n"; } };

int main() { Derived d; }
// 輸出：
// Base()
// Member()
// Derived()
// ~Derived()
// ~Member()
// ~Base()

對象切片 — 隱形殺手

void Process(Base b) { b.VirtualFunc(); }  // 參數按值傳遞！

Derived d;
Process(d);  // 發生切片：只複製 Base 部分，虛函數調用 Base 版本

• **值傳遞/值返回/數組存儲** 基類類型時發生切片；
• **解決**：參數用 `Base&` 或 `Base*`，容器存 `Base*`/`shared_ptr`/`unique_ptr`；
• C++20 `` 可檢測 `is_polymorphic_v` 輔助靜態斷言防切片。

虛函數表繼承機制

• 派生類**擁有獨立 vtable** (不共享基類 vtable)；
• 覆寫虛函數 → 派生類 vtable 對應槽位替換為新函數地址；
• 新增虛函數 → 派生類 vtable 尾部追加槽位；
• 純虛函數未覆寫 → 派生類 vtable 槽位保留 `__cxa_pure_virtual` (調用即崩潰)；
• 構造/析構期間 vptr 指向**當前類** vtable，**不調用派生版本虛函數**。

組合優於繼承 (Effective C++ 條款 18)

最佳實踐清單

1. ✅ **默認 `public` 繼承** 表達 IS-A，嚴守里氏替換；
2. ✅ **基類析構函數 `virtual`** — 無例外；
3. ✅ **覆寫加 `override`** (C++11) — 編譯期捕獲簽名錯誤；
4. ✅ **避免值傳遞多態對象** — 用引用/指針/智能指針；
5. ✅ **優先組合** — 除非真正是 IS-A，否則嵌入成員對象；
6. ✅ **`final` 封鎖不必要的繼承** (C++11) — 優化去虛擬化、明確設計意圖；
7. ⚠️ **`protected` 數據成員** — 破壞封裝，改為 `private` + `protected` getter/setter；
8. ⚠️ **多重繼承** — 僅用於「多介面實現」 (無狀態基類)，狀態多重繼承極易出錯。

繼承是強大但危險的工具。**理解其語義、內存模型、構造語義、切片陷阱**，並在架構層面優先選擇組合、介面隔離、策略模式，才能寫出健壯、可維護的 C++ 類體系。