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
  • ASP.NET Core - 選項系統之選項驗證
    就像 Web Api 介面可以對入參進行驗證，避免用戶傳入非法的或者不符合我們預期的參數一樣，選項也可以對配置源的內容進行驗證，避免配置中的值與選項類中的屬性不對應或者不滿足預期，畢竟大部分配置都是通過字元串的方式，驗證是很有必要的。 1. 註解驗證 像入參驗證一樣，選項驗證也可以通過特性註解方便地 ...
  • unity 射線特性測試
    原文作者：aircraft 原文鏈接：https://www.cnblogs.com/DOMLX/p/17270107.html 加工的泛型類如下: using System; using System.Collections.Generic; using System.IO; using Syst ...
  • ASP.NET Core MVC+Quartz實現定時任務可視化管理頁面
    在前一篇文章，我們瞭解瞭如何通過.NET6+Quartz開發基於控制台應用程式的定時任務，今天繼續在之前的基礎上，進一步講解基於ASP.NET Core MVC+Quartz實現定時任務的可視化管理頁面，僅供學習分享使用，如有不足之處，還請指正。 涉及知識點 Quartz組件，關於Quartz組件的 ...
  • Java入門3
    面向對象1 面向對象，更在乎的結果，而過程的實現並不重要 IDea快捷鍵（基礎版） | 快捷鍵 | 作用 | | | | | ctrl + / | 快捷註釋 | | ctrl + shift + / | 多行註釋 | | ctrl + d | 快速複製 | | ctrl + shift + up/d ...
  • NX二次開發：Checkmate例子根據dfa文件檢查模型數據
    NX中的checkmate功能是用於檢查模型、圖紙數據的工具，在UGOPEN中有例子。手動操作可以檢查已載入的裝配下所有零部件，可以設置通過後保存模型，檢查結果保存到Teamcenter中，預設保存在零組件版本下。 代碼中可以設置多個檢查規則。相關設置可以在用戶預設設置中進行設置。 1 // 2 / ...
  • github的pageHelper分頁和手動分頁
    JavaSE 運算符 算術運算符：+，-，*，/，%，++（自增），--（自減） i++：先用後+1；++i：先+1後用 賦值運算符：= 擴展賦值運算符：+=，-=，*=，/= a+=b >a=a+b： ​ 可讀性差，但是編譯效率高，且會自動進行類型轉換； ​ 當ab為基本數據類型時，a+b和b+a ...
  • Java入門4
    面向對象2 訪問修飾符 | | private | default | protected | public | | | | | | | | 當前類 | :heavy_check_mark: | :heavy_check_mark: | :heavy_check_mark: | :heavy_che ...
  • QML和QT
    推薦一些學習qml教程 Qt官方的QML教程： https://doc.qt.io/qt-5/qtqml-index.html 這是一個由Qt官方提供的完整的QML教程，包含了所有基本知識和高級語法。 QML中文網：http://www.qmlcn.com/ 這是一個非常不錯的中文QML學習網站，提 ...
  • ChatGPT 開源了第一款插件，都來學習一下源碼吧！
    QAbstractBUtton： 所有按鈕控制項的基類 提供按鈕的通用功能 繼承自QWidget 屬於抽象類別，不能直接去使用，必須藉助於子類（除非你覺得子類不夠用，想自定義一個按鈕） 大部分功能之前已經使用過，在這裡只作簡單介紹 文本設置： setText(str) :設置按鈕提示文本 text() ...
  • 【Visual Leak Detector】配置項 StartDisabled
    使用 VLD 記憶體泄漏檢測工具輔助開發時整理的學習筆記。本篇介紹 VLD 配置文件中配置項 StartDisabled 的使用方法。 ...
所有分類