c++(重载、覆盖、隐藏)

成员函数的重载、覆盖与隐藏
成员函数的重载、覆盖（override）与隐藏很容易混淆，C++程序员必须要搞清楚
概念，否则错误将防不胜防。

8.2.1 重载与覆盖
成员函数被重载的特征：
（1）相同的范围（在同一个类中）；
（2）函数名字相同；
（3）参数不同；
（4）virtual 关键字可有可无。
覆盖是指派生类函数覆盖基类函数，特征是：
（1）不同的范围（分别位于派生类与基类）；
（2）函数名字相同；
（3）参数相同；
（4）基类函数必须有virtual 关键字。

示例8-2-1 中，函数Base::f(int)与Base::f(float)相互重载，而Base::g(void)
被Derived::g(void)覆盖。

#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)}

示例8-2-1 成员函数的重载和覆盖

8.2.2 令人迷惑的隐藏规则
本来仅仅区别重载与覆盖并不算困难，但是C++的隐藏规则使问题复杂性陡然增加。
这里“隐藏”是指派生类的函数屏蔽了与其同名的基类函数，规则如下：
（1）如果派生类的函数与基类的函数同名，但是参数不同。此时，不论有无virtual
关键字，基类的函数将被隐藏（注意别与重载混淆）。
（2）如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virtual
关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。

即，只要不在同一个范围内，没有virtual关键字的，都将被隐藏，覆盖也是一种特殊的隐藏。
示例程序8-2-2（a）中：
（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(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; }};

示例8-2-2（a）成员函数的重载、覆盖和隐藏

据作者考察，很多C++程序员没有意识到有“隐藏”这回事。由于认识不够深刻，
“隐藏”的发生可谓神出鬼没，常常产生令人迷惑的结果。
示例8-2-2（b）中，bp 和dp 指向同一地址，按理说运行结果应该是相同的，可事
实并非这样。

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}

示例8-2-2（b） 重载、覆盖和隐藏的比较

8.2.3 摆脱隐藏
隐藏规则引起了不少麻烦。示例8-2-3 程序中，语句pd->f(10)的本意是想调用函
数Base::f(int)，但是Base::f(int)不幸被Derived::f(char *)隐藏了。由于数字10
不能被隐式地转化为字符串，所以在编译时出错。

class Base{public:  void f(int x);};class Derived : public Base{public:  void f(char *str);};void Test(void){  Derived *pd = new Derived;  pd->f(10); // error}

示例8-2-3 由于隐藏而导致错误

 8.2.4 派生类仅仅重定义一个重载集中某些版本的行为，并且想要继承其他版本的含义的方法

使用using，如 using Basic::fun;

#include <iostream>using namespace std;class Basic{public:         void fun(){cout << "Base::fun()" << endl;}//overload         void fun(int i){cout << "Base::fun(int i)" << endl;}//overload};class Derive :public Basic{public:         using Basic::fun;         void fun(){cout << "Derive::fun()" << endl;}         void fun2(){cout << "Derive::fun2()" << endl;}};int main(){         Derive d;         d.fun();//正确      d.fun(1);//正确      return 0;}

/*

输出结果

Derive::fun()

Base::fun(int i)

Press any key to continue

*/

 

#include <iostream>using namespace std;class Basic{public:         void fun(){cout << "Base::fun()" << endl;}//overload         void fun(int i){cout << "Base::fun(int i)" << endl;}//overload};class Derive :public Basic{public:         using Basic::fun;         void fun(int i,int j){cout << "Derive::fun(int i,int j)" << endl;}         void fun2(){cout << "Derive::fun2()" << endl;}};int main(){         Derive d;         d.fun();//正确         d.fun(1);//正确         d.fun(1,2);//正确         return 0;}

/*

输出结果

Base::fun()

Base::fun(int i)

Derive::fun(int i,int j)

Press any key to continue

*/

转自：http://www.chinaitpower.com/A/2002-04-23/20651.html

 

 8.2.5 如何引用被隐藏的函数

 

class Base{public:  Base();   virtual ~Base(); public:  // interface  void Show(); }; class Derived{public:  Derived();   virtual ~Derived(); public:  // interface  void Show();              // 我想在这里调用基类的Show, 请问如何做呢?}; 

Derived d;d.Show();  //调用子类方法d.Base::Show();//父类方法

8.2.6 多态性

  从系统实现的角度看，多态性分为两类：静态多态性和动态多态性。

（1）函数重载和运算符重载实现的多态性属于静态多态性，在程序编译时系统就能决定调用的是哪个函数，因此静态多态性又称为编译时的多态性。 静态多态性是通过函数的重载实现的（运算符重载实质上也是函数重载）。   

（2）动态多态性是在程序运行过程中才动态地确定操作所针对的对象。它又称为运行时的多态性。动态多态性是通过虚函数(virtual function)实现的。

C++中动态绑定需要以下两个条件：a、函数为虚函数  b、通过类的引用或指针进行函数调用。   

#include <iostream>using namespace std;class Base{public:         void fun(){cout << "Base::fun()" << endl;}//overload         virtual void fun2(){cout << "Base::fun2()" << endl;}//overload};class Derive :public Base{public:         void fun(){cout << "Derive::fun()" << endl;}         virtual void fun2(){cout << "Derive::fun2()" << endl;}};int main(){      Base *pBase, mBase;      Derive *pDerive, mDerive;      mBase.fun();      mBase.fun2();      mBase.Base::fun();      mBase.Base::fun2();      cout << endl;      mDerive.fun();      mDerive.fun2();      mDerive.Base::fun();      mDerive.Base::fun2();     cout << endl;      pBase = &mDerive;      pBase->fun();      pBase->fun2();     cout << endl;      pDerive = &mDerive;      pDerive ->fun();      pDerive ->fun2();      pDerive ->Base::fun();      pDerive ->Base::fun2();}

运行结果：

Base::fun()Base::fun2()Base::fun()Base::fun2()Derive::fun()Derive::fun2()Base::fun()Base::fun2()Base::fun()Derive::fun2()Derive::fun()Derive::fun2()Base::fun()Base::fun2()

由此可见，仅当成员函数为虚函数，并且指针或引用调用函数时才会进行动态绑定。

转自：http://www.cnblogs.com/qlee/archive/2011/07/04/2097055.html