定義
純虛函數是一種特殊的虛函數,它的一般格式如下:
class<類名>
{virtual<類型><函數名>(<參數表>)=0;
};
在許多情況下,在基類中不能對虛函數給出有意義的實現,而把它聲明為純虛函數,它的實現留給該基類的派生類去做。這就是純虛函數的作用。
純虛函數可以讓類先具有一個操作名稱,而沒有操作内容,讓派生類在繼承時再去具體地給出定義。凡是含有純虛函數的類叫做抽象類。這種類不能聲明對象,隻是作為基類為派生類服務。除非在派生類中完全實現基類中所有的的純虛函數,否則,派生類也變成了抽象類,不能實例化對象。
引入原因
1、為了方便使用多态特性,我們常常需要在基類中定義虛拟函數。
2、在很多情況下,基類本身生成對象是不合情理的。例如,動物作為一個基類可以派生出老虎、孔雀等子類,但動物本身生成對象明顯不合常理。
為了解決上述問題,引入了純虛函數的概念,将函數定義為純虛函數(方法:virtualReturnTypeFunction()=0;)。若要使派生類為非抽象類,則編譯器要求在派生類中,必須對純虛函數予以重寫以實現多态性。同時含有純虛函數的類稱為抽象類,它不能生成對象。這樣就很好地解決了上述兩個問題。
相似概念
1、多态性
指相同對象收到不同消息或不同對象收到相同消息時産生不同的實現動作。C++支持兩種多态性:編譯時多态性,運行時多态性。
a.編譯時多态性:通過重載函數實現
b運行時多态性:通過虛函數實現。
2、虛函數
虛函數是在基類中被聲明為virtual,并在派生類中重新定義的成員函數,可實現成員函數的動态重載。
3、抽象類
包含純虛函數的類稱為抽象類。由于抽象類包含了沒有定義的純虛函數,所以不能定義抽象類的對象。
程序舉例:
基類:
classA
{public:
A();
virtual~A();
voidf1();
virtualvoidf2();
virtualvoidf3()=0;};
子類:
classB:publicA
{public:
B();
virtual~B();
voidf1();
virtualvoidf2();
virtualvoidf3();};
主函數:
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()一樣,隻是在基類中不需要寫函數實現。