基本介紹
- 中文名：純虛函式
- 定義：不能對虛函式給出有意義的實現
- 存在原因：方便使用多態特性
- 歸類：計算機
定義,引入原因,相似概念,多態性,虛函式,抽象類,
定義
純虛函式是一種特殊的虛函式，它的一般格式如下：
class <類名>
{
virtual <類型><函式名>(<參數表>)=0;
…
};
純虛函式可以讓類先具有一個操作名稱，而沒有操作內容，讓派生類在繼承時再去具體地給出定義。凡是含有純虛函式的類叫做抽象類。這種類不能聲明對象，只是作為基類為派生類服務。除非在派生類中完全實現基類中所有的的純虛函式，否則，派生類也變成了抽象類，不能實例化對象。
一般而言純虛函式的函式體是預設的，但是也可以給出純虛函式的函式體（此時純虛函式變為虛函式），這一點經常被人們忽視，調用純虛函式的方法為baseclass::virtual function.
引入原因
1、為了方便使用多態特性，我們常常需要在基類中定義虛函式。
2、在很多情況下，基類本身生成對象是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身生成對象明顯不合常理。
為了解決上述問題，引入了純虛函式的概念，將函式定義為純虛函式（方法：virtual ReturnType Function()= 0;）。若要使派生類為非抽象類，則編譯器要求在派生類中，必須對純虛函式予以重寫以實現多態性。同時含有純虛函式的類稱為抽象類，它不能生成對象。這樣就很好地解決了上述兩個問題。
相似概念
多態性
a.編譯時多態性：通過重載函式和運算符重載實現。
b運行時多態性：通過虛函式和繼承實現。
虛函式
抽象類
包含純虛函式的類稱為抽象類。由於抽象類包含了沒有定義的純虛函式，所以不能定義抽象類的對象。
程式舉例：
基類:
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()一樣,只是在基類中不需要寫函式實現.
