參考來源：知乎
定義一個函數為虛函數，不代表函數為不被實現的函數。
定義他為虛函數是為了允許用基類的指針來調用子類的這個函數。
定義一個函數為純虛函數，才代表函數沒有被實現。
定義純虛函數是為了實現一個接口，起到一個規范的作用，規范繼承這個類的程序員必須實現這個函數。舉個栗子：
假設我們有下面的類層次：
class Animal
{
public:
virtual void eat()
{
cout<<"i eat like animals."<<endl;
}
};
class Dog:public Animal
{
public:
void eat()
{
cout<<"i eat like a dog."<<endl;
}
};
int main(void)
{
Animal *a = new Dog();
a->eat(); // 在這里，a雖然是指向Animal的指針，但是被調函數`eat()`卻是`Dog`的! 。
return 0;
}
這個例子是虛函數的一個典型應用，通過這個例子，也許你就對虛函數有了一些概念。
它虛就虛在所謂“推遲聯編”或者“動態聯編”上，函數的調用并不是在編譯時刻被確定的，而是在運行時刻被確定的。由于編寫代碼的時候并不能確定被調用的是基類的函數還是哪個派生類的函數，所以被成為“虛”函數。虛函數只能借助于指針或者引用來達到多態的效果。
C++純虛函數
定義
純虛函數是在基類中聲明的虛函數，它在基類中沒有定義，但要求任何派生類都要定義自己的實現方法。將函數定義為純虛函數的方式如下（后面多了個 ＝0）：
virtual ReturnType Function() = 0;
引入原因
1、為了方便使用多態特性，我們常常需要在基類中定義虛擬函數。
2、在很多情況下，基類本身生成對象是不合情理的。例如，動物作為一個基類可以派生出老虎、孔雀等子類，但動物本身生成對象明顯不合常理。
為了解決上述問題，引入了純虛函數的概念，
只要在基類中定義了純虛函數，則編譯器要求在其派生類中必須予以重寫以實現多態性。含有純虛函數的類稱為抽象類，抽象類它不能生成對象。
這樣就很好地解決了上述兩個問題。聲明了純虛函數的類是一個抽象類。所以，用戶不能創建類的實例，只能創建它的派生類的實例。純虛函數最顯著的特征是：它們必須在子類中重新聲明（不要后面的＝0，否則該派生類也不能實例化），而且它們在抽象類中沒有定義。
定義純虛函數的目的在于，使派生類僅僅只是繼承函數的接口。純虛函數的意義，讓所有的類對象（主要是派生類對象）都可以執行純虛函數的動作，但類無法為純虛函數提供一個合理的缺省實現。所以類純虛函數的聲明就是在告訴子類的設計者，“你必須提供一個純虛函數的實現，但我不知道你會怎樣實現它”。
抽象類的介紹
抽象類是一種特殊的類，它是為了抽象和設計的目的為建立的，它處于繼承層次結構的較上層。
抽象類的定義： 稱帶有純虛函數的類為抽象類。
抽象類的作用：抽象類的主要作用是將有關的操作作為結果接口組織在一個繼承層次結構中，由它來為派生類提供一個公共的根，派生類將具體實現在其基類中作為接口的操作。所以派生類實際上刻畫了一組子類的操作接口的通用語義，這些語義也傳給子類，子類可以具體實現這些語義，也可以再將這些語義傳給自己的子類。
使用抽象類時注意：
? 抽象類只能作為基類來使用，其純虛函數的實現由派生類給出。如果派生類中沒有重新定義純虛函數，而只是繼承基類的純虛函數，則這個派生類仍然還是一個抽象類。如果派生類中給出了基類純虛函數的實現，則該派生類就不再是抽象類了，它是一個可以建立對象的具體的類。
? 抽象類是不能定義對象的。
總結：
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、析構函數應當是虛函數，將調用相應對象類型的析構函數，因此，如果指針指向的是子類對象，將調用子類的析構函數，然后自動調用基類的析構函數。有純虛函數的類是抽象類，不能生成對象，只能派生。他派生的類的純虛函數沒有被改寫，那么，它的派生類還是個抽象類。定義純虛函數就是為了讓基類不可實例化化因為實例化這樣的抽象數據結構本身并沒有意義。或者給出實現也沒有意義。實際上我個人認為純虛函數的引入，是出于兩個目的1、為了安全，因為避免任何需要明確但是因為不小心而導致的未知的結果，提醒子類去做應做的實現。2、為了效率，不是程序執行的效率，而是為了編碼的效率。
最后引用別人的一段生動形象的解釋：
上帝是一個程序員，創造了動物(基類)，給予了動物吃飯，睡覺，叫喚等通用功能。(封裝)只指定了平均睡覺八小時(虛函數)，其中沒有指定具體的吃飯，叫喚的行為。(純虛函數)然后細分一下，動物有貓狗羊和人。(繼承)人類明確它們物種的時候(明確類型的派生類指針)貓吃魚 狗吃肉 羊吃草貓喵喵 狗汪汪 羊咩咩(多態 同名覆蓋)一切都如此順理成章。突然人發現一只動物！這只是什么呢？誒？這貨不知道是啥！只能用"動物"來稱呼他！(基類指針指向子類對象)當沒有虛函數的時候，人類發現這只動物不會叫也不會吃！因為他根本沒有這樣的實現！(注意 真正編程上如果派生類不對純虛函數進行實現將無法通過編譯)有了虛函數，讓那只動物"吃"，發現他吃草！于是捅一下這只動物，發現它會 哞哞叫！于是得知這是一頭牛！可以吃！于是人類就把它吃掉了。總結:虛函數目的是在用基類指針指向派生類的時候還能正確調用派生的實現。
