c++ 重载 覆盖与隐藏

C++的一些特性好久没使用了，导致有些生疏了，所以查了一些资料，回顾了一下。

 

先来看几个概念：

重载(overload)，重写(override,也称覆盖), 重定义(redefine,也称隐藏)

(PS:第三个我不确定在英文中是否应该称为redefine，如有问题，留言告知，谢谢)

一、重载（overload）
指函数名相同，但是它的参数表列个数或顺序，类型不同。但是不能靠返回类型来判断。
（1）相同的范围（在同一个作用域中） ；
（2）函数名字相同；
（3）参数不同；
（4）virtual 关键字可有可无。
（5）返回值可以不同；

二、重写（也称为覆盖 override）
是指派生类重新定义基类的虚函数，特征是：
（1）不在同一个作用域（分别位于派生类与基类） ；
（2）函数名字相同；
（3）参数相同；
（4）基类函数必须有 virtual 关键字，不能有 static 。
（5）返回值相同（或是协变），否则报错；<—-协变这个概念我也是第一次才知道…

（6）重写函数的访问修饰符可以不同。尽管 virtual 是 private 的，派生类中重写改写为 public,protected 也是可以的

三、重定义（也成隐藏）
（1）不在同一个作用域（分别位于派生类与基类） ；
（2）函数名字相同；
（3）返回值可以不同；
（4）参数不同。此时，不论有无 virtual 关键字，基类的函数将被隐藏（注意别与重载以及覆盖混淆） 。
（5）参数相同，但是基类函数没有 virtual关键字。此时，基类的函数被隐藏（注意别与覆盖混淆） 。

 

OK,这里给出一个样例代码，是论坛那个问题的代码做了一些修改，方便理解：

 1 #include 
 2 #include 
 3  using  namespace std;
 4 
 5  class Base
 6 {
 7  public:
 8      virtual  void a( int x)    {    cout <<  " Base::a(int) " << endl;      }
 9      //  overload the Base::a(int) function
10       virtual  void a( double x) {    cout <<  " Base::a(double) " << endl;   }
11      virtual  void b( int x)    {    cout <<  " Base::b(int) " << endl;      }
12      void c( int x)            {    cout <<  " Base::c(int) " << endl;      }
13 };
14 
15  class Derived :  public Base
16 {
17  public:
18      //  redefine the Base::a() function
19       void a(complex< double> x)   {    cout <<  " Derived::a(complex) " << endl;      }
20      //  override the Base::b(int) function
21       void b( int x)               {    cout <<  " Derived::b(int) " << endl;          }
22      //  redefine the Base::c() function
23       void c( int x)               {    cout <<  " Derived::c(int) " << endl;          }
24 };
25 
26  int main()
27 {
28     Base b;
29     Derived d;
30     Base* pb =  new Derived;
31      //  -----------------------------------  //
32      b.a( 1.0);                               //  Base::a(double)
33      d.a( 1.0);                               //  Derived::a(complex)
34      pb->a( 1.0);                             //  Base::a(double), This is redefine the Base::a() function
35       //  pb->a(complex(1.0, 2.0));    //  clear the annotation and have a try
36       //  -----------------------------------  //
37      b.b( 10);                                //  Base::b(int)
38      d.b( 10);                                //  Derived::b(int)
39      pb->b( 10);                              //  Derived::b(int), This is the virtual function
40       //  -----------------------------------  //
41      delete pb;
42 
43      return  0;
44 } 

通过这里可以看出：

1.Base类中的第二个函数a是对第一个的重载

2.Derived类中的函数b是对Base类中函数b的重写，即使用了虚函数特性。

3.Derived类中的函数a是对Base泪中函数a的隐藏，即重定义了。

4.pb指针是一个指向Base类型的指针，但是它实际指向了一个Derived的空间，这里对pd调用函数的处理(多态性)取决于是否重写(虚函数特性)了函数，若没有，则依然调用基类。

5.只有在通过基类指针或基类引用 间接指向派生类类型时多态性才会起作用。

6.因为Base类的函数c没有定义为virtual虚函数，所以Derived类的函数c是对Base::c()的重定义。

网上参考资料：

1.http://sns.linuxpk.com/blog-6583-17085.html

2.http://www.cnblogs.com/xd502djj/archive/2010/09/22/1832912.html

3.http://blog.sina.com.cn/s/blog_6ae7d6b00100pb4v.html

4.http://topic.csdn.net/u/20110227/23/42d93b05-03b1-460b-8521-707117ce5600.html

5.http://www.cnblogs.com/realyan/archive/2011/07/14/2106339.html

6.http://topic.csdn.net/u/20081023/18/122ac3bd-8ad2-4e6e-8624-090f22c82139.html

   博客原文链接：http://www.wutianqi.com/?p=3171 

成员函数的重载、覆盖与隐藏
成员函数的重载、覆盖（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
关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。
示例程序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 由于隐藏而导致错误