我们知道派生类可以继承基类的成员变量和成员函数,如果在派生类定义同名的函数,即使参数不同,也会隐藏基类的继承来的函数。通过基类的引用或指针,可以实现函数的动态绑定,当然函数必须指定为虚函数。
下面摘自《c++高质量编程指南》对覆盖,隐藏的解释。
覆盖是指派生类函数覆盖基类函数,特征是:
(1) 不同的范围(分别位于派生类与基类);
(2) 函数名字相同;
(3) 参数相同;
(4) 基类函数必须有virtual关键字。
这里“隐藏”是指派生类的函数屏蔽了与其同名的基类函数, 规则如下:
(1) 如果派生类的函数与基类的函数同名,但是参数不同。此时,不论有无virtual关键字,基类的函数将被隐藏(注意别与重载混淆)。
(2) 如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有virtual关键字。此时,基类的函数被隐藏(注意别与覆盖混淆)。
下面通过例子来理解函数的覆盖,隐藏。
#include <iostream>
using namespace std;
class B
{
public:
void f()
{
cout<<"Base::f()"<<endl;
}
virtual void g()
{
cout<<"Base::g()"<<endl;
}
};
class D:public B
{
public:
void f()
{
cout<<"Derived::f()"<<endl;
}
virtual void g()
{
cout<<"Derived::g()"<<endl;
}
};
int main()
{
B b;
D d;
b.f();
d.f();
b.g();
d.g();
B* pb1 = &b;
B* pb2 = &d;
pb1->f();
pb2->f();
pb1->g();
pb2->g();
B& b1 = b;
B& b2 = d;
b1.f();
b2.f();
b1.g();
b2.g();
return 0;
}
例子通过三种方式调用函数f(),g(),原对象名、指针和引用。
第一种方式最简单,输出为
Base::f()
Derived::f()
Base::g()
Derived::g()
第二种方式为指针方式,f函数不是虚函数,不能动态绑定,g函数是虚函数,能动态绑定,输出为
Base::f()
Base::f()
Base::g()
Derived::g()
第二种方式为引用方式,其实和指针绑定一样,f函数不是虚函数,不能动态绑定,g函数是虚函数,能动态绑定,输出为
Base::f()
Base::f()
Base::g()
Derived::g()
下面我们修改一下类D的内容,如下:
class D:public B
{
public:
void f(int i)
{
cout<<"Derived::f()"<<endl;
}
virtual void g()
{
cout<<"Derived::g()"<<endl;
}
};
然后考虑,
D* pb3 = &d;
pb3->f();
想调用基类的f函数,会输出什么呢?
结果是编译错误,因为派生类重写了f函数,隐藏了基类的函数,如过非要调用基类的,可以在派生类中写个重载函数如下,一般情况下在派生类中函数名字尽量不要和基类函数名相同。
class D:public B
{
public:
void f(int i)
{
cout<<"Derived::f()"<<endl;
}
void f()
{
B::f();
}
virtual void g()
{
cout<<"Derived::g()"<<endl;
}
};
另外虚函数的默认参数是编译时确定的,即通过基类的指针或引用调用虚函数时,默认参数为在基类中指定的值。
关于动态绑定和静态绑定,下面这篇文章讲的很好。
http://blog.csdn.net/chgaowei/archive/2011/05/17/6427731.aspx