C++中概念区分：Overload, Override, Hide

区分：overload, override, Hide

• Overload: 重载，指函数同名，但是参数个数不同、或者参数类型不同的多个实现。（如果参数相同但是仅仅返回值不同不是重载，编译器会报错。）

编译器判断重载函数：

• 第一步，是确定该调用中所考虑的重载函数的集合，该函数集合被称为候选函数（candidant function）。所谓候选函数就是与被调用函数同名的函数。
• 第二步，分为两动作：第一个动作是编译器从第一步选出的候选函数中调出可行函数（viable function）。可行函数的函数参数个数与调用的函数参数个数相同，或者可行函数的参数可以多一些，但是多出来的函数参数都要有相关的缺省值；第二个动作是根据参数类型的转换规则将被调用的函数实参转换（conversion）成候选函数的实参。这里本着充分利用参数类型转换的原则，换句话说，尽可能的使用上参数类型转换。当然转换要以候选函数为转换的目标。如果依照参数转换规则没有找到可行函数，则该调用就是错误的，则说没有函数与调用匹配，属于无匹配情况（no match function）。
• 第三步，从第二步中选出的可行函数中选出最佳可行函数（best match situation）。在最佳可行函数的选择中，从函数实参类型到相应可行函数参数所用的转化都要划分等级，根据等级的划分（ranked），最后选出最佳可行函数。

• Override：（想不到比较贴切的翻译）指在继承时，父类函数声明为 virtual , 子类重新声明和实现该函数（函数名和参数完全相同，返回值不做约束）。子类该函数可以声明为 virtual ，也可以不加，不做限制，但是如果该子类还会继续被重载，则最好也声明为 virtual 。正是因为有virtual和Override的机制，C++才能够实现多态。（ virtual机制是编译器使用虚表（vtable）和虚指针实现的，虚表维护一个类的虚函数指针列表。当一个对象的某个虚函数被调用的时候，对象通过它自身的虚指针去虚表中查找并决定调用的是哪个函数。注意：关于虚表和虚指针的实现不是C++标准规定的，不同的编译器厂商可能采用不同的实现策略。具体的实现，可以单独一期博客讲解。）

• Hide：继承结构中的函数隐藏，指父类中声明了函数，子类中声明和定义了函数名一样但是参数不一样的函数，不管父类中该函数是否声明为vitual，此时子类中的同名但不同参数的函数会完全隐藏父类的函数。

class Super

{

public:

    virtual void go() { cout << "go() called on Super" << endl; }

     virtual  void go(int i) {cout<<"go(int i) called ono Super<<endl;"}

};

class Sub : public Super

{

public:

    void go() { cout << "go() called on Sub" << endl; }

};

Sub mySub;

mySub.go(); // output: go() called on Sub

int i= 5；

mySub.go(i);//Error, "void go(int i)" has been hidden

如果需要解决这个问题需要在子类中声明如下：

class Sub : public Super

{

public:

    using Super::go;

    void go() { cout << "go() called on Sub" << endl; }

};

当然这样的声明也会导致安全问题，因为它将让所有父类的同名函数在子类中可见，如果这不是你所希望的，你需要避免使用using声明，同时将你需要子类可见的函数在子类中进行Override。

注释：

发现很多人引用了我的这篇文章，但是都注明的是原创。在此抱歉的通知各位，最后的Hide原来的内容是错误的，现在本文已经修改，你们也记得更新，不要“害人”哦。