該文為轉載.原文來自
http://baike.baidu.com/view/161302.htm1. 虛函數的定義
虛函數用來表現基類和派生類的成員函數之間的一種關系.
虛函數的定義在基類中進行,在需要定義為虛函數的成員函數的聲明前冠以關鍵字 virtual.
基類中的某個成員函數被聲明為虛函數后,此虛函數就可以在一個或多個派生類中被重新定義.
在派生類中重新定義時,其函數原型,包括返回類型,函數名,參數個數,參數類型及參數的先后順序,都必須與基類中的原型完全相同.
虛函數是重載的一種表現形式,是一種動態的重載方式.
2. 為什么使用虛函數
#include
class CBase{
public:
void who( )
{cout<<"this is the base class!\n";}
};
class CDerive1 : public CBase{
public:
void who( )
{cout<<"this is the derive1 class!\n";}
};
class CDerive2 : public CBase{
public:
void who( )
{cout< who( );
p = &obj2;
p -> who( );
p = &obj3;
p -> who( );
obj2.who( );
obj3.who( );
return 1;
}
運行結果:
this is the base class!
this is the base class!
this is the base class!
this is the derive1 class!
this is the derive2 class!
通過對象指針進行的普通成員函數調用,僅僅與指針的類型有關,而與此刻正指向什么對象無關.要想實現當指針指向不同對象時執行不同的操作,就必須將基類相應中的成員函數定義為虛函數.
3. 虛函數與重載函數的關系
一般的重載函數,函數的返回類型及所帶的參數必須至少有一樣不完全相同,只需函數名相同即可.
基類中定義的虛函數在派生類中重新定義時,其函數原型,包括返回類型,函數名,參數個數,參數類型及參數的先后順序,都必須與基類中的原型完全相同.
重載虛函數時,若與基類中的函數原型出現不同,系統將根據不同情況分別處理:
(1)僅僅返回類型不同,其余相同,系統會當作出錯處理;
(2)函數原型不同,僅僅函數名相同,系統會認為是一般的函數重載,將丟失虛特性.
3.3.4 虛基類
#include
class x{
protected:
int a;
public:
void f ( ) ;
};
class x1 : public x {
public:
x1( ){cout<};
class x2 : public x {
public:
x2( ){ cout<};
class y : public x1, public x2{
public:
y( ){ cout<};
main( )
{
y obj; //error
obj . f ( ) ; //error
return ;
}
二義性錯誤
非虛基類的類層次
虛基類的類層次
當在多條繼承路徑上有一個公共的基類,在這些路徑中的某幾條匯合處,這個公共的基類就會產生多個實例(或多個副本),若只想保存這個基類的一個實例,可以將這個公共基類說明為虛基類.
class x1 : virtual public x
{
// … …
};
class x2 : virtual public x
{
// … …
};
虛基類的初始化
虛基類的初始化與一般多繼承的初始化在語法上是一樣的,但構造函數的調用次序不同.
派生類構造函數的調用次序有三個原則:
(1) 虛基類的構造函數在非虛基類之前調用;
(2) 若同一層次中包含多個虛基類,這些虛基類的構造函數按它們說明的次序調用;
(3) 若虛基類由非虛基類派生而來,則仍先調用基類構造函數,再調用派生類的構造函數.
純虛函數
僅僅用來為要從基類中派生的函數占據一個位置。
純虛函數在基類中沒有定義，它們被初始化為0。
任何用純虛函數派生的類，都要自己提供該函數的具體實現。
定義純虛函數
virtual void myMethod(void) = 0;