c++语言之覆盖与隐藏

我们知道派生类可以继承基类的成员变量和成员函数，如果在派生类定义同名的函数，即使参数不同，也会隐藏基类的继承来的函数。通过基类的引用或指针，可以实现函数的动态绑定，当然函数必须指定为虚函数。

下面摘自《c++高质量编程指南》对覆盖，隐藏的解释。

覆盖是指派生类函数覆盖基类函数，特征是：

（1） 不同的范围（分别位于派生类与基类）；

（2） 函数名字相同；

（3） 参数相同；

（4） 基类函数必须有virtual关键字。

这里“隐藏”是指派生类的函数屏蔽了与其同名的基类函数， 规则如下：

（1） 如果派生类的函数与基类的函数同名，但是参数不同。此时，不论有无virtual关键字，基类的函数将被隐藏（注意别与重载混淆）。

（2） 如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virtual关键字。此时，基类的函数被隐藏（注意别与覆盖混淆）。

下面通过例子来理解函数的覆盖，隐藏。

#include <iostream>

using namespace std;

 

class B

{

public:

       void f()

       {

              cout<<"Base::f()"<<endl;

       }

       virtual void g()

       {

              cout<<"Base::g()"<<endl;

       }

 

};

 

class D:public B

{

public:

       void f()

       {

              cout<<"Derived::f()"<<endl;

       }

       virtual void g()

       {

              cout<<"Derived::g()"<<endl;

       }

};

 

int main()

{

       B b;

       D d;

       b.f();

       d.f();

       b.g();

       d.g();

 

       B* pb1 = &b;

       B* pb2 = &d;

       pb1->f();

       pb2->f();

       pb1->g();

       pb2->g();

 

       B& b1 = b;

       B& b2 = d;

       b1.f();

       b2.f();

       b1.g();

       b2.g();

       return 0;

}

例子通过三种方式调用函数f(),g()，原对象名、指针和引用。

第一种方式最简单，输出为

Base::f()

Derived::f()

Base::g()

Derived::g()

第二种方式为指针方式，f函数不是虚函数，不能动态绑定，g函数是虚函数，能动态绑定，输出为

Base::f()

Base::f()

Base::g()

Derived::g()

第二种方式为引用方式，其实和指针绑定一样，f函数不是虚函数，不能动态绑定，g函数是虚函数，能动态绑定，输出为

Base::f()

Base::f()

Base::g()

Derived::g()

下面我们修改一下类Ｄ的内容，如下：

class D:public B

{

public:

       void f(int i)

       {

              cout<<"Derived::f()"<<endl;

       }

       virtual void g()

       {

              cout<<"Derived::g()"<<endl;

       }

};

然后考虑，

       D* pb3 = &d;

       pb3->f();

想调用基类的ｆ函数，会输出什么呢？

结果是编译错误，因为派生类重写了ｆ函数，隐藏了基类的函数，如过非要调用基类的，可以在派生类中写个重载函数如下，一般情况下在派生类中函数名字尽量不要和基类函数名相同。

class D:public B

{

public:

       void f(int i)

       {

              cout<<"Derived::f()"<<endl;

       }

       void f()

       {

              B::f();

       }

       virtual void g()

       {

              cout<<"Derived::g()"<<endl;

       }

};

另外虚函数的默认参数是编译时确定的，即通过基类的指针或引用调用虚函数时，默认参数为在基类中指定的值。

关于动态绑定和静态绑定，下面这篇文章讲的很好。

http://blog.youkuaiyun.com/chgaowei/archive/2011/05/17/6427731.aspx