虛函數(shù)

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

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

int main()
{  //main2
  A a;
  B b;

  A* p1=&a;
  A* p2=&b; （這里強(qiáng)行用指向基類的指針來操作衍生的對(duì)象）

  p1->print();
  p2->print();
}

運(yùn)行一下看看結(jié)果，喲呵，驀然回首，結(jié)果卻是兩個(gè)This is A。問題來了，p2明明指向的是class B的對(duì)象但卻是調(diào)用的class A的print()函數(shù)，這不是我們所期望的結(jié)果，那么解決這個(gè)問題就需要用到虛函數(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ù)也會(huì)自動(dòng)變?yōu)樘摵瘮?shù)。所以，class B的print()也成了虛函數(shù)。那么對(duì)于在派生類的相應(yīng)函數(shù)前是否需要用virtual關(guān)鍵字修飾，那就是你自己的問題了。

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

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

純虛函數(shù)

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

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

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

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

最新評(píng)論