純虛函式

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

基本介紹

• 中文名：純虛函式
• 定義：不能對虛函式給出有意義的實現
• 存在原因：方便使用多態特性
• 歸類：計算機

定義

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

class <類名>

{

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

…

};

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

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

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

引入原因

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

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

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

相似概念

多態性

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

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

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

虛函式

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

抽象類

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

程式舉例：

基類:

class A {public:    A();    virtual ~A();    void f1();    virtual void f2();    virtual void f3()=0;};

子類:

class B:public A{public:    B();    virtual ~B();    void f1();    virtual void f2();    virtual void f3();};

主函式:

int main(int argc,char * argv[]) {    A *m_j = new B();    m_j -> f1();    m_j -> f2();    m_j -> f3();    delete m_j;    return 0;}

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

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

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

f2()是重寫（覆蓋）.

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

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

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