C/C++編程筆記：C++入門知識丨多態性和虛函數

来源:https://www.cnblogs.com/yxy6/archive/2020/07/29/13399697.html
-Advertisement-
Play Games

本篇要學習的內容和知識結構概覽 多態性 編譯時的多態性稱為靜態聯編. 當調用重載函數時, 在編譯期就確定下來調用哪個函數. 運行時的多態性稱為動態聯編. 在運行時才能確定調用哪個函數, 由虛函數來支持. 靜態聯編中的賦值相容性及名字支配規律 派生一個類的原因並非總是為了添加新的成員或成員函數, 有時 ...


本篇要學習的內容和知識結構概覽

多態性

編譯時的多態性稱為靜態聯編. 當調用重載函數時, 在編譯期就確定下來調用哪個函數.

運行時的多態性稱為動態聯編. 在運行時才能確定調用哪個函數, 由虛函數來支持.

靜態聯編中的賦值相容性及名字支配規律

派生一個類的原因並非總是為了添加新的成員或成員函數, 有時是為了重新定義基類的成員函數。

#define PI 3.14159

class Point {
    double x;
    double y;
    
    public:
    Point(double a, double b) {
        x = a;
        y = b;
    }
    double area() {
        return 0;
    }
};

class Circle: public Point {
    double radius;
    
    public:
    Circle(double a, double b, double r):Point(a, b) {
        radius = r;
    }
    
    double area() {
        return PI * radius * radius;
    }
};

int main() {
    Point a(1.5, 6.7);
    Circle c(1.5, 6.7, 2.5);
    
    cout << a.area() << endl; // 調用對象a的成員函數area()
    cout << c.area() << endl; // 調用對象c的成員函數area()
    
    Point * p = &c; // 對象c的地址為指向Point類型指針賦值
    cout << p -> area() << endl; // 調用Point類的成員函數area()
    
    Point & rc = c; // 對象c初始化Point類型的引用
    cout << rc.area() << endl; // 調用Point類的成員函數area()
}

 

在派生類有同名函數的情況下

Point * pPoint; // 聲明的基類指針只能指向基類

Circle * pCircle // 聲明的派生類指針只能指向派生類

如果派生類沒有基類的同名函數, 派生類的指針才根據繼承原則調用基類的函數

虛函數

一旦定義了虛函數, 該基類的派生類中的同名函數也自動成為虛函數.

虛函數的定義

用關鍵字virtual來聲明一個虛函數, 虛函數只能是類中的一個成員函數, 不能是靜態成員.

像這樣：

class Point {
    double x;
    double y;
    
    public:
    Point(double a, double b) {
        x = a;
        y = b;
    }
    
    // 用virtual關鍵字來定義一個虛函數
    virtual double area() {
        return 0;
    }
};

class Circle: public Point {
    double radius;
    
    public:
    Circle(double a, double b, double r):Point(a, b) {
        radius = r;
    }
    
    // 基類中area()函數為虛函數, 派生類中的同名函數也自動成為虛函數
    double area() {
        return PI * radius * radius;
    }
};

 

虛函數實現多態性的條件

關鍵字virtual告訴編譯器調用虛函數進行動態聯編.

使用虛函數不一定產生多態性, 也不一定使用動態聯編.

在調用中對虛函數使用成員名限定, 可以強制編譯器對該函數使用靜態聯編.

產生運行多態性, 也就是動態聯編有3個前提

（1）類之間的繼承關係滿足賦值相容性規則

（2）改寫了同名虛函數

（3）根據賦值相容性規則使用指針(或引用)

像這樣：

class Point {
    double x;
    double y;
    
    public:
    Point(double a, double b) {
        x = a;
        y = b;
    }
    
    // 用virtual關鍵字來定義一個虛函數
    virtual double area() {
        return 0;
    }
};

class Circle: public Point {
    double radius;
    
    public:
    Circle(double a, double b, double r):Point(a, b) {
        radius = r;
    }
    
    // 基類中area()函數為虛函數, 派生類中的同名函數也自動成為虛函數
    double area() {
        return PI * radius * radius;
    }
};

void display(Point * p) {
    cout << p -> area() << endl;
}

void display(Point & a) {
    cout << a.area() << endl;
}

int main() {
    Point a(1.5, 6.7);
    Circle c(1.5, 6.7, 2.5);
    Point * p = &c; // 對象c的地址為指向Point類型指針賦值
    Point & rc = c; // 對象c初始化Point類型的引用
    
    display(a); // 調用對象a的成員函數area()
    display(p); // 根據運行時的多態性, p指向的c對象, 所以實際調用c對象的成員函數area()
    display(rc); // 根據運行時的多態性, rc是對c對象的引用, 所以實際調用c對象的成員函數area()
    /** 輸出結果
     0
     19.6349
     19.6349
     */
}

 

純虛函數與抽象類

在基類中不給虛函數一個有意義的定義, 可以說明為純虛函數, 將定義留給派生類去做

像這樣：

class 類名 {
    public:
    virtual 函數類型 函數名(參數列表) = 0;
};

 

抽象類：包含有純虛函數的類稱為抽象類. 一個抽象類至少有一個純虛函數, 一個抽象類只能作為基類來派生新類, 不能說明抽象類的對象.

class Point {
    double x;
    double y;
    
    public:
    Point(double a, double b) {
        x = a;
        y = b;
    }
    
    // 用virtual關鍵字來定義一個虛函數
    virtual double area() = 0;
};

int main() {
    // Point a(1.5, 6.7); // Point為抽象類, 不能實例化一個對象 error Variable type 'Point' is an abstract class
    Point * p; // Point為抽象類, 可以聲明一個指向抽象類對象的指針
}

 

註意

空虛函數定義 virtual void area() {}

純虛函數定義 virtual void area()  = 0;

純虛函數的派生類仍是抽象類. 如果派生類中給出了基類所有純虛函數的實現, 則該派生類不再是抽象類

類族

如果通過同一個基類派生一系列的類, 則將這些類總稱為類族.

像這樣：

#define PI 3.14159

// 抽象類 有一個純虛函數 area()
class Shape {
    public:
    virtual double area() = 0;
};

// 正方形 有一個連長數據成員
class Square: public Shape {
    protected:
    double h;
    
    public:
    Square(double a) {
        h = a;
    }
    double area() {
        return h * h;
    }
};

// 圓
class Circle: public Square {
    public:
    Circle(double a):Square(a) {
        
    }
    double area() {
        return h * h * PI;
    }
};

// 三角形
class Triangle: public Square {
    protected:
    double w;
    
    public:
    Triangle(double a, double b):Square(a) {
        w = b;
    }
    double area() {
        return w * h * 0.5;
    }
};

// 矩形
class Rect: public Triangle {
    public:
    Rect(double a, double b):Triangle(a, b) {
        
    }
    double area() {
        return w * h;
    }
};

int main() {
    
    Shape * s[5];
    s[0] = new Square(4);
    s[1] = new Circle(10);
    s[2] = new Rect(3, 6);
    s[3] = new Triangle(3, 6);
    s[4] = new Square(6);
    for (int i = 0; i < 5; i++) {
        // 因為虛函數支持動態聯編, 所以在運行時才確定每個元素的類型, 調用各自的成員函數
        cout << "s[" << i << "] = " << s[i] -> area() << endl;
    }
}

 

多重繼承與虛函數

多重繼承可以被視為多個單一繼承的組合。

// 基類
class A {
    public:
    virtual void func() {
        cout << "call A" << endl;
    }
};

// 基類
class B {
    public:
    virtual void func() {
        cout << "call B" << endl;
    }
};

// 多重繼承
class C: public A, public B {
    public:
    void func() {
        cout << "call C" << endl;
    }
};

int main() {
    A * pa;
    B * pb;
    C * pc, c;
    
    pa = &c;
    pb = &c;
    pc = &c;
    pa -> func(); // 動態聯編, pa指向派生類對象c, 調用對象c的成員函數C::func();
    pb -> func(); // 動態聯編, pb指向派生類對象c, 調用對象c的成員函數C::func();
    pc -> func(); // pc既是指向C類對象的指針, 又是指向的C類對象, 調用對象c的成員函數C::func();
}

 

總結

C++有兩種多態性, 一種是編譯時多態性, 也叫靜態聯編; 另一種是運行時多態性, 也叫動態聯編. 這大大提高了我們解決問題的豐富性. 可能也是C++長久不衰的魅力所在吧! 我會繼續深入學習C++, 繼續挖掘語言的本質！

自學C/C++編程難度很大，不妨和一些志同道合的小伙伴一起學習成長！

C語言C++編程學習交流圈子，【點擊進入】微信公眾號：C語言編程學習基地

有一些源碼和資料分享，歡迎轉行也學習編程的伙伴，和大家一起交流成長會比自己琢磨更快哦！


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • SpringBoot(二) 事務
    事務處理 Spring Boot事務機制實質上就是Spring的事務處理機制。 1 事務的4大特性 原子性(Atomicity) 一個事務要麼全部提交成功，要麼全部失敗回滾，不能只執行其中的一部分操作。 一致性(Consistency) 一旦事務完成（不管成功還是失敗），系統必須確保涉及的數據處於一 ...
  • C連載18-轉換說明，轉換說明修飾符、sizeof返回類型可移植
    一、printf()函數 常用的轉換說明 轉換說明 輸出 %a 浮點數，十六進位數和p計數法 %A 浮點數，十六進位數和p計數法 %c 單個字元 %d 有符號的十進位數 %e 浮點數，e計數法 %E 浮點數，e計數法 %f 浮點數，十進位計數法 %g 根據值的不同，自動選擇%f或者%e，%e格式用於 ...
  • 數據結構--二叉樹（Java）
    數據結構--二叉樹（Java） 博客說明 文章所涉及的資料來自互聯網整理和個人總結，意在於個人學習和經驗彙總，如有什麼地方侵權，請聯繫本人刪除，謝謝！ 樹的常用術語(結合示意圖理解) 節點 根節點 父節點 子節點 葉子節點 (沒有子節點的節點) 節點的權(節點值) 路徑(從root節點找到該節點的路 ...
  • 用selenium登錄豆瓣網
    from selenium import webdriver #import time driver=webdriver.Chrome() #最小化視窗 #driver.minimize_window() driver.get("https://www.douban.com/") #time.sle ...
  • 《自拍教程77》在Win10上配置Path環境變數
    用了Win10的配置環境變數功能後，其比Win7的配置界面更直觀、更易操作與理解，特此更新併發布本篇文章。 如果你的電腦是Win7系統，請參考：在Win7上配置Path環境變數 我們說的環境變數，一般是指的是Path環境變數。 第一步：點擊“此電腦”，右鍵，“屬性” 第二步：點擊“高級系統設置”，彈 ...
  • Java反射詳解
    一、反射概述 1. java.lang.Class:是反射的源頭 我們創建一個類，通過編譯，生成對應的.calss文件，之後使用java.exe載入(jvm的類載入器)此.class文件，此.class文件載入到記憶體以後，就是一個運行時類，存在緩存區，那麼這個運行時類的本身就是一個class的實例 ...
  • 真實世界的Python儀器監控-數據採集與控制系統自動化pdf|內附下載
    真實世界的Python儀器監控》主要探討如何運用Python快速構建自動化儀器控制系統，幫助讀者瞭解如何通過自行開發應用程式來監視或者控制儀器硬體。《真實世界的Python儀器監控》內容涵蓋了從接線到建立介面，直到完成可用軟體的整個過程。本書提供逐步講解、清晰實例，以及將PC連接到各種設備的實踐技巧 ...
  • 精通Python網路爬蟲核心技術-框架與項目實戰pdf【108mb】 |內附下載地址提取碼|
    精通Python網路爬蟲這是一本實戰性的網路爬蟲秘笈，不僅講解瞭如何編寫爬蟲，而且還講解了流行的網路爬蟲的使用。 點擊此處下載 提取碼：h5nn 全書分為4個部分：第壹部分對網路爬蟲做了概要性的介紹，主要介紹了網路爬蟲的常識和所涉及的技術概覽；第二部分是本書的重點之一，詳細講解了網路爬蟲的核心技術， ...
一周排行
    -Advertisement-
    Play Games
  • .net 6 C#中System.IO.Path類的用法
    1. 說明 /* Performs operations on System.String instances that contain file or directory path information. These operations are performed in a cross-pla ...
  • 使用WebApi+Vue3從0到1搭建《許可權管理系統》:二、搭建JWT系統鑒權
    視頻地址：【WebApi+Vue3從0到1搭建《許可權管理系統》系列視頻：搭建JWT系統鑒權-嗶哩嗶哩】 https://b23.tv/R6cOcDO qq群:801913255 一、在appsettings.json中設置鑒權屬性 /*jwt鑒權*/ "JwtSetting": { "Issuer" ...
  • 實戰指南：使用 xUnit 和 ASP.NET Core 進行集成測試【完整教程】
    引言 集成測試可在包含應用支持基礎結構（如資料庫、文件系統和網路）的級別上確保應用組件功能正常。 ASP.NET Core 通過將單元測試框架與測試 Web 主機和記憶體中測試伺服器結合使用來支持集成測試。 簡介 集成測試與單元測試相比，能夠在更廣泛的級別上評估應用的組件，確認多個組件一起工作以生成預 ...
  • .NET Emit 入門教程：第六部分：IL 指令：9：詳解 ILGenerator 指令方法：運算操作指令（指令篇結束）
    在.NET Emit編程中，我們探討了運算操作指令的重要性和應用。這些指令包括各種數學運算、位操作和比較操作，能夠在動態生成的代碼中實現對數據的處理和操作。通過這些指令，開發人員可以靈活地進行算術運算、邏輯運算和比較操作，從而實現各種複雜的演算法和邏輯......本篇之後，將進入第七部分：實戰項目 ...
  • WPF多表頭表格實現
    前言 多表頭表格是一個常見的業務需求，然而WPF中卻沒有預設實現這個功能，得益於WPF強大的控制項模板設計，我們可以通過修改控制項模板的方式自己實現它。 一、需求分析 下圖為一個典型的統計表格，統計1-12月的數據。 此時我們有一個需求，需要將月份按季度劃分，以便能夠直觀地看到季度統計數據，以下為該需求 ...
  • gRPC入門學習之旅（七）
    如何將 ASP.NET Core MVC 項目的視圖分離到另一個項目 在當下這個年代 SPA 已是主流，人們早已忘記了 MVC 以及 Razor 的故事。但是在某些場景下 SSR 還是有意想不到效果。比如某些靜態頁面，比如追求首屏載入速度的時候。最近在項目中回歸傳統效果還是不錯。 有的時候我們希望將 ...
  • System.AggregateException: 發生一個或多個錯誤.....
    System.AggregateException: 發生一個或多個錯誤。 > Microsoft.WebTools.Shared.Exceptions.WebToolsException: 生成失敗。檢查輸出視窗瞭解更多詳細信息。 內部異常堆棧跟蹤的結尾 > (內部異常 #0) Microsoft ...
  • 精通中間件測試：Asp.Net Core實戰指南，提升應用穩定性和可靠性
    引言 在上一章節我們實戰了在Asp.Net Core中的項目實戰，這一章節講解一下如何測試Asp.Net Core的中間件。 TestServer 還記得我們在集成測試中提供的TestServer嗎？ TestServer 是由 Microsoft.AspNetCore.TestHost 包提供的。 ...
  • Case表達式
    在發現結果為真的WHEN子句時,CASE表達式的真假值判斷會終止,剩餘的WHEN子句會被忽略: CASE WHEN col_1 IN ('a', 'b') THEN '第一' WHEN col_1 IN ('a') THEN '第二' ELSE '其他' END 註意: 統一各分支返回的數據類型. ...
  • 揭秘：C#語法中“_ =” 是什麼？
    在C#編程世界中，語法的精妙之處往往體現在那些看似微小卻極具影響力的符號與結構之中。其中，“_ =” 這一組合突然出現還真不知道什麼意思。本文將深入剖析“_ =” 的含義、工作原理及其在實際編程中的廣泛應用，揭示其作為C#語法奇兵的重要角色。 一、下劃線 _：神秘的棄元符號 下劃線 _ 在C#中並非 ...
所有分類