一、首先回顧下什么是虛函數(shù)及其作用,以便更好理解什么函數(shù)不能聲明或定義為虛函數(shù): 1. 定義: 虛函數(shù)必須是基類的非靜態(tài)成員函數(shù),其訪問權(quán)限可以是protected或public,在基類的類定義中定義虛函數(shù)的一般形式: virtual 函數(shù)返回值類型 虛函數(shù)名(形參表) { 函數(shù)體 } 2. 作用: 虛函數(shù)的作用是實現(xiàn)動態(tài)聯(lián)編,也就是在程序的運行階段動態(tài)地選擇合適的成員函數(shù),在定義了虛函數(shù)后,可以在基類的派生類中對虛函數(shù)重新定義,在派生類中重新定義的函數(shù)應(yīng)與虛函數(shù)具有相同的形參個數(shù)和形參類型,以實現(xiàn)統(tǒng)一的接口,不同定義過程。如果在派生類中沒有對虛函數(shù)重新定義,則它繼承其基類的虛函數(shù)。 當程序發(fā)現(xiàn)虛函數(shù)名前的關(guān)鍵字virtual后,會自動將其作為動態(tài)聯(lián)編處理,即在程序運行時動態(tài)地選擇合適的成員函數(shù)。 3. 使用方法: 動態(tài)聯(lián)編規(guī)定,只能通過指向基類的指針或基類對象的引用來調(diào)用虛函數(shù),其格式: 指向基類的指針變量名->虛函數(shù)名(實參表) 或 基類對象的引用名. 虛函數(shù)名(實參表) 4. 其它說明: 虛函數(shù)是C++多態(tài)的一種表現(xiàn): 例如:子類繼承了父類的一個函數(shù)(方法),而我們把父類的指針指向子類,則必須把父類的該函數(shù)(方法)設(shè)為virtual(虛函數(shù))。 使用虛函數(shù),我們可以靈活的進行動態(tài)綁定,當然是以一定的開銷為代價。 如果父類的函數(shù)(方法)根本沒有必要或者無法實現(xiàn),完全要依賴子類去實現(xiàn)的話,可以把此函數(shù)(方法)設(shè)為virtual 函數(shù)名=0 我們把這樣的函數(shù)(方法)稱為純虛函數(shù)。 如果一個類包含了純虛函數(shù),稱此類為抽象類 。
二、什么函數(shù)不能聲明為虛函數(shù): 一個類中將所有的成員函數(shù)都盡可能地設(shè)置為虛函數(shù)總是有益的。
設(shè)置虛函數(shù)須注意:
1:只有類的成員函數(shù)才能說明為虛函數(shù)(C++不支持普通函數(shù)為虛函數(shù));
2:靜態(tài)成員函數(shù)不能是虛函數(shù);
3:內(nèi)聯(lián)函數(shù)不能為虛函數(shù);
4:構(gòu)造函數(shù)不能是虛函數(shù);
5:析構(gòu)函數(shù)可以是虛函數(shù),而且通常聲明為虛函數(shù)。
6:為什么C++不支持友元函數(shù)為虛函數(shù) (因為C++不支持友元函數(shù)的繼承,對于沒有繼承特性的函數(shù)沒有虛函數(shù)的說法)。 類里面“定義”的成員函數(shù)是內(nèi)聯(lián)的,但是仍然可以成為虛函數(shù),那么是不是可以說“內(nèi)聯(lián)函數(shù)不能成為虛函數(shù)”這句話有問題呢,是不是應(yīng)該改成“顯式定義的內(nèi)聯(lián)函數(shù)不能成為虛函數(shù)”。比如下面這個示例程序:
#include <iostream>
using namespace std;
class Base{
public:
virtual void f1(){cout < < "Father " < <endl;}
};
class Drived1:public Base{
public:
void f1(){cout < < "Son1 " < <endl;}
};
class Drived2:public Base{
public:
void f1(){cout < < "Son2 " < <endl;}
};
void myPrint(Base* pBs){
pBs-> f1();
}
int main()
{
Base father;
Drived1 son1;
Drived2 son2;
myPrint(&father);
myPrint(&son1);
myPrint(&son2);
system( "PAUSE ");
return 0;
}
輸出:
Father
Son1
Son2
你可以發(fā)現(xiàn),雖然f1在基類中定義的,按理說應(yīng)該是內(nèi)聯(lián)函數(shù),但是它仍然可以成為虛函
數(shù)。
類中定義的成員函數(shù)(函數(shù)體在類中)能成為虛函數(shù),大部分編譯器能夠?qū)㈦m然聲明為inline但實際上不能inline的函數(shù)自動改為不inline的。至于編譯器會不會將inline and virtual的函數(shù)照模照樣的實現(xiàn),與編譯器及優(yōu)化方式有關(guān)。
要想成為虛函數(shù),必須能夠被取到地址.內(nèi)聯(lián)函數(shù)不能被取到地址所以不能成為虛函數(shù).
你寫inline virtual void f(),不能保證函數(shù)f()一定是內(nèi)聯(lián)的,只能保證f()是虛函數(shù)(從而保證此函數(shù)一定不是內(nèi)聯(lián)函數(shù))
對于問題:
到底內(nèi)聯(lián)函數(shù)能不能成為虛函數(shù)?
答案是不能.問題是你不能夠確定一個函數(shù)到底是不是inline的.inline關(guān)鍵字只是對編譯器的一個建議:"如果有可能,請把此函數(shù)搞成inline的"
|