假设创建了如下所示的代码：
class Dwelling
{
public:
virtual void showperks(int a) const;
....
};
class Hovel : public Dwelling
{
public:
virtual void showperks() const;
....
};
这将导致问题，可能会出现类似于下面这样的编译警告：
Warning: Hovel::showperks(void) hides Dwelling::showperks(int).
但是不管 怎么样，代码将具有如下含义：
Hovel trump;
trump.showperks(); // valid
trump.showperks(5);// invalid
新定义将showperks()定义为一个不接受任何参数的函数。重新定义不会生成函数的两个重载版本，而是隐藏了接受一个int参数的基类版本。简而言之，重新定义继承的方法并不是重载。如果在派生类中重新定义函数，将不是使用相同的函数特征标覆盖基类声明，而是隐藏同名的基类方法，不管参数特征标如何。
这引出了两条经验规则：第一，如果重新定义继承的方法，应确保与原来的原型完全相同，但如果返回类型是基类引用或指针，则可以修改为指向派生类的引用或指针（这种例外是新出现的）。这种特性被称为返回类型协变(covariance of return type)，因为允许返回类型随类类型的变化而变化。
class Dwelling
{
public:
// a base method
virtual Dwelling &build(int n);
....
};
class Howel : public Dwelling
{
public:
// a derived method with a covariant return type
virtual Hovel & build(int n); // same function signature
...
};
注意：这种例外只适用于返回值，而不适用于参数。
第二，如果基类声明被重载了，则应在派生类中重新定义所有的基类版本。
如果只重新定义一个版本，则另外两个版本将被隐藏，派生类对象将无法使用它们。注意，如果不需要修改，则新定义可只调用基类版本。
《C++ Primer Plus(5rd)》