(1)如果派生类的函数与基类的函数同名,但是参数不同。此时,不论有无virtual关键字,基类的函数将被隐藏(注意别与重载混淆)。
如何理解这句呢?看这个例子:
class FirstClass{
public:
virtual void MethodA(int);
virtual void MethodA(int, int);
};
void FirstClass::MethodA(int i){
cout<<"ONE"<<endl;
}
void FirstClass::MethodA(int i, int j){
cout<<"TWO"<<endl;
}
上面的类中有两个方法(重载的方法),如果你想在派生类中重写一个参数的函数, 你可以这么做:
class SecondClass : public FirstClass{
public:
void MethodA(int);
};
void SecondClass::MethodA(int i){
cout<<"THREE"<<endl;
}
int main (){
SecondClass a;
a.MethodA(1);
a.MethodA(1, 1);
return 0;
}
上面的main函数中,第2个MethodA在编译时会报错,提示没有与之匹配的函数。 这是因为两个参数的MethodA在派生类中是不可见的,这就是名字隐藏。
名字隐藏与虚函数无关。所以不管基类中那两个函数是不是虚函数, 在这里都会发生名字隐藏。解决方法有两个。第一个是将2个参数的MethodA换一个名字, 那么它在派生类中就可见了。但我们既然重载了MethodA,说明它们只是参数不同, 而实际上应该是在做相同或是相似的事的。所以换掉名字并不是个好办法。因此, 我们一般采用第二种方法,在派生类中重写所有的重载函数,也就是还在基类中保留virtual,单子派生类中覆写这两个虚函数,这就不会隐藏了。
(2)如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有virtual关键字。此时,基类的函数被隐藏(注意别与覆盖混淆)。
这里造成隐藏本质上违反了《effective C++》中的“绝不重定义继承而来的非虚函数”,因为此时当你通过指针或引用指向一个对象调用非虚函数,具体调用哪个不再取决于该对象的类型,而是取决于指针或引用的类型,也就是由指针的静态类型来决议函数调用,另外,非虚函数本身体现的就是不变性而非特异性。