8.2 成員函數的重載、覆蓋與隱藏
成員函數被重載的特徵:
(1)相同的範圍(在同一個類中);
(2)函數名字相同;
(3)參數不同;
(4)virtual 關鍵字可有可無。
覆蓋是指衍生類別函數覆蓋基類函數,特徵是:
(1)不同的範圍(分別位於衍生類別與基類);
(2)函數名字相同;
(3)參數相同;
(4)基類函數必須有virtual 關鍵字。
#include <iostream.h>
class Base
{
public:
void f(int x){ cout << "Base::f(int) " << x << endl; }
void f(float x){ cout << "Base::f(float) " << x << endl; }
virtual void g(void){ cout << "Base::g(void)" << endl;}
};
class Derived : public Base
{
public:
virtual void g(void){ cout << "Derived::g(void)" << endl;}
};
void main(void)
{
Derived d;
Base *pb = &d;
pb->f(42); // Base::f(int) 42
pb->f(3.14f); // Base::f(float) 3.14
pb->g(); // Derived::g(void)
}
“隱藏”是指衍生類別的函數屏蔽了與其同名的基類函數,規則如下:
(1)如果衍生類別的函數與基類的函數同名,但是參數不同。此時,不論有無virtual關鍵字,基類的函數將被隱藏(注意別與重載混淆(重載的範圍是在同一個類中哦))。
(2)如果衍生類別的函數與基類的函數同名,並且參數也相同,但是基類函數沒有virtual關鍵字。此時,基類的函數被隱藏(注意別與覆蓋混淆(位於衍生類別和基類,覆蓋要求必須有virtual))。
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; }
};
int _tmain(int argc, _TCHAR* argv[])
{
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(兒子隱藏了父類的,所以就調用自己的了)
}
覆蓋與隱藏的區別:
在覆蓋的情況下,基類調用被覆蓋的函數時,直接調用子類的,自己的被蓋住了。
在隱藏的情況下,基類調用被隱藏的函數時還是調用自己的,子類調用時直接調用自己的