寫(xiě)正題之前,先給出幾個(gè)關(guān)鍵字的中英文對(duì)照,重載(overload),覆蓋(override),隱藏(hide)。在早期的C++書(shū)籍中,可能翻譯的人不熟悉專(zhuān)業(yè)用語(yǔ)(也不能怪他們,他們不是搞計(jì)算機(jī)編程的,他們是英語(yǔ)專(zhuān)業(yè)的),常常把重載(overload)和覆蓋(override)搞錯(cuò)!
我們先來(lái)看一些代碼及其編譯結(jié)果。
實(shí)例一:
#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
結(jié)論:在類(lèi)CD這個(gè)域中,沒(méi)有f(int)這樣的函數(shù),基類(lèi)中的void f(int)被隱藏
如果把派生CD中成員函數(shù)void f(int,int)的聲明改成和基類(lèi)中一樣,即f(int),基類(lèi)中的void f(int)還是一樣被覆蓋,此時(shí)編譯不會(huì)出錯(cuò),在函數(shù)中test調(diào)用的是CD中的f(int)
所以,在基類(lèi)中的某些函數(shù),如果沒(méi)有virtral關(guān)鍵字,函數(shù)名是f(參數(shù)是什么我們不管),那么如果在派生類(lèi)CD中也聲明了某個(gè)f成員函數(shù),那么在類(lèi)CD域中,基類(lèi)中所有的那些f都被隱藏。
如果你比較心急,想知道什么是隱藏,看文章最后的簡(jiǎn)單說(shuō)明,不過(guò)我建議你還是一步一步看下去。
我們剛才說(shuō)的是沒(méi)有virtual的情況,如果有virtual的情況呢??
實(shí)例二:
#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;
}
這么寫(xiě)當(dāng)然是沒(méi)問(wèn)題了,在這里我不多費(fèi)口舌了,這是很簡(jiǎn)單的,多態(tài),虛函數(shù),然后什么指向基類(lèi)的指針指向派生類(lèi)對(duì)象阿,通過(guò)引用調(diào)用虛函數(shù)阿什么的,屬性多的很咯,什么??你不明白??隨便找本C++的書(shū),對(duì)會(huì)講多態(tài)和虛函數(shù)機(jī)制的哦!!
這種情況我們叫覆蓋(override)!覆蓋指的是派生類(lèi)的虛擬函數(shù)覆蓋了基類(lèi)的同名且參數(shù)相同的函數(shù)!
在這里,我要強(qiáng)調(diào)的是,這種覆蓋,要滿(mǎn)足兩個(gè)條件
(a)有virtual關(guān)鍵字,在基類(lèi)中函數(shù)聲明的時(shí)候加上就可以了
(b)基類(lèi)CB中的函數(shù)和派生類(lèi)CD中的函數(shù)要一模一樣,什么叫一模一樣,函數(shù)名,參數(shù),返回類(lèi)型三個(gè)條件。
有人可能會(huì)對(duì)(b)中的說(shuō)法質(zhì)疑,說(shuō)返回類(lèi)型也要一樣??
是,覆蓋的話必須一樣,我試了試,如果在基類(lèi)中,把f的聲明改成virtual int f(int),編譯出錯(cuò)了
error C2555: 'CD::f' : overriding virtual function differs from 'CB::f' only by return type or calling convention
所以,覆蓋的話,必須要滿(mǎn)足上述的(a)(b)條件
那么如果基類(lèi)CB中的函數(shù)f有關(guān)鍵字virtual ,但是參數(shù)和派生類(lèi)CD中的函數(shù)f參數(shù)不一樣呢,
實(shí)例三:
? #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;
}
編譯出錯(cuò)了,
?error C2660: 'f' : function does not take 1 parameters
咦??好面熟的錯(cuò)??對(duì),和實(shí)例一中的情況一樣哦,結(jié)論也是基類(lèi)中的函數(shù)被隱藏了。
通過(guò)上面三個(gè)例子,得出一個(gè)簡(jiǎn)單的結(jié)論
如果基類(lèi)中的函數(shù)和派生類(lèi)中的兩個(gè)名字一樣的函數(shù)f
滿(mǎn)足下面的兩個(gè)條件
(a)在基類(lèi)中函數(shù)聲明的時(shí)候有virtual關(guān)鍵字
(b)基類(lèi)CB中的函數(shù)和派生類(lèi)CD中的函數(shù)一模一樣,函數(shù)名,參數(shù),返回類(lèi)型都一樣。
那么這就是叫做覆蓋(override),這也就是虛函數(shù),多態(tài)的性質(zhì)
那么其他的情況呢??只要名字一樣,不滿(mǎn)足上面覆蓋的條件,就是隱藏了。
下面我要講最關(guān)鍵的地方了,好多人認(rèn)為,基類(lèi)CB中的f(int)會(huì)繼承下來(lái)和CD中的f(int,int)在派生類(lèi)CD中構(gòu)成重載,就像實(shí)例一中想像的那樣。
對(duì)嗎?我們先看重載的定義
重載(overload):
必須在一個(gè)域中,函數(shù)名稱(chēng)相同但是函數(shù)參數(shù)不同,重載的作用就是同一個(gè)函數(shù)有不同的行為,因此不是在一個(gè)域中的函數(shù)是無(wú)法構(gòu)成重載的,這個(gè)是重載的重要特征
必須在一個(gè)域中,而繼承明顯是在兩個(gè)類(lèi)中了哦,所以上面的想法是不成立的,我們測(cè)試的結(jié)構(gòu)也是這樣,派生類(lèi)中的f(int,int)把基類(lèi)中的f(int)隱藏了
所以,相同的函數(shù)名的函數(shù),在基類(lèi)和派生類(lèi)中的關(guān)系只能是覆蓋或者隱藏。
在文章中,我把重載和覆蓋的定義都給了出來(lái)了,但是一直沒(méi)有給隱藏的定義,在最后,我把他給出來(lái),這段話是網(wǎng)上google來(lái)的,比較長(zhǎng),你可以簡(jiǎn)單的理解成,在派生類(lèi)域中,看不到基類(lèi)中的那個(gè)同名函數(shù)了,或者說(shuō),是并沒(méi)有繼承下來(lái)給你用,呵呵,如實(shí)例一 那樣。
隱藏(hide):
指的是派生類(lèi)的成員函數(shù)隱藏了基類(lèi)函數(shù)的成員函數(shù).隱藏一詞可以這么理解:在調(diào)用一個(gè)類(lèi)的成員函數(shù)的時(shí)候,編譯器會(huì)沿著類(lèi)的繼承鏈逐級(jí)的向上查找函數(shù)的定義,如果找到了那么就停止查找了,所以如果一個(gè)派生類(lèi)和一個(gè)基類(lèi)都有同一個(gè)同名(暫且不論參數(shù)是否相同)的函數(shù),而編譯器最終選擇了在派生類(lèi)中的函數(shù),那么我們就說(shuō)這個(gè)派生類(lèi)的成員函數(shù)"隱藏"了基類(lèi)的成員函數(shù),也就是說(shuō)它阻止了編譯器繼續(xù)向上查找函數(shù)的定義.