重載(overload)、覆蓋(override)、隱藏(hide)的區別
看了一下相對來說比較全面。http://blog.csdn.net/yanjun_1982/archive/2005/09/02/470405.aspx
這三個概念都是與OO中的多態有關系的。如果單是區別重載與覆蓋這兩個概念是比較容易的,但是隱藏這一概念卻使問題變得有點復雜了,下面說說它們的區別吧。
重載是指不同的函數使用相同的函數名,但是函數的參數個數或類型不同。調用的時候根據函數的參數來區別不同的函數。
覆蓋(也叫重寫)是指在派生類中重新對基類中的虛函數(注意是虛函數)重新實現。即函數名和參數都一樣,只是函數的實現體不一樣。
隱藏是指派生類中的函數把基類中相同名字的函數屏蔽掉了。隱藏與另外兩個概念表面上看來很像,很難區分,其實他們的關鍵區別就是在多態的實現上。什么叫多態?簡單地說就是一個接口,多種實現吧。
還是引用一下別人的代碼來說明問題吧(引用自林銳的《高質量C/C++編程指南》)。
仔細看下面的代碼:
#include <iostream.h> class Base { public: virtual void f(float x){ cout << "Base::f(float) " << x << endl; } void g(float x){ cout << "Base::g(float) " << x << endl; } void h(float x){ cout << "Base::h(float) " << x << endl; } }; |
class Derived : public Base { public: virtual void f(float x){ cout << "Derived::f(float) " << x << endl; } void g(int x){ cout << "Derived::g(int) " << x << endl; } void h(float x){ cout << "Derived::h(float) " << x << endl; } }; |
看出什么了嗎?下面說明一下:
(1)函數Derived::f(float)覆蓋了Base::f(float)。
(2)函數Derived::g(int)隱藏了Base::g(float),而不是重載。
(3)函數Derived::h(float)隱藏了Base::h(float),而不是覆蓋。
嗯,概念大概明白了,但是在實際的編程中,我們會因此遇到什么問題呢?再看下面的代碼:
void main(void)
{
Derived d;
Base *pb = &d;
Derived *pd = &d;
// Good : behavior depends solely on type of the object
pb->f(3.14f); // Derived::f(float) 3.14
pd->f(3.14f); // Derived::f(float) 3.14
// Bad : behavior depends on type of the pointer
pb->g(3.14f); // Base::g(float) 3.14
pd->g(3.14f); // Derived::g(int) 3 (surprise!)
// Bad : behavior depends on type of the pointer
pb->h(3.14f); // Base::h(float) 3.14 (surprise!)
pd->h(3.14f); // Derived::h(float) 3.14
}
在第一種調用中,函數的行為取決于指針所指向的對象。在第二第三種調用中,函數的行為取決于指針的類型。所以說,隱藏破壞了面向對象編程中多態這一特性,會使得OOP人員產生混亂。
不過隱藏也并不是一無是處,它可以幫助編程人員在編譯時期找出一些錯誤的調用。但我覺得還是應該盡量使用隱藏這一些特性,該加virtual時就加吧。
|
重載(overload),覆蓋(override),隱藏(hide)的區別
http://www.shnenglu.com/zgysx/archive/2007/03/12/19662.html
寫正題之前,先給出幾個關鍵字的中英文對照,重載(overload),覆蓋(override),隱藏(hide)。在早期的C++書籍中,可能翻譯的人不熟悉專業用語(也不能怪他們,他們不是搞計算機編程的,他們是英語專業的),常常把重載(overload)和覆蓋(override)搞錯!
我們先來看一些代碼及其編譯結果。
實例一:
#include "stdafx.h"
#include <iostream.h>
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 <iostream.h>
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 <iostream.h>
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):
指的是派生類的成員函數隱藏了基類函數的成員函數.隱藏一詞可以這么理解:在調用一個類的成員函數的時候,編譯器會沿著類的繼承鏈逐級的向上查找函數的定義,如果找到了那么就停止查找了,所以如果一個派生類和一個基類都有同一個同名(暫且不論參數是否相同)的函數,而編譯器最終選擇了在派生類中的函數,那么我們就說這個派生類的成員函數"隱藏"了基類的成員函數,也就是說它阻止了編譯器繼續向上查找函數的定義.