關於虛函數與純虛函數的區別


轉自:

https://blog.csdn.net/hackbuteer1/article/details/7558868

注:

該博主是個大牛,雖然早已經不更新了,但是分享了很多數據結構的面試題,值得翻閱學習。

 

重點筆記摘要如下:

  • 定義一個函數為虛函數,不代表函數為不被實現的函數。
  • 定義他為虛函數是為了允許用基類的指針來調用子類的這個函數。(我想這就是虛函數的意義吧,下面基本都在講純虛函數和抽象類)
  • 定義一個函數為純虛函數,才代表函數沒有被實現。
  • 定義純虛函數是為了實現一個接口,起到一個規范的作用,規范繼承這個類的程序員必須實現這個函數。

下面是虛函數的一個典型應用。虛就虛在所謂“推遲聯編”或者“動態聯編”上,一個類函數的調用並不是在編譯時刻被確定的,而是在運行時刻被確定的。由於編寫代碼的時候並不能確定被調用的是基類的函數還是哪個派生類的函數,所以被成為“虛”函數。請看例子:

class A {
public:
    virtual void foo() {
        cout<<"A::foo() is called"<<endl;
    }
};

class B : public A {
public:
    void foo() {
        cout<<"B::foo() is called"<<endl;
    }
};

int main(void) {
    A *a = new B();
    a->foo();   // 在這里,a雖然是指向A的指針,但是被調用的函數(foo)卻是B的!
    return 0;
}

虛函數只能借助於指針或者引用來達到多態的效果。

 

關於純虛函數:

定義:

純虛函數是在基類中聲明的虛函數,它在基類中沒有定義,但要求任何派生類都要定義自己的實現方法。在基類中實現純虛函數的方法是在函數原型后加“=0”。如: virtual void funtion1()=0

為什么要有純虛函數?

因為有兩個問題:

1、為了方便使用C++的多態特性,我們常常需要在基類中定義虛函數。
2、在很多情況下,基類本身生成對象是不合情理的。例如,動物作為一個基類可以派生出老虎、孔雀等子類,但動物本身生成對象明顯不合常理。

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

再次“啰嗦”1:聲明了純虛函數的類是一個抽象類。所以,用戶不能創建類的實例,只能創建它的派生類的實例。派生類僅僅只是繼承函數的接口

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

再次“啰嗦”3:避免了像“動物”這樣的基類可以實例化,即不能生成對象。

總結:純虛函數用來規范派生類的行為,即接口

 

理解了純虛函數,沒想到還能稍帶把抽象類也學習了!

抽象類:

定義:稱帶有純虛函數的類為抽象類

注意:

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

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

 

高級總結(還是有很多不懂的地方):

總結:
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、析構函數應當是虛函數,將調用相應對象類型的析構函數,因此,如果指針指向的是子類對象,將調用子類的析構函數,然后自動調用基類的析構函數。


免責聲明!

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



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