浅谈C++多态性-----重载，覆盖，隐藏

http://blog.csdn.net/hackbuteer1/article/details/7475622

以上链接中，对多态进行了深入讨论。

其中关于重载，覆盖，隐藏的分析让人迷惑，我参考一下的文章，

http://wenku.baidu.com/link?url=m97nT_Du4aT26sM1WEUL5l2dlNQVk3Bs86Jh10vZcXFIhbaJVHtinwTrmAcMC3GdWes-95_Ji4cHsBWvjWIVnjGmNphvfwMxGC23hcDjYr7

对隐藏还是不太清楚。

然后参考effective c++ 第三版，中文版，187页，发现问题其实可以这样理解：

先还是拿出那个例子，这个例子的结果令人觉得奇怪：

#include<iostream>  
using namespace std;  
  
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 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   
  
    // Bad : behavior depends on type of the pointer  
    pb->h(3.14f);   // Base::h(float) 3.14  
    pd->h(3.14f);   // Derived::h(float) 3.14  
    return 0;  
}  

参考文章中的分析如下：

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

我现在的理解如下：

几个概念：

1，重载，其关键点如下：

（1）相同的范围（在同一个类中）； 
（2）函数名字相同；
（3）参数不同；  
（4）virtual 关键字可有可无。

所以例子中的f，g，h几个函数都不是重载，因为不满足(1).

2, 覆盖，其关键点如下：

（1）不同的范围（分别位于派生类与基类）；
（2）函数名字相同； 
（3）参数相同；  

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

所以例子中的f是属于覆盖，g，h都不是覆盖。对于派生类覆盖函数来说，由派生类生成的对象中就没有基类中的同名函数了。

3，隐藏，其关键点，按照百度文库里面的说法，

(1) 处于不同范围内，

(2),函数名字相同，

(3)没有virtual，参数是否相同不关心。

那g，h就属于是隐藏了。对于隐藏函数来说，是派生类的函数，隐藏了基类的函数，在派生类生成的对象中有一个函数，基类部分也有一个同名的函数，但是派生对象无法调用基类的那个同名函数，如果用一个基类的指针，指向这个派生类的对象。由于“derived class 作用域被嵌套在base class作用域内。”那么这个基类指针的作用域是base作用域，所以就会调用那个被隐藏的函数。

而隐藏跟多态的区别在与，

对于多态，用一个基类指针指向派生类生成的对象，同名函数有一个表，根据对象的类型调用相应的函数，这个主要用于同一个基类的不同子类对象，一个基类指针指向不同的对象时，作用的结果不一样。

对于隐藏，可以看做是基类与派生类之间生成了两个不同函数，基类指针调用基类的函数，派生类指针调用派生类函数，互相不能互调。