标签：
原文网址：http://blog.sina.com.cn/s/blog_492d601f0100jqqm.html
再次把林锐博士的《高质量c++编程指南》翻出来看的时候，再一次的觉得这是一本难得的好书。实践派写的东西跟理论派和翻译派写的书有着本质的 区别，每次读这本书都觉得为什么自己读了这么多遍，还是会犯一些上面讲的小错误，编代码有时候莫名其妙又会把自己转糊涂了。这本书浅显易懂，而且提到了编 程过程中应该注意的很多细节，里面展开来讲的细节又偏偏是我觉得最为薄弱的环节，如果大家想学或者正在学习c++。建议大家用心的把这本并不长也不高深的 书好好的读几遍。
关于c++语言中重载、覆盖、隐藏这三个容易混淆的概念，我依然以林博士书中的例子发散开来回忆一下。先列举这三个概念必须满足的条件：
函数重载的特征：
1）处在相同的空间中（即相同的作用范围内，比如一个类中）。
2）函数名相同。
3）参数不同（相同位置参数的类型不同，或者参数的个数不同）。
4）virtual关键字可有可无。
覆盖的特征：
1）不同的范围（例如分别位于基类与派生类）。
2）函数名相同。
3）参数相同（参数个数与类型均相同）。
4）基类函数必须有virtual关键字（派生类可有可无，因为基类函数被声明为虚函数，派生类同名函数一定也是虚函数）。
隐藏的特征：
1）不同的范围（例如分别位于基类与派生类）。
2）函数名相同。
3）参数可相同也可不同（注意此处还有两种情况）。
4）virtual关键字可有可无。
注意：隐藏与覆盖的区别就在于如下两条：
1）如果派生类的函数与基类的函数同名，但是参数不同（不可能构成覆盖）。此时无论有无virual关键字，基类的函数将被隐藏。（不可能构成重载，因为重载必须在同一个类中）
2）如果派生类的函数与基类的函数同名，并且参数也相同，但是基类函数没有virual关键字（如果有virual关键字，则满足覆盖的条件）。此时基类的函数被隐藏。
隐藏：
下面是林博士原书中的例子：
#include <iostream.h>
class Base
{
public:
void g(float x){cout << "Base::g(float)" << x <<endl;} //注意c++中将在类声明中定义了实现的函数自动默认为内联函数
void h(float x){cout << "Base::h(float)" << x <<endl;}
}
class Derived : public Base
{
public:
void g(int x){cout << "Derived::g(int)" << x <<endl;}
void h(float x){cout << "Derived::h(float)" << x <<endl;}
}
void main(void)
{
Derived d
Base* pb = &d;
Derived* pd = &d;
//behavior depends on type of pointer
pb->g(3.14f); //Base::g(float) 3.14;
pd->g(3.14f); //Derived::g(int) 3;
pb->h(3.14f); //Base::h(float) 3.14;
pd->h(3.14f); //Derived::h(float) 3.14;
}
参照隐藏规则，派生类的成员函数隐藏了基类的同名函数。所谓隐藏就是指派生类类型的对象、引用、指针访问基类和派生类都有的同名函数的时候，访问的是派生 类的函数，隐藏了基类同名函数。派生类既然自动继承了基类的成员，那么基类成员就可以被派生类直接访问，那么为什么访问的是派生类的成员函数呢？所以隐藏 规则实际上就是默认的c++名字解析过程。
在继承机制下，派生类的类域被嵌套在基类的类域中，派生类的名字解析过程如下：
1）首先在派生类中查找改名字。
2）如果第一步未查找到，及派生类的类域对改名字无法进行解析，则编译器在外围基类类域查找改名字的定义。
所以准确来说，当派生类和基类有同一名字的成员时，派生类成员是隐藏了对基类成员的直接访问。那么如果访问到基类同名成员呢？加上类作用域限定例如：Base::g（float)就可以访问了。
覆盖：
覆盖规则造成的调用现象，其实就是类的虚函数实现原理生成的。为了达到动态绑定(后期绑定)的目的，C++编译器通过某个表格(一般称为vtable)， 在执行期"间接"调用实际上欲绑定的函数。每一个内含虚函数的类，C++编译器都会为它做出一个虚函数表，表中的每一个元素都指向一个虚函数的地址。
举个例子:
class base{
public:
func();
virtual vfunc1();
virtual vfunc2();
virtual vfunc3();
private:
int _data1;
int _data2;
};
base对象实例在内存中占据的空间是这样的:
base对象实例 vtable
--------------------------------------------------------------------------
vptr ---------> (*vfunc1)() -----------> base::vfunc1();
_data1 (*vfunc2)() -----------> base::vfunc2();
_data2 (*vfunc3)() -----------> base::vfunc3();
--------------------------------------------------------------------------
当派生类改写了虚函数时,虚函数表相应的被修改了:
class derived: public base{
public:
vfunc2();
};
derived对象实例 vtable
--------------------------------------------------------------------------
vptr ---------> (*vfunc1)() -----------> base::vfunc1()
_data1; (*vfunc2)() -----------> derived::vfunc2() ****注意,这里变了!!!***
_data2; (*vfunc3)() -----------> base::vfunc3()
--------------------------------------------------------------------------
所以当你写下如下程序的时候:
void main(void)
{
Derived d;
Base *pb = &d;
pb->vfunc2(); // Derived::vfunc2(void)
}
就不难理解为何pb->vfunc2()调用的是derived::vfunc2()了，因为pb实际上指向派生类derived的实例，而派生类中的虚函数表已经被修改了。
总结：简单来说，隐藏规则就是C++的名字解析过程，自里向外解析，这个好理解；而覆盖规则其实就是C++虚函数表的实现原理。
【转】c++重载、覆盖、隐藏——理不清的区别
标签：
原文地址：http://www.cnblogs.com/wi100sh/p/4325336.html
