虛函數的定義要遵循以下重要規則:
1.如
果虛函數在基類與衍生類別中出現,僅僅是名字相同,而形式參數不同,或者是傳回型別不同,那麼即使加上了virtual關鍵字,也是不會進行滯後聯編的。
2.只有類的成員函數才能說明為虛函數,因為虛函數僅適合用與有繼承關係的類對象,所以普通函數不能說明為虛函數。
3.靜態成員
函數不能是虛函數,因為靜態成員函數的特點是不受限制於某個對象。
4.內聯(inline)函數不能是虛函數,因為內嵌函式不能在
運行中動態確定位置。即使虛函數在類的內部定義定義,但是在編譯的時候系統仍然將它看做是非內聯的。
5.建構函式不能是虛函數,因
為構造的時候,對象還是一片位定型的空間,只有構造完成後,對象才是具體類的執行個體。
6.解構函式可以是虛函數,而且通常聲名為虛函
數。
說明一下,雖然我們說使用虛函數會降低效率,但是在處理器速度越來越快的今天,將一個類中的所有成員函數都定義成為
virtual總是有好處的,它除了會增加一些額外的開銷是沒有其它壞處的,對於保證類的封裝特性是有好處的。
對於上面虛函數使用的重
要規則6,我們有必要用執行個體說明一下,為什麼具備多態特性的類的解構函式,有必要聲明為
virtual
。
代碼如下:
#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;
}
virtual
~Vehicle()
{
cout
<<"載入Vehicle基類析構函
數"<<endl;
cin
.get();
}
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()
{
cout
<<speed<<"|"<<total<<"|"<<aird<<endl;
}
virtual
~Car()
{
cout
<<"載入Car衍生類別析構函
數"<<endl;
cin
.get();
}
protected
:
int
aird;
};
void
test(Vehicle &temp)
{
temp.ShowMember();
}
void
DelPN(Vehicle *temp)
{
delete
temp;
}
void
main
()
{
Car *a=new
Car(100,1,1);
a->ShowMember();
DelPN(a);
cin
.get();
}
從上例代碼的運行結
果來看,當調用DelPN(a);後,在析構的時候,系統成功的確定了先調用Car類的解構函式,而如果將解構函式的virtual修飾去掉,再觀察結
果,會發現析構的時候,始終只調用了基類的解構函式,由此我們發現,多態的特性的virtual修飾,不單單對基類和衍生類別的普通成員函數有必要,而且對
於基類和衍生類別的解構函式同樣重要。