成員函數被重載的特征:
(1)相同的范圍(在同一個類中);
(2)函數名字相同;
(3)參數不同;
(4)virtual關鍵字可有可無。
覆蓋是指派生類函數覆蓋基類函數,特征是:
(1)不同的范圍(分別位於派生類與基類);
(2)函數名字相同;
(3)參數相同;
(4)基類函數必須有virtual關鍵字。
“隱藏”是指派生類的函數屏蔽了與其同名的基類函數,
規則如下:
(1)如果派生類的函數與基類的函數同名,但是參數不同。此時,不論有無virtual關鍵字,基類的函數將被隱藏(注意別與重載混淆)。
(2)如果派生類的函數與基類的函數同名,並且參數也相同,但是基類函數沒有virtual關鍵字。(這裡與覆蓋唯一區別是在於有沒有virtual) 此時,基類的函數被隱藏(注意別與覆蓋混淆)。
如下示例程序中:
(1)函數Derived::f(float)覆蓋了Base::f(float)。
(2)函數Derived::g(int)隱藏了Base::g(float),而不是重載。
(3)函數Derived::h(float)隱藏了Base::h(float),而不是覆蓋。
#include<iostream.h>
class Base{
public:
virtual void f(floatx){cout<<"Base::f(float)"<<x<<endl;}
void g(floatx){cout<<"Base::g(float)"<<x<<endl;
void h(floatx){cout<<"Base::h(float)"<<x<<endl;}
};
class Derived:publicBase{
public:
virtual void f(floatx){cout<<"Derived::f(float)"<<x<<endl;}
void g(intx){cout<<"Derived::g(int)"<<x<<endl;}
void h(floatx){cout<<"Derived::h(float)"<<x<<endl;}
};
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.14a
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
小結:
(1) 重載 overload 是根據函數的參數列表來選擇要調用的函數版本,而多態是根據運行時對象的實際類型來選擇要調用的虛函數版本,多態的實現是通過派生類對基類的虛函數進行覆蓋(override) 來實現的,若派生類沒有對基類的虛函數進行覆蓋 override 的話,則派生類會自動繼承基類的虛函數版本,此時無論基類指針指向的對象是基類型還是派生類型,都會調用基類版本的虛函數;如果派生類對基類的虛函數進行覆蓋 override 的話,則會在運行時根據對象的實際類型來選擇要調用的虛函數版本,例如基類指針指向的對象類型為派生類型,則會調用派生類的虛函數版本,從而實現多態。這可以說是多態與覆蓋之間的的關系了。
(2)使用多態的本意是要我們在基類中聲明函數為 virtual ,並且是要在派生類中覆蓋 override 基類的虛函數版本,注意,此時的函數原型與基類保持一致,即同名同參數類型;如果你在派生類中新添加函數版本,你不能通過基類指針動態調用派生類的新的函數版本,這個新的函數版本只作為派生類的一個重載版本。重載只有在當前類中有效。
(3)重載是靜態聯編的,多態是動態聯編的。進一步解釋,重載與指針實際指向的對象類型無關,多態與指針實際指向的對象類型相關。若基類的指針調用派生類的重載版本, C++ 編繹認為是非法的, C++ 編繹器只認為基類指針只能調用基類的重載版本,重載只在當前類的名字空間作用域內有效,繼承會失去重載的特性,當然,若此時的基類指針調用的是一個虛函數,那麼它還會進行動態選擇基類的虛函數版本還是派生類的虛函數版本來進行具體的操作,這是通過基類指針實際指向的對象類型來做決定的,所以說重載與指針實際指向的對象類型無關,多態與指針實際指向的對象類型相關。
(4)虛函數同樣可以進行重載,但是重載只能是在當前自己名字空間作用域內有效。
摘自 梵聲沐晖