純虛函數

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

1 定義

純虛函數是一種特殊的虛函數，它的一般格式如下：

class <類名>

{

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

…

};

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

純虛函數可以讓類先具有一個操作名稱，而沒有操作內容，讓派生類在繼承時再去具體地給出定義。凡是含有純虛函數的類叫做抽象類。這種類不能聲明對象，只是作爲基類爲派生類服務。除非在派生類中完全實現基類中所有的的純虛函數，否則，派生類也變成了抽象類，不能實例化對象。

一般而言純虛函數的函數體是缺省的，但是也可以給出純虛函數的函數體（此時純虛函數變爲虛函數），這一點經常被人們忽視，調用純虛函數的方法爲baseclass::virtual function.

2引入原因

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

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

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

3相似概念

多態性

指相同對象收到不同消息或不同對象收到相同消息時產生不同的實現動作。C++支持兩種多態性：編譯時多態性，運行時多態性。

a.編譯時多態性：通過重載函數和運算符重載實現。

b運行時多態性：通過虛函數和繼承實現。

虛函數

虛函數是在基類中被聲明爲virtual，並在派生類中重新定義的成員函數，可實現成員函數的動態重載

抽象類

包含純虛函數的類稱爲抽象類。由於抽象類包含了沒有定義的純虛函數，所以不能定義抽象類的對象。

程序舉例：

基類:

?

1 2 3 4 5 6 7 8 9

classA { public: A(); virtual~A(); voidf1(); virtualvoidf2(); virtualvoidf3()=0; };

子類:

?

1 2 3 4 5 6 7 8 9

classB:publicA { public: B(); virtual~B(); voidf1(); virtualvoidf2(); virtualvoidf3(); };

主函數:

?

1 2 3 4 5 6 7 8 9 10 11

intmain(intargc,char*argv[]) { A*m_j=newB();   m_j->f1(); m_j->f2(); m_j->f3();   deletem_j; return0; }

f1()是一個隱藏,關於函數的隱藏,可以參考其它詞條.

調用m_j->f1();會去調用A類中的f1(),它是在我們寫好代碼的時候就會定好的.

也就是根據它是由A類定義的,這樣就調用這個類的函數.

f2()是重寫（覆蓋）.

調用m_j->f2();會調用m_j中到底保存的對象中,對應的這個函數.這是由於new的B

對象.（調用派生類的f2()）

f3()與f2()一樣,只是在基類中不需要寫函數實現