首先:強調乙個概念
定義乙個函式為虛函式,不代表函式為不被實現的函式。
定義他為虛函式是為了允許用基類的指標來呼叫子類的這個函式。
定義乙個函式為純虛函式,才代表函式沒有被實現。
定義純虛函式是為了實現乙個介面,起到乙個規範的作用,規範繼承這個類的程式設計師必須實現這個函式。
1、簡介
假設我們有下面的類層次:
[cpp]view plain
copy
class
a
};
class
b:public
a
};
intmain(
void
)
這個例子是虛函式的乙個典型應用,通過這個例子,也許你就對虛函式有了一些概念。它虛就虛在所謂「推遲聯編」或者「動態聯編」上,乙個類函式的呼叫並不是在編譯時刻被確定的,而是在執行時刻被確定的。由於編寫**的時候並不能確定被呼叫的是基類的函式還是哪個派生類的函式,所以被成為「虛」函式。
動態聯編
:編譯程式在編譯階段並不能確切知道將要呼叫的函式,只有在程式執行時才能確定將要呼叫的函式, 為此要確切知道該呼叫的函式,要求聯編工作要在程式執行時進行, 這種在程式執行時進行聯編工作被稱為
動態聯編。
c++通過虛函式實現了多型:通過基類指標或引用呼叫虛函式時,會呼叫當前物件的實際型別中宣告的函式。 為了這個特性,包含虛函式的c++物件中會儲存乙個虛函式表指標,來完成動態聯編。
虛函式只能借助於指標或者引用來達到多型的效果。
c++純虛函式
一、定義
純虛函式是在基類中宣告的虛函式,它在基類中沒有定義,但要求任何派生類都要定義自己的實現方法。在基類中實現純虛函式的方法是在函式原型後加「=0」
virtual void funtion1()=0
二、引入原因
1、為了方便使用多型特性,我們常常需要在基類中定義虛函式。
2、在很多情況下,基類本身生成物件是不合情理的。例如,動物作為乙個基類可以派生出老虎、孔雀等子類,但動物本身生成物件明顯不合常理。
為了解決上述問題,引入了純虛函式的概念,將函式定義為純虛函式(方法:virtual returntype function()= 0;),則編譯器要求在派生類中必須予以重寫以實現多型性。同時含有純虛函式的類稱為抽象類,它不能生成物件。這樣就很好地解決了上述兩個問題。
宣告了純虛函式的類是乙個抽象類。所以,使用者不能建立類的例項,只能建立它的派生類的例項。
純虛函式最顯著的特徵是:它們必須在繼承類中重新宣告函式(不要後面的=0,否則該派生類也不能例項化),而且它們在抽象類中往往沒有定義。
定義純虛函式的目的在於,使派生類僅僅只是繼承函式的介面。
純虛函式的意義,讓所有的類物件(主要是派生類物件)都可以執行純虛函式的動作,但類無法為純虛函式提供乙個合理的預設實現。所以類純虛函式的宣告就是在告訴子類的設計者,「你必須提供乙個純虛函式的實現,但我不知道你會怎樣實現它」。
抽象類的介紹
抽象類是一種特殊的類,它是為了抽象和設計的目的為建立的,它處於繼承層次結構的較上層。
(1)抽象類的定義: 稱帶有純虛函式的類為抽象類。
(2)抽象類的作用:
抽象類的主要作用是將有關的操作作為結果介面組織在乙個繼承層次結構中,由它來為派生類提供乙個公共的根,派生類將具體實現在其基類中作為介面的操作。所以派生類實際上刻畫了一組子類的操作介面的通用語義,這些語義也傳給子類,子類可以具體實現這些語義,也可以再將這些語義傳給自己的子類。
(3)使用抽象類時注意:
• 抽象類只能作為基類來使用,其純虛函式的實現由派生類給出。如果派生類中沒有重新定義純虛函式,而只是繼承基類的純虛函式,則這個派生類仍然還是乙個抽象類。如果派生類中給出了基類純虛函式的實現,則該派生類就不再是抽象類了,它是乙個可以建立物件的具體的類。
• 抽象類是不能定義物件的。
總結: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、為了效率,不是程式執行的效率,而是為了編碼的效率。
看一道某公司的面試的筆試題
#include #include using namespace std;
class a
virtual void fuu()
};class b: public a
void fuu()
};int main()
結果:
p->foo()---1
p->fuu()---2
-------向上轉型-----------
p->foo()---1
p->fuu()---4
--------向下轉型----------
ptr->foo()----3
ptr->fuu()-----2
[finished in 0.1s]
分析:
第乙個p->foo()和p->fuu()都很好理解,本身是基類指標,指向的又是基類物件,呼叫的都是基類本身的函式,因此輸出結果就是1、2。
第二個輸出結果就是1、4。p->foo()和p->fuu()則是基類指標指向子類物件,正式體現多型的用法,p->foo()由於指標是個基類指標,指向是乙個固定偏移量的函式,因此此時指向的就只能是基類的foo()函式的**了,因此輸出的結果還是1。而p->fuu()指標是基類指標,指向的fuu是乙個虛函式,由於每個虛函式都有乙個虛函式列表,此時p呼叫fuu()並不是直接呼叫函式,而是通過虛函式列表找到相應的函式的位址,因此根據指向的物件不同,函式位址也將不同,這裡將找到對應的子類的fuu()函式的位址,因此輸出的結果也會是子類的結果4.
第三個並不是很理解這種用法,從原理上來解釋,由於b是子類指標,雖然被賦予了基類物件位址,但是ptr->foo()在呼叫的時候,由於位址偏移量固定,偏移量是子類物件的偏移量,於是即使在指向了乙個基類物件的情況下,還是呼叫到了子類的函式,雖然可能從始到終都沒有子類物件的例項化出現。
第四個:而ptr->fuu()的呼叫,可能還是因為c++多型性的原因,由於指向的是乙個基類物件,通過虛函式列表的引用,找到了基類中foo()函式的位址,因此呼叫了基類的函式。由此可見多型性的強大,可以適應各種變化,不論指標是基類的還是子類的,都能找到正確的實現方法。
C 虛函式與純虛函式
純虛函式定義如下 virtual functionname parameter 0 類的乙個成員定位虛函式的實際意義在於讓c 知道該函式並無意義,它的作用只是為了讓派生類進行函式過載保留位置。純虛函式的定義方法就是在類的虛函式後面加上 0 標記,類中一旦出現了純虛函式的定義,那麼此類為抽象類。例項 ...
C 虛函式與純虛函式
今天講講c 中,虛函式與純虛函式的用法和區別。而純虛函式是一種特殊的函式,它的作用是在基類中不給出有意義的實現,而把說明成純虛函式,它的實現留給該基類的派生類去做。包含純虛函式的類就是抽象類,抽象類不能被例項化,但是可以定義指向抽象類資料的指標變數,當派生類稱為具體類後,就可以用這種指標指向派生類的...
C 虛函式與純虛函式
最近在準備校招,做了一些筆試題,發現以前的基礎知識確實有一些遺失,好腦袋不如爛筆頭,所以決定隨筆記下一些基礎知識,以備後用。今天就先寫一寫虛函式與純虛函式。虛函式是類中被virtual關鍵字修飾的成員函式,為了實現類的多型性,即將介面與實現分離,需要注意的是虛函式必須實現,如果不實現,編譯器會報錯,...