c++類的多態與虛函數的使用

　　類的多態特性是支持面向對象的語言最主要的特性，有過非面向對象語言開發經歷的人，通常對這一章節的內容會覺得不習慣，因為很多人錯誤的認為，支持類的封裝的語言就是支持面向對象的，其實不然，Visual BASIC 6.0 是典型的非面向對象的開發語言，但是它的確是支持類，支持類並不能說明就是支持面向對象，能夠解決多態問題的語言，才是真正支持面向對象的開發的語言，所以務必提醒有過其它非面向對象語言基礎的讀者注意！

　　 多態的這個概念稍微有點模糊，如果想在一開始就想用清晰用語言描述它，讓讀者能夠明白，似乎不太現實，所以我們先看如下代碼：



//程序作者:管寧
//站點:www.cndev-lab.com
//所有稿件均有版權,如要轉載,請務必著名出處和作者

//例程１
#include <iostream>
using namespace std;

class Vehicle
{
public:
Vehicle(float speed,int total)
{
Vehicle::speed=speed;
Vehicle::total=total;
}
void ShowMember()
{
cout<<speed<<"|"<<total<<endl;
}
protected:
float speed;
int total;
};
class Car:public Vehicle
{
public:
Car(int aird,float speed,int total):Vehicle(speed,total)
{
Car::aird=aird;
}
void ShowMember()
{
cout<<speed<<"|"<<total<<"|"<<aird<<endl;
}
protected:
int aird;
};

void main()
{
Vehicle a(120,4);
a.ShowMember();
Car b(180,110,4);
b.ShowMember();
cin.get();
}


　　 在c++種是允許派生類重載基類成員函數的，對於類的重載來說，明確的，不同類的對象，調用其類的成員函數的時候，系統是知道如何找到其類的同名成員，上面代碼中的a.ShowMember();，即調用的是Vehicle::ShowMember()，b.ShowMember();，即調用的是Car::ShowMemeber();。
　但是在實際工作中，很可能會碰到對象所屬類不清的情況，下面我們來看一下派生類成員作為函數參數傳遞的例子，代碼如下：


//程序作者:管寧
//站點:www.cndev-lab.com
//所有稿件均有版權,如要轉載,請務必著名出處和作者


//例程２
#include <iostream>
using namespace std;

class Vehicle
{
public:
Vehicle(float speed,int total)
{
Vehicle::speed=speed;
Vehicle::total=total;
}
void ShowMember()
{
cout<<speed<<"|"<<total<<endl;
}
protected:
float speed;
int total;
};
class Car:public Vehicle
{
public:
Car(int aird,float speed,int total):Vehicle(speed,total)
{
Car::aird=aird;
}
void ShowMember()
{
cout<<speed<<"|"<<total<<"|"<<aird<<endl;
}
protected:
int aird;
};

void test(Vehicle &temp)
{
temp.ShowMember();
}

void main()
{
Vehicle a(120,4);
Car b(180,110,4);
test(a);
test(b);
cin.get();
}


　　 例子中，對象a與b分辨是基類和派生類的對象，而函數test的形參卻只是Vehicle類的引用，按照類繼承的特點，系統把Car類對象看做是一個Vehicle類對象，因為Car類的覆蓋范圍包含Vehicle類，所以test函數的定義並沒有錯誤，我們想利用test函數達到的目的是，傳遞不同類對象的引用，分別調用不同類的,重載了的,ShowMember成員函數，但是程序的運行結果卻出乎人們的意料，系統分不清楚傳遞過來的基類對象還是派生類對象，無論是基類對象還是派生類對象調用的都是基類的ShowMember成員函數。
為了要解決上述不能正確分辨對象類型的問題，c++提供了一種叫做多態性（polymorphism）的技術來解決問題，對於例程序１，這種能夠在編譯時就能夠確定哪個重載的成員函數被調用的情況被稱做先期聯編（early binding），而在系統能夠在運行時，能夠根據其類型確定調用哪個重載的成員函數的能力，稱為多態性，或叫滯後聯編(late binding)，下面我們要看的例程３，就是滯後聯編，滯後聯編正是解決多態問題的方法。


代碼如下：


//程序作者:管寧
//站點:www.cndev-lab.com
//所有稿件均有版權,如要轉載,請務必著名出處和作者

//例程３
#include <iostream>
using namespace std;

class Vehicle
{
public:
Vehicle(float speed,int total)
{
Vehicle::speed = speed;
Vehicle::total = total;
}
virtual void ShowMember()//虛函數
{
cout<<speed<<"|"<<total<<endl;
}
protected:
float speed;
int total;
};
class Car:public Vehicle
{
public:
Car(int aird,float speed,int total):Vehicle(speed,total)
{
Car::aird = aird;
}
virtual void ShowMember()//虛函數,在派生類中，由於繼承的關系，這裡的virtual也可以不加
{
cout<<speed<<"|"<<total<<"|"<<aird<<endl;
}
public:
int aird;
};

void test(Vehicle &temp)
{
temp.ShowMember();
}

int main()
{
Vehicle a(120,4);
Car b(180,110,4);
test(a);
test(b);
cin.get();
}


　　多態特性的工作依賴虛函數的定義，在需要解決多態問題的重載成員函數前，加上virtual關鍵字，那麼該成員函數就變成了虛函數，從上例代碼運行的結果看，系統成功的分辨出了對象的真實類型，成功的調用了各自的重載成員函數。


　　 多態特性讓程序員省去了細節的考慮，提高了開發效率，使代碼大大的簡化，當然虛函數的定義也是有缺陷的，因為多態特性增加了一些數據存儲和執行指令的開銷，所以能不用多態最好不用。 <