虛函數(shù)

簡單地說，那些被virtual關(guān)鍵字修飾的成員函數(shù)，就是虛函數(shù)。虛函數(shù)的作用，用專業(yè)術(shù)語來解釋就是實現(xiàn)多態(tài)性（Polymorphism），多態(tài)性是將接口與實現(xiàn)進(jìn)行分離；用形象的語言來解釋就是實現(xiàn)以共同的方法，但因個體差異而采用不同的策略。下面來看一段簡單的代碼

class A{  public:    void print(){ cout<<”This is A”<<endl;}};class B:public A{  public:    void print(){ cout<<”This is B”<<endl;}};int main(){  //為了在以后便于區(qū)分，我這段main()代碼叫做main1  A a;  B b;  a.print();  b.print();}

通過class A和class B的print()這個接口，可以看出這兩個class因個體的差異而采用了不同的策略，輸出的結(jié)果也是我們預(yù)料中的，分別是This is A和This is B。但這是否真正做到了多態(tài)性呢？No，多態(tài)還有個關(guān)鍵之處就是一切用指向基類的指針或引用來操作對象。那現(xiàn)在就把main()處的代碼改一改。

int main(){  //main2  A a;  B b;  A* p1=&a;  A* p2=&b; （這里強(qiáng)行用指向基類的指針來操作衍生的對象）  p1->print();  p2->print();}

運行一下看看結(jié)果，喲呵，驀然回首，結(jié)果卻是兩個This is A。問題來了，p2明明指向的是class B的對象但卻是調(diào)用的class A的print()函數(shù)，這不是我們所期望的結(jié)果，那么解決這個問題就需要用到虛函數(shù)

class A{  public:  virtual void print() { cout<<”This is A”<<endl;} };class B:public A{  public:  void print() { cout<<”This is B”<<endl;}};

毫無疑問，class A的成員函數(shù)print()已經(jīng)成了虛函數(shù)，那么class B的print()成了虛函數(shù)了嗎？回答是Yes，我們只需在把基類的成員函數(shù)設(shè)為virtual，其派生類的相應(yīng)的函數(shù)也會自動變?yōu)樘摵瘮?shù)。所以，class B的print()也成了虛函數(shù)。那么對于在派生類的相應(yīng)函數(shù)前是否需要用virtual關(guān)鍵字修飾，那就是你自己的問題了。

現(xiàn)在重新運行main2的代碼，這樣輸出的結(jié)果就是This is A和This is B了。

現(xiàn)在來消化一下，我作個簡單的總結(jié)，指向基類的指針在操作它的多態(tài)類對象時，會根據(jù)不同的類對象，調(diào)用其相應(yīng)的函數(shù)，這個函數(shù)就是虛函數(shù)。

純虛函數(shù)

虛函數(shù)的聲明以=0結(jié)束，便可將它聲明為純虛函數(shù)。包含純虛函數(shù)的類不允許實例化，稱為抽象類。 事實上純虛函數(shù)提供了面向?qū)ο笾薪涌诘墓δ堋．?dāng)然，這樣的接口是以繼承的方式實現(xiàn)的。

class CPerson{public:  virtual void hello() = 0;};CPerson p; // compile error

注意空方法、純虛函數(shù)、方法聲明的區(qū)別。類聲明中的空方法給出了方法聲明+方法定義。 只聲明但沒有定義的方法將會產(chǎn)生鏈接錯，無論是否被調(diào)用過。

class CPerson{public:  void empty(){};  void declare();};CPerson::declare(){  // ...};