class A
{...
virtual Show(int a) const;
....
};
class B : public A
{
virtual Show()const;
}
问题:重新定义的Show()不接受任何参数,如果在派生类中重新定义函数,将不是使用相同的函数特征标覆盖基类的声明(这句话有些拗口,简言之,就是派生类B中定义的不带参数的Show(),不会覆盖基类A中定义的带参数的Show(int a)),而是将基类的带参的Show(int a)给隐藏了!!!
这样的后果是:
B b;
b.Show() ; //合法
b.Show(6) ; //不合法!!!
从此处可引出两条规则经验:
1>如果重新定义继承的方法,应该确保与原来的原型完全相同
特殊情况:只针对返回类型是基类指针或引用的情况,则可以修改为指向派生类的指针或引用,专用术语叫返回类型协变,允许返回类型随类类型的变化而变化
class A
{
virtualA & Show();
}
class B
{
virtualB & Show();
}
2>如果基类声明被重载了,则应在派生类中重新定义所有的基类版本
class A
{
virtual void Show()const;
virtual void Show(int a)const;
virtual void Show(double b)const;
}
则
class B: public A
{
virtual void Show()const;
virtual void Show(int a)const;
virtual void Show(double b)const;
}
//如果只重新定义一个版本,则另外的版本将被隐藏,派生类对象将无法使用它们!!!