談談C++繼承中的重載，覆蓋和隱藏

寫正題之前，先給出幾個關鍵字的中英文對照，重載(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++的書，對會講多態和虛函數機制的哦！！　　這種情況我們叫覆蓋(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)，這也就是虛函數，多態的性質那麼其他的情況呢？？只要名字一樣，不滿足上面覆蓋的條件，就是隱藏了。下面我要講最關鍵的地方了，好多人認爲，基類CB中的f(int)會繼承下來和CD中的f(int,int)在派生類CD中構成重載，就像實例一中想像的那樣。　　對嗎？我們先看重載的定義　　重載(overload): 　　必須在一個域中,函數名稱相同但是函數參數不同,重載的作用就是同一個函數有不同的行爲,因此不是在一個域中的函數是無法構成重載的,這個是重載的重要特徵　　必須在一個域中，而繼承明顯是在兩個類中了哦，所以上面的想法是不成立的，我們測試的結構也是這樣，派生類中的f(int,int)把基類中的f(int)隱藏了　　所以，相同的函數名的函數，在基類和派生類中的關係只能是覆蓋或者隱藏。　　在文章中，我把重載和覆蓋的定義都給了出來了，但是一直沒有給隱藏的定義，在最後，我把他給出來，這段話是網上google來的，比較長，你可以簡單的理解成，在派生類域中，看不到基類中的那個同名函數了，或者說，是並沒有繼承下來給你用，呵呵，如實例一　那樣。隱藏(hide): 指的是派生類的成員函數隱藏了基類函數的成員函數.隱藏一詞可以這麼理解:在調用一個類的成員函數的時候,編譯器會沿着類的繼承鏈逐級的向上查找函數的定義,如果找到了那麼就停止查找了,所以如果一個派生類和一個基類都有同一個同名(暫且不論參數是否相同)的函數,而編譯器最終選擇了在派生類中的函數,那麼我們就說這個派生類的成員函數"隱藏"了基類的成員函數,也就是說它阻止了編譯器繼續向上查找函數的定義 posted on 2006-04-26 17:40 Martin 閱讀(1061) 評論(3) 編輯收藏引用所屬分類: C & C++ 評論: # re: [轉]談談C++繼承中的重載，覆蓋和隱藏 2006-04-26 17:40 | Martin 成員函數的重載、覆蓋與隱藏有什麼區別啊?? --------------------------------------------------------------- 成員函數被重載的特徵：（1）相同的範圍（在同一個類中）；（2）函數名字相同；（3）參數不同；（4）virtual關鍵字可有可無。覆蓋是指派生類函數覆蓋基類函數，特徵是：（1）不同的範圍（分別位於派生類與基類）；（2）函數名字相同；（3）參數相同；（4）基類函數必須有virtual關鍵字。 “隱藏”是指派生類的函數屏蔽了與其同名的基類函數，規則如下：（1）如果派生類的函數與基類的函數同名，但是參數不同。此時，不論有無virtual關鍵字，基類的函數將被隱藏（注意別與重載混淆）。（2）如果派生類的函數與基類的函數同名，並且參數也相同，但是基類函數沒有virtual關鍵字。此時，基類的函數被隱藏（注意別與覆蓋混淆）。回覆更多評論 # re: [轉]談談C++繼承中的重載，覆蓋和隱藏 2008-09-13 11:22 | water 剛學完繼承和多態，看樓主的文章覺得很好，特備是隱藏，謝謝回覆更多評論 # re: [轉]談談C++繼承中的重載，覆蓋和隱藏[未登錄] 2009-02-26 16:53 | sunshine Martin，能否幫忙解釋一下下面程序中的疑問： #include class CShape { public: float area(){ return 0.0;} }; class CTriangle : public CShape { public: CTriangle(float h = 0, float w = 0) { H = h; W = w; } float area() { return (float)(H * W * 0.5); } private: float H, W; }; class CCircle : public CShape { public: CCircle(float r = 0) { R = r; } float area() { return (float)(3.14159265 * R * R); } private: float R; }; int main() { CTriangle tri( 3, 4 ); cout<<"tri.area() = "