【C++學習筆記】 純虛函數詳解,絕不純屬虛構!


首先:強調一個概念

定義一個函數為虛函數,不代表函數為不被實現的函數。

定義他為虛函數是為了允許用基類的指針來調用子類的這個函數。

定義一個函數為純虛函數,才代表函數沒有被實現。

定義純虛函數是為了實現一個接口,起到一個規范的作用,規范繼承這個類的程序員必須實現這個函數。


 

一、定義

純虛函數也可以叫抽象函數,一般來說它只有函數名、參數和返回值類型,不需要函數體。

純虛函數是一種特殊的虛函數,它的一般格式如下(C++格式):

class <類名>

{

virtual <類型><函數名>(<參數表>)=0;

};

在許多情況下,在基類中不能對虛函數給出有意義的實現,而把它聲明為純虛函數,它的實現留給該基類的派生類去做。這就是純虛函數的作用。


 

二、引入原因

1、為了方便使用多態特性,我們常常需要在基類中定義虛擬函數。

2、在很多情況下,基類本身生成對象是不合情理的。例如,動物作為一個基類可以派生出老虎、孔雀等子類,但動物本身生成對象明顯不合常理。

為了解決上述問題,引入了純虛函數的概念,將函數定義為純虛函數(方法:virtual ReturnType Function()= 0;) ,則編譯器要求在派生類中必須予以重寫 以實現多態性。同時含有純虛擬函數的類稱為抽象類,它不能生成對象 。這樣就很好地解決了上述兩個問題。

聲明了純虛函數的類是一個抽象類。所以,用戶不能創建類的實例,只能創建它的派生類的實例。

純虛函數最顯著的特征

它們必須在繼承類中重新聲明函數(不要后面的=0,否則該派生類也不能實例化),而且它們在抽象類中往往沒有定義。

定義純虛函數的目的在於,使派生類僅僅只是繼承函數的接口。

純虛函數的意義,讓所有的類對象(主要是派生類對象)都可以執行純虛函數的動作,但類無法為純虛函數提供一個合理的默認實現。所以類純虛函數的聲明就是在告訴子類的設計者,"你必須提供一個純虛函數的實現,但我不知道你會怎樣實現它" 。

 何時使用純虛函數?

(1)當想在基類中抽象出一個方法,且該基類只做能被繼承,而不能被實例化;

(2)這個方法必須在派生類(derived class)中被實現;

  如果滿足以上兩點,可以考慮將該方法申明為pure virtual function.


 

三、相似概念

1.抽象類的介紹

抽象類是一種特殊的類,它是為了抽象和設計的目的為建立的,它處於繼承層次結構的較上層。

(1)抽象類的定義:稱帶有純虛函數的類為抽象類。

(2)抽象類的作用:抽象類的主要作用是將有關的操作作為結果接口組織在一個繼承層次結構中,由它來為派生類提供一個公共的根,派生類將具體實現在其基類中作為接口的操作。所以派生類實際上刻畫了一組子類的操作接口的通用語義,這些語義也傳給子類,子類可以具體實現這些語義,也可以再將這些語義傳給自己的子類。

(3)使用抽象類時注意:

抽象類只能作為基類來使用,其純虛函數的實現由派生類給出。如果派生類中沒有重新定義純虛函數,而只是繼承基類的純虛函數,則這個派生類仍然還是一個抽象類 。如果派生類中給出了基類純虛函數的實現,則該派生類就不再是抽象類了,它是一個可以建立對象的具體的類。

抽象類是不能定義對象的。


 

2.虛函數的介紹

(1)虛函數的定義:是在基類中被聲明為virtual,並在派生類中重新定義的成員函數,可實現成員函數的動態重載。

(2)虛函數的使用方法:

a.在基類用virtual聲明成員函數為虛函數。這樣就可以在派生類中重新定義此函數,為它賦予新的功能,並能方便地被調用。在類外定義虛函數時,不必再加virtual。

b.在派生類中重新定義此函數,要求函數名、函數類型、函數參數個數和類型全部與基類的虛函數相同,並根據派生類的需要重新定義函數體。

C++規定,當一個成員函數被聲明為虛函數后,其派生類中的同名函數都自動成為虛函數。因此在派生類重新聲明該虛函數時,可以加virtual,也可以不加,但習慣上一般在每一層聲明該函數時都加virtual,使程序更加清晰。如果在派生類中沒有對基類的虛函數重新定義,則派生類簡單地繼承其直接基類的虛函數。

c.定義一個指向基類對象的指針變量,並使它指向同一類族中需要調用該函數的對象。

d.通過該指針變量調用此虛函數,此時調用的就是指針變量指向的對象的同名函數。

通過虛函數與指向基類對象的指針變量的配合使用,就能方便地調用同一類族中不同類的同名函數,只要先用基類指針指向即可。如果指針不斷地指向同一類族中不同類的對象,就能不斷地調用這些對象中的同名函數。

需要說明;有時在基類中定義的非虛函數會在派生類中被重新定義,如果用基類指針調用該成員函數,則系統會調用對象中基類部分的成員函數;如果用派生類指針調用該成員函數,則系統會調用派生類對象中的成員函數,這並不是多態性行為(使用的是不同類型的指針),沒有用到虛函數的功能。


 

四、總結

1、純虛函數聲明如下:virtual void funtion1()=0; 純虛函數一定沒有定義 ,純虛函數用來規范派生類的行為,即接口。包含純虛函數的類是抽象類,抽象類不能定義實例,但可以聲明指向實現該抽象類的具體類的指針或引用。

2、虛函數聲明如下:virtual ReturnType FunctionName(Parameter) 虛函數必須實現 ,如果不實現,編譯器將報錯,錯誤提示為:

error LNK* *: unresolved external symbol "public: virtual void __thiscall ClassName::virtualFunctionName(void)"

3、對於虛函數(不是純虛函數)來說,父類和子類都有各自的版本。由多態方式調用的時候動態綁定。

4、實現了純虛函數的子類,該純虛函數在子類中就變成了虛函數,子類的子類即孫子類可以覆蓋該虛函數,由多態方式調用的時候動態綁定 。

5、虛函數是C++中用於實現多態(polymorphism)的機制(重要) 。核心理念就是通過基類訪問派生類定義的函數。

6、在有動態分配堆上內存的時候,析構函數必須是虛函數,但沒有必要是純虛的。

7、友元不是成員函數,只有成員函數才可以是虛擬的 ,因此友元不能是虛擬函數。但可以通過讓友元函數調用虛擬成員函數來解決友元的虛擬問題。

8、析構函數應當是虛函數,將調用相應對象類型的析構函數,因此,如果指針指向的是子類對象,將調用子類的析構函數,然后自動調用基類的析構函數 。


 

有純虛函數的類是抽象類,不能生成對象,只能派生。他派生的類的純虛函數沒有被改寫,那么,它的派生類還是個抽象類。

定義純虛函數就是為了讓基類不可實例化化,因為實例化這樣的抽象數據結構本身並沒有意義,或者給出實現也沒有意義。

實際上我個人認為純虛函數的引入,是出於兩個目的:

1、為了安全,因為避免任何需要明確但是因為不小心而導致的未知的結果,提醒子類去做應做的實現。

2、為了效率,不是程序執行的效率,而是為了編碼的效率。


 

看到這里你是不是對“C++”又有了一點新的認知呢~

如果你喜歡這篇文章的話,動動小指,加個關注哦~

如果你也想成為程序員,想要快速掌握編程,這里為你分享一個學習企鵝圈子!

里面有資深專業軟件開發工程師,在線解答你的所有疑惑~C語言入門“so easy”

資料包含:編程入門、游戲編程、課程設計、黑客等。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM