您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C++ >> 關於C++

C++ 核心機制深度解析：繼承與多態的底層邏輯

編輯：關於C++

在 C++ 學習進階之路中，繼承與多態是區別於 C 語言的兩大核心特性，也是掌握 C++ 面向對象精髓的關鍵。本文將從定義、語法、內存模型、訪問控制、同名隱藏、類型兼容性、菱形繼承與虛繼承等維度，系統梳理繼承機制的完整知識體系。

一、繼承的基本概念與術語

繼承允許程序員在保持原有類特性基礎上進行擴展，產生新類（派生類）。已存在的類稱為基類或父類，新建的類稱為派生類或子類。這種機制呈現了面向對象的層次結構，體現「由簡單到複雜」的認知過程。

繼承關係圖解

二、繼承定義語法與訪問控制

2.1 基本語法

class Derived : 訪問限定符 Base {
    // 派生類成員
};

繼承定義格式

2.2 三種訪問限定符對比

訪問限定符說明

2.3 不同繼承方式下的成員訪問權限變化

成員訪問控制關係表

核心規則：派生類內部始終可訪問基類的 public 與 protected 成員；private 成員存在但不可見。繼承方式只影響「基類成員在派生類中的呈現屬性」以及「外部代碼通過派生類對象訪問基類成員的權限」。

三、構造與析構的調用順序

創建派生類對象時，內存佈局包含「基類部分」與「派生類自有部分」，因此需先調用基類構造函數，再調用派生類構造函數；析構順序相反。

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

class Derived : public Base {
public:
    Derived() { cout << "D()"; }
    ~Derived() { cout << "~D()"; }
};

int main() {
    Derived d; // 輸出: B() D() ~D() ~B()
}

對象構成示意圖構造析構調用順序圖

關鍵規則

基類無默認構造函數 → 派生類必須在初始化列表顯式調用基類構造函數
基類未定義構造函數 → 派生類可使用合成默認構造函數
基類定義了帶參構造函數 → 派生類必須定義構造函數並顯式調用基類構造函數

四、同名隱藏

當派生類與基類存在同名成員函數或變量（無論參數列表是否相同），派生類成員將隱藏基類同名成員。派生類對象無法直接調用基類被隱藏成員，需通過作用域解析符顯式指定：d.Base::Show()。

class Base { public: void Show() { ... } void Show(int a) { ... } };
class Derived : public Base { public: void Show() { ... } }; // 隱藏基類所有 Show

int main() {
    Derived d;
    d.Show();           // 調用 Derived::Show()
    d.Show(1);          // 編譯錯誤：基類 Show(int) 被隱藏
    d.Base::Show();     // 正確：顯式調用基類版本
    d.Base::Show(1);    // 正確
}

五、基類與派生類類型兼容性（指針/引用轉換）

公有繼承建立「is-a」關係，支持向上轉型：

派生類對象/指針/引用 → 基類對象/指針/引用 ✅（切片/隱式轉換）
基類對象/指針/引用 → 派生類對象/指針/引用 ❌（需強制轉型，且極度危險）

Base* b = new Derived();  // 正確：向上轉型
b->ShowBase();            // 調用基類版本（靜態綁定）

Derived* d = (Derived*)b; // 強制向下轉型：編譯通過但極度危險
// 若 b 實際不指向 Derived，後續訪問導致未定義行為

總結：

子類對象可賦值給父類對象（對象切片）
父類對象不可賦值給子類對象
父類指針/引用可指向子類對象（多態基礎）
子類指針/引用不可指向父類對象（除非強轉，強烈不推薦）

六、繼承模式最佳實踐總結

基類 private 成員在派生類不可訪問，需派生類訪問請用 protected
public 繼承 = 接口繼承，滿足 is-a 原則（絕大多數場景）
protected/private 繼承 = 實現繼承，has-a 關係，極少使用
無論何種繼承方式，派生類內部均可訪問基類 public/protected 成員
class 默認 private 繼承，struct 默認 public 繼承，建議顯式聲明
友元關係不可繼承；static 成員在整個繼承體系中僅有一個實例

七、菱形繼承與虛繼承

7.1 問題場景

當兩個派生類繼承同一基類，再由某類同時繼承這兩個派生類，形成菱形結構。若無虛繼承，最底層派生類將包含兩份基類子對象，導致數據冗余與二義性調用。

class A {};           // 共同基類
class B : public A {}; 
class C : public A {}; 
class D : public B, public C {}; // D 含有兩個 A 子對象

菱形繼承結構

7.2 虛繼承解決方案

在中間層繼承時加上 virtual 關鍵字，將共同基類聲明為虛基類。此時無論通過多少條路徑繼承，最底層派生類僅包含一份虛基類子對象，消除二義性與冗余。

class B : virtual public A {}; 
class C : virtual public A {}; 
class D : public B, public C {}; // D 僅有一個 A 子對象

7.3 虛繼承內存佈局與性能代價

虛繼承引入虛基類指針（vbptr）或偏移量表，增加對象體積與訪問開銷。

class Base { public: int _pub; };
class Derived_one : virtual public Base { public: int _por; };
class Derived_two : virtual public Base { public: int _pri; };
class Derived : public Derived_one, public Derived_two { public: int _num; };

// 非虛繼承 sizeof(Derived) = 20 (兩份 Base::_pub)
// 虛繼承 sizeof(Derived) = 24 (一份 Base::_pub + vbptr 開銷)

虛繼承內存佈局