►Когда фунция не являтся виртуальной...246
Даже если вы считаете, что некоторая функция вызывается с использованием позднего связывания, это отнюдь не означает, что так и есть на самом деле. Если она не объявлена с теми же аргументами в подклассах, то она не будет переопределяться, независимо от того, объявили ли вы её виртуальной или нет.
В правиле об идентичности объявления есть только одно исключение, которое состоит в том, что если функция-член базового класса возвращает указатель или ссылку на объект базового класса, то переопределяемая функция-член может возвращать указатель или ссылку на объект подкласса. Другими словами, приведённая ниже программа допустима.
class Base
{
public :
/* Возвращает копию текущего объекта */
Base* makeACopy( )
{
/* ...делает всё, что нужно для создания копии */
}
} ;
class Subclass : public Base
{
public :
/* Возвращает копию текущего объекта */
Subclass* makeACopy( )
{
/* ...Делает всё, что нужно для создания копии */
}
} ;
void fn( BaseClass& bс )
{
BaseClass* pCopy = bс.makeACopy( ) ;
/* Функция продолжается... */
}
С практической точки зрения всё естественно: функция копирования makeCopy( ) должна возвращать указатель на объект типа Subclass, даже если она переопределяет Base::makeCopy( ).
_________________
246 стр. Часть 4. Наследование