快捷導(dǎo)航

C++中Overload,Override,Hide之間的區(qū)別

更新時(shí)間：2013年09月13日 10:39:19 作者：

重載overload，這個(gè)概念是大家熟知的。在同一可訪問區(qū)內(nèi)被聲名的幾個(gè)具有不同參數(shù)列的（參數(shù)的類型、個(gè)數(shù)、順序不同）同名函數(shù)，程序會(huì)根據(jù)不同的參數(shù)列來確定具體調(diào)用哪個(gè)函數(shù)，這種機(jī)制就是重載

一. 簡介
•Overload: 重載，指函數(shù)同名，但是參數(shù)個(gè)數(shù)不同、或者參數(shù)類型不同的多個(gè)實(shí)現(xiàn)。（如果參數(shù)相同但是僅僅返回值不同不是重載，編譯器會(huì)報(bào)錯(cuò)。）

編譯器判斷重載函數(shù)：
•第一步，是確定該調(diào)用中所考慮的重載函數(shù)的集合，該函數(shù)集合被稱為候選函數(shù)（candidant function）。所謂候選函數(shù)就是與被調(diào)用函數(shù)同名的函數(shù)。

•第二步，分為兩動(dòng)作：第一個(gè)動(dòng)作是編譯器從第一步選出的候選函數(shù)中調(diào)出可行函數(shù)（viable function）?？尚泻瘮?shù)的函數(shù)參數(shù)個(gè)數(shù)與調(diào)用的函數(shù)參數(shù)個(gè)數(shù)相同，或者可行函數(shù)的參數(shù)可以多一些，但是多出來的函數(shù)參數(shù)都要有相關(guān)的缺省值；第二個(gè)動(dòng)作是根據(jù)參數(shù)類型的轉(zhuǎn)換規(guī)則將被調(diào)用的函數(shù)實(shí)參轉(zhuǎn)換（conversion）成候選函數(shù)的實(shí)參。這里本著充分利用參數(shù)類型轉(zhuǎn)換的原則，換句話說，盡可能的使用上參數(shù)類型轉(zhuǎn)換。當(dāng)然轉(zhuǎn)換要以候選函數(shù)為轉(zhuǎn)換的目標(biāo)。如果依照參數(shù)轉(zhuǎn)換規(guī)則沒有找到可行函數(shù)，則該調(diào)用就是錯(cuò)誤的，則說沒有函數(shù)與調(diào)用匹配，屬于無匹配情況（no match function）。

•第三步，從第二步中選出的可行函數(shù)中選出最佳可行函數(shù)（best match situation）。在最佳可行函數(shù)的選擇中，從函數(shù)實(shí)參類型到相應(yīng)可行函數(shù)參數(shù)所用的轉(zhuǎn)化都要?jiǎng)澐值燃?jí)，根據(jù)等級(jí)的劃分（ranked），最后選出最佳可行函數(shù)。

•Override：（想不到比較貼切的翻譯）指在繼承時(shí)，父類函數(shù)聲明為 virtual , 子類重新聲明和實(shí)現(xiàn)該函數(shù)（函數(shù)名和參數(shù)完全相同，返回值不做約束）。子類該函數(shù)可以聲明為 virtual ，也可以不加，不做限制，但是如果該子類還會(huì)繼續(xù)被重載，則最好也聲明為 virtual 。正是因?yàn)橛衯irtual和Override的機(jī)制，C++才能夠?qū)崿F(xiàn)多態(tài)。

•Hide：繼承結(jié)構(gòu)中的函數(shù)隱藏，指父類中聲明了函數(shù)，子類中聲明和定義了完全一致的函數(shù)，但是父類中函數(shù)沒有聲明為vitual，此時(shí)子類中的同名同參數(shù)函數(shù)會(huì)完全隱藏父類的函數(shù)。貌似和Override很像，但是其實(shí)現(xiàn)機(jī)制和Override完全不同，且會(huì)導(dǎo)致問題，應(yīng)該避免使用。（ virtual機(jī)制是使用虛表（vtable）實(shí)現(xiàn)的，虛表維護(hù)一個(gè)虛函數(shù)指針列表，但一個(gè)對象的某個(gè)虛函數(shù)被調(diào)用的時(shí)候，去虛表中查找并決定調(diào)用的是哪個(gè)函數(shù)，具體的實(shí)現(xiàn)，小編下次在講。）

復(fù)制代碼代碼如下:

class Super
{
public: 
void go() { cout << "go() called on Super" << endl; }
};
class Sub : public Super
{
public: 
void go() { cout << "go() called on Sub" << endl; }
};
Sub mySub;
mySub.go(); // output: go() called on Sub
Super& ref = mySub;
ref.go(); //output: go() called on Super

也許你希望它會(huì)調(diào)用子類的函數(shù)，但這可能和你的預(yù)期完全不同。

二. 總結(jié)
重載overload，這個(gè)概念是大家熟知的。在同一可訪問區(qū)內(nèi)被聲名的幾個(gè)具有不同參數(shù)列的（參數(shù)的類型、個(gè)數(shù)、順序不同）同名函數(shù)，程序會(huì)根據(jù)不同的參數(shù)列來確定具體調(diào)用哪個(gè)函數(shù)，這種機(jī)制就是重載。重載不關(guān)心函數(shù)的返回值類型，即返回類型不同無法構(gòu)成重載。此外，C++ 中的const成員函數(shù)也可以構(gòu)成overload。

總結(jié)一下重載的特征：
1、處在相同的空間中，即相同的范圍內(nèi)；
2、函數(shù)名相同；
3、參數(shù)不同，即參數(shù)個(gè)數(shù)不同，或相同位置的參數(shù)類型不同；
4、const成員函數(shù)可以和非const成員函數(shù)形成重載；
5、virtual關(guān)鍵字、返回類型對是否夠成重載無任何影響。

覆蓋override，是指派生類中存在重新定義的函數(shù)，其函數(shù)名、參數(shù)列、返回值類型必須同父類中的相對應(yīng)被覆蓋的函數(shù)嚴(yán)格一致，覆蓋函數(shù)和被覆蓋函數(shù)只有函數(shù)體（花括號(hào)中的部分）不同，當(dāng)派生類對象調(diào)用子類中該同名函數(shù)時(shí)會(huì)自動(dòng)調(diào)用子類中的覆蓋版本，而不是父類中的被覆蓋函數(shù)版本，這種機(jī)制就叫做覆蓋，特征是：

1、不同的范圍（分別位于派生類與基類）；
2、函數(shù)名字相同；
3、參數(shù)相同；
4、基類函數(shù)必須有virtual關(guān)鍵字。

針對上述兩個(gè)概念，還有一個(gè)隱藏hide。所謂的隱藏，指的是派生類類型的對象、指針、引用訪問基類和派生類都有的同名函數(shù)時(shí)，訪問的是派生類的函數(shù)，即隱藏了基類的同名函數(shù)。隱藏規(guī)則的底層原因其實(shí)是Ｃ＋＋的名字解析過程。在繼承機(jī)制下，派生類的類域被嵌套在基類的類域中。派生類的名字解析過程如下：

1、首先在派生類類域中查找該名字。
2、如果第一步中沒有成功查找到該名字，即在派生類的類域中無法對該名字進(jìn)行解析，則編譯器在外圍基類類域?qū)Σ檎以撁值亩x。

總結(jié)一下隱藏的特征：
1、如果派生類的函數(shù)與基類的函數(shù)同名，但是參數(shù)不同。此時(shí)，不論有無virtual關(guān)鍵字，基類的函數(shù)將被隱藏（注意別與重載混淆）。

2、如果派生類的函數(shù)與基類的函數(shù)同名，并且參數(shù)也相同，但是基類函數(shù)沒有virtual關(guān)鍵字。此時(shí)，基類的函數(shù)被隱藏（注意別與覆蓋混淆）。

您可能感興趣的文章: