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

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

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


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

多態性

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

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

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

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

#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語言編程學習基地

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


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

更多相關文章
  • 事務處理 Spring Boot事務機制實質上就是Spring的事務處理機制。 1 事務的4大特性 原子性(Atomicity) 一個事務要麼全部提交成功,要麼全部失敗回滾,不能只執行其中的一部分操作。 一致性(Consistency) 一旦事務完成(不管成功還是失敗),系統必須確保涉及的數據處於一 ...
  • 一、printf()函數 常用的轉換說明 轉換說明 輸出 %a 浮點數,十六進位數和p計數法 %A 浮點數,十六進位數和p計數法 %c 單個字元 %d 有符號的十進位數 %e 浮點數,e計數法 %E 浮點數,e計數法 %f 浮點數,十進位計數法 %g 根據值的不同,自動選擇%f或者%e,%e格式用於 ...
  • 數據結構--二叉樹(Java) 博客說明 文章所涉及的資料來自互聯網整理和個人總結,意在於個人學習和經驗彙總,如有什麼地方侵權,請聯繫本人刪除,謝謝! 樹的常用術語(結合示意圖理解) 節點 根節點 父節點 子節點 葉子節點 (沒有子節點的節點) 節點的權(節點值) 路徑(從root節點找到該節點的路 ...
  • from selenium import webdriver #import time driver=webdriver.Chrome() #最小化視窗 #driver.minimize_window() driver.get("https://www.douban.com/") #time.sle ...
  • 用了Win10的配置環境變數功能後,其比Win7的配置界面更直觀、更易操作與理解,特此更新併發布本篇文章。 如果你的電腦是Win7系統,請參考:在Win7上配置Path環境變數 我們說的環境變數,一般是指的是Path環境變數。 第一步:點擊“此電腦”,右鍵,“屬性” 第二步:點擊“高級系統設置”,彈 ...
  • 一、反射概述 1. java.lang.Class:是反射的源頭 我們創建一個類,通過編譯,生成對應的.calss文件,之後使用java.exe載入(jvm的類載入器)此.class文件,此.class文件載入到記憶體以後,就是一個運行時類,存在緩存區,那麼這個運行時類的本身就是一個class的實例 ...
  • 真實世界的Python儀器監控》主要探討如何運用Python快速構建自動化儀器控制系統,幫助讀者瞭解如何通過自行開發應用程式來監視或者控制儀器硬體。《真實世界的Python儀器監控》內容涵蓋了從接線到建立介面,直到完成可用軟體的整個過程。本書提供逐步講解、清晰實例,以及將PC連接到各種設備的實踐技巧 ...
  • 精通Python網路爬蟲這是一本實戰性的網路爬蟲秘笈,不僅講解瞭如何編寫爬蟲,而且還講解了流行的網路爬蟲的使用。 點擊此處下載 提取碼:h5nn 全書分為4個部分:第壹部分對網路爬蟲做了概要性的介紹,主要介紹了網路爬蟲的常識和所涉及的技術概覽;第二部分是本書的重點之一,詳細講解了網路爬蟲的核心技術, ...
一周排行
  • 比如要拆分“呵呵呵90909086676喝喝999”,下麵當type=0返回的是中文字元串“呵呵呵,喝喝”,type=1返回的是數字字元串“90909086676,999”, private string GetStrings(string str,int type=0) { IList<strin ...
  • Swagger一個優秀的Api介面文檔生成工具。Swagger可以可以動態生成Api介面文檔,有效的降低前後端人員關於Api介面的溝通成本,促進項目高效開發。 1、使用NuGet安裝最新的包:Swashbuckle.AspNetCore。 2、編輯項目文件(NetCoreTemplate.Web.c ...
  • 2020 年 7 月 30 日, 由.NET基金會和微軟 將舉辦一個線上和為期一天的活動,包括 微軟 .NET 團隊的演講者以及社區的演講者。本次線上大會 專註.NET框架構建微服務,演講者分享構建和部署雲原生應用程式的最佳實踐、模式、提示和技巧。有關更多信息和隨時瞭解情況:https://focu... ...
  • #abp框架Excel導出——基於vue #1.技術棧 ##1.1 前端採用vue,官方提供 UI套件用的是iview ##1.2 後臺是abp——aspnetboilerplate 即abp v1,https://github.com/aspnetboilerplate/aspnetboilerp ...
  • 前言 本文的文字及圖片來源於網路,僅供學習、交流使用,不具有任何商業用途,版權歸原作者所有,如有問題請及時聯繫我們以作處理。 作者:碧茂大數據 PS:如有需要Python學習資料的小伙伴可以加下方的群去找免費管理員領取 input()輸入 Python提供了 input() 內置函數從標準輸入讀入一 ...
  • 從12年到20年,python以肉眼可見的趨勢超過了java,成為了當今It界人人皆知的編程語言。 python為什麼這麼火? 網路編程語言搜索指數 適合初學者 Python具有語法簡單、語句清晰的特點,這就讓初學者在學習階段可以把精力集中在編程對象和思維方法上。 大佬都在用 Google,YouT ...
  • 在社會上存在一種普遍的對培訓機構的學生一種歧視的現象,具體表現在,比如:當你去公司面試的時候,一旦你說了你是培訓機構出來的,那麼基本上你就涼了,那麼你瞞著不說,然後又通過了面試成功入職,但是以後一旦在公司被髮現有培訓經歷,可能會面臨被降薪,甚至被辭退,培訓機構出來的學生,在用人單位眼裡就是能力低下的 ...
  • from typing import List# 這道題看了大佬寫的代碼,經過自己的理解寫出來了。# 從最外圍的四周找有沒有為O的,如果有的話就進入深搜函數,然後深搜遍歷# 判斷上下左右的位置是否為Oclass Solution: def solve(self, board: List[List[s ...
  • import requests; import re; import os; # 1.請求網頁 header = { "user-agent":'Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_5) AppleWebKit/537.36 (KHTML, li ...
  • import requests; import re; import os; import parsel; 1.請求網頁 header = { "user-agent":'Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_5) AppleWebKit/537. ...