談C++繼承中的重載、覆蓋和隱藏
2019-11-17 05:18:59
供稿：網友
寫正題之前，先給出幾個要害字的中英文對照，重載(overload)，覆蓋(override),隱藏(hide)。在早期的C++書籍中，可能翻譯的人不熟悉專業用語（也不能怪他們，他們不是搞計算機編程的，他們是英語專業的），經常把重載(overload)和覆蓋(override)搞錯！
我們先來看一些代碼及其編譯結果。
實例一：
#include "stdafx.h"
#include
class CB
{
public:
void f(int)
{
cout << "CB::f(int)" << endl;
}
};
class CD : public CB
{
public:
void f(int,int)
{
cout << "CD::f(int,int)" << endl;
}
void test()
{
f(1);
}
};
int main(int argc, char* argv[])
{
return 0;
}
編譯了一下
error C2660: 'f' : function does not take 1 parameters
結論：在類CD這個域中，沒有f(int)這樣的函數，基類中的void f(int)被隱藏
假如把派生CD中成員函數void f(int,int)的聲明改成和基類中一樣，即f(int)，基類中的void f(int)還是一樣被覆蓋，此時編譯不會出錯，在函數中test調用的是CD中的f(int)
所以，在基類中的某些函數，假如沒有virtral要害字，函數名是f(參數是什么我們不管)，那么假如在派生類CD中也聲明了某個f成員函數，那么在類CD域中，基類中所有的那些f都被隱藏。
假如你比較心急，想知道什么是隱藏，看文章最后的簡單說明，不過我建議你還是一步一步看下去。
我們剛才說的是沒有virtual的情況，假如有virtual的情況呢？？
實例二：
#include "stdafx.h"
#include
class CB
{
public:
virtual void f(int)
{
cout << "CB::f(int)" << endl;
}
};
class CD : public CB
{
public:
void f(int)
{
cout << "CD::f(int)" << endl;
}
};
int main(int argc, char* argv[])
{
return 0;
}
這么寫當然是沒問題了，在這里我不多費口舌了，這是很簡單的，多態，虛函數，然后什么指向基類的指針指向派生類對象阿，通過引用調用虛函數阿什么的，屬性多的很咯，什么？？你不明白？？隨便找本C++的書，對會講多態和虛函數機制的哦?。?div class="iwvjtn8m0" id="article"> QQ病毒 騰訊QQ空間代碼專題 PPT教程專題 ADSL應用面面俱到 fireworks教程專題 計算機和網絡技術基礎知識 校園網專題 網吧技術專題 這種情況我們叫覆蓋(override)！覆蓋指的是派生類的虛擬函數覆蓋了基類的同名且參數相同的函數！
在這里，我要強調的是，這種覆蓋，要滿足兩個條件
(a)有virtual要害字，在基類中函數聲明的時候加上就可以了
(b)基類CB中的函數和派生類CD中的函數要一模一樣，什么叫一模一樣，函數名，參數，返回類型三個條件。
有人可能會對(b)中的說法質疑，說返回類型也要一樣？？
是，覆蓋的話必須一樣，我試了試，假如在基類中,把f的聲明改成virtual int f(int)，編譯出錯了
error C2555: 'CD::f' : overriding virtual function differs from 'CB::f' only by return type or calling convention
所以，覆蓋的話，必須要滿足上述的(a)(b)條件
那么假如基類CB中的函數f有要害字virtual ，但是參數和派生類CD中的函數f參數不一樣呢，
實例三:
#include "stdafx.h"
#include
class CB
{
public:
virtual void f(int)
{
cout << "CB::f(int)" << endl;
}
}
;
class CD : public CB
{
public:
void f(int，int)
{
cout << "CD::f(int，int)" << endl;
}
void test()
{
f(1);
}
}
;
int main(int argc, char* argv[])
{
return 0;
}
編譯出錯了，
error C2660: 'f' : function does not take 1 parameters
咦？？好面熟的錯？？對，和實例一中的情況一樣哦，結論也是基類中的函數被隱藏了。
通過上面三個例子，得出一個簡單的結論
假如基類中的函數和派生類中的兩個名字一樣的函數f
滿足下面的兩個條件
(a)在基類中函數聲明的時候有virtual要害字
(b)基類CB中的函數和派生類CD中的函數一模一樣，函數名，參數，返回類型都一樣。
那么這就是叫做覆蓋(override)，這也就是虛函數，多態的性質
那么其他的情況呢？？只要名字一樣，不滿足上面覆蓋的條件，就是隱藏了?！ ?br />
下面我要講最要害的地方了，好多人認為，基類CB中的f(int)會繼續下來和CD中的f(int,int)在派生類CD中構成重載，就像實例一中想像的那樣。
對嗎？我們先看重載的定義
重載(overload):
必須在一個域中,函數名稱相同但是函數參數不同,重載的作用就是同一個函數有不同的行為,因此不是在一個域中的函數是無法構成重載的,這個是重載的重要特征
必須在一個域中，而繼續明顯是在兩個類中了哦，所以上面的想法是不成立的，我們測試的結構也是這樣，派生類中的f(int,int)把基類中的f(int)隱藏了
所以，相同的函數名的函數，在基類和派生類中的關系只能是覆蓋或者隱藏。
在文章中，我把重載和覆蓋的定義都給了出來了，但是一直沒有給隱藏的定義，在最后，我把他給出來，這段話是網上Google來的，比較長，你可以簡單的理解成，在派生類域中，看不到基類中的那個同名函數了，或者說，是并沒有繼續下來給你用，呵呵，如實例一那樣。
隱藏(hide):
指的是派生類的成員函數隱藏了基類函數的成員函數.隱藏一詞可以這么理解:在調用一個類的成員函數的時候,編譯器會沿著類的繼續鏈逐級的向上查找函數的定義,假如找到了那么就停止查找了,所以假如一個派生類和一個基類都有同一個同名(暫且不論參數是否相同)的函數,而編譯器最終選擇了在派生類中的函數,那么我們就說這個派生類的成員函數"隱藏"了基類的成員函數,也就是說它阻止了編譯器繼續向上查找函數的定義
