c++ 的重载、覆盖、隐藏

 

成员函数被重载的特征：
（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)虚函数同样可以进行重载，但是重载只能是在当前自己名字空间作用域内有效。