重载:在同一个类中,要求函数名相同,函数参数不同
重定义:在基类与派生类之间,派生类重新定义基类中的函数,且要求函数的名称、参数类型以及返回值类型完全一致。如果基类中的函数为virtual,则通过基类指针指向派生类时,可以实现多态。如果是非virtual,通过基类指针,不论指向的是基类还是派生类,所调用的都是基类的函数;通过派生类指针,调用的则是派生类的函数。(即实际调用的函数由指针的静态类型决定,即指针定义为什么类型,其静态类型就是什么类型)
隐藏:在基类和派生类之间,派生类定义了基类中的同名函数,但是参数可以不同。当参数不同的时候,对于派生类对象、指针、引用,其基类该同名函数都被隐藏了。(在virtual情况下,属于重定义)
class Base
{
public:
void f()
{cout<<"Base:f"<<endl;}
void f(int a)
{cout<<"Base:f(int)"<<endl;}
virtual void g()
{cout<<"Base:g()"<<endl;}
virtual void h()
{cout<<"Base:h()"<<endl;}
};
class Derived:public Base
{
public:
void f(float)
{cout<<"Derived:f(float)"<<endl;}
void f(int)
{cout<<"Derived:f(int)"<<endl;}
void g(int)
{cout<<"Derived:g(int)"<<endl;}
void h()
{cout<<"Derived:h()"<<endl;}
};
int main()
{
Base *p1,*p2;
Derived *d1;
Base b;Derived d;
p1=&b;
p2=&d;
d1=&d;
p1->f(2);//指针的静态类型为Base,直接调用Base中的f(int)
p2->f(2);//指针的静态类型为Base,直接调用Base中的f(int)
p2->f(2.222);//将2.222转换为了int,指针的静态类型为Base,直接调用Base中的f(int)
p2->g();//指针的静态类型为Base,直接调用Base中的g(),因为在Derived中并没有重新定义g(),所以虚函数表中,指向的函数Base中的g()
p2->h();//指针的静态类型为Base,直接调用Base中的h(),但这时候虚函数表中的h()已经替换成了Derived中的h()
//d1->f();//编译不通过,Derived中没有无参的f
d1->f(2);//指针的静态类型为Derived,直接调用Derived中的f(int)
//d1->g();//编译不通过,Derived中没有无参的g
d1->g(2);//指针的静态类型为Derived,直接调用Derived中的g(int)
cout<<"****************"<<endl;
d1=(Derived*)p1;
d1->h();//动态函数由所指对象决定
d1->f(2);//静态函数由指针的静态类型决定
d1=(Derived*)p2;
d1->f(2);
p1=d1;
p1->f(2);
return 0;
}