Нужны ли чисто виртуальные функции...257
Если нельзя определить функцию withdrawal( ), почему бы просто не опустить её? Почему бы не объявить её в классах Savings и Checking, где она может быть определена, оставив в покое класс Account? Во многих объектно-ориентированных языках вы могли бы именно так и сделать. Но С++ предпочитает иметь возможность убедиться в вашем понимании того, что вы делаете.
«Не забывайте, что объявление функции — это указание полного имени функции, включающего её аргументы. Определение же функции включает в себя и код, который будет выполняться в результате вызова этой функции.»
[Помни!]
_________________
257 стр. Глава 22. Разложение классов
Чтобы продемонстрировать суть сказанного, можно внести следующие незначительные изменения в класс Account:
class Account
{
/* То же, что и раньше, но нет функции withdrawal( ) */
} ;
class Savings : public Account
{
public :
virtual void withdrawal( float amnt ) ;
} ;
void fn( Account *pAcс )
{
/* снять некоторую сумму */
pAcc -> withdrawal( 100.00f ) ;
/* Этот вызов недопустим, поскольку withdrawal( )не является членом класса Account */
}
int main( )
{
Savings s ; /* Открыть счёт */
fn( &s ) ;
/* Продолжение программы */
}
Представьте себе, что вы открываете сберегательный счёт s. Затем вы передаёте адрес этого счёта функции fn( ), которая пытается выполнить функцию withdrawal( ). Однако, поскольку функция withdrawal( ) не член класса Account, компилятор сгенерирует сообщение об ошибке.
Взгляните, как чисто виртуальная функция помогает решить эту проблему. Ниже представлена та же ситуация с абстрактным классом Account:
class Account
{
/* Почти то же, что и в предыдущей программе, однако функция withdrawal( ) определена */
virtual void withdrawal( float amnt ) = 0 ;
} ;
class Savings : public Account
{
public :
virtual void withdrawal( float amnt ) ;
} ;
void fn( Account *pAcc )
{
/* Снять некоторую сумму. Теперь этот код будет работать */
рАсс -> withdrawal( 100.00f ) ;
}
int main( )
{
Savings s ; /* Открыть счёт */
fn( &s ) ;
/* Продолжение программы */
}
_________________
258 стр. Часть 4. Наследование
Ситуация та же, но теперь класс Account содержит функцию-член withdrawal( ). Поэтому, когда компилятор проверяет, определена ли функция pAcc -> withdrawal( ), он видит ожидаемое определение Account::withdrawal( ). Компилятор счастлив. Вы счастливы. А значит, и я тоже счастлив. ( Честно говоря, для того чтобы сделать меня счастливым, достаточно футбола и холодного пива. )
Чисто виртуальная функция занимает место в базовом классе для функции с тем, чтобы позже быть переопределённой в подклассе, который будет знать, как её реализовать. Если место не будет занято в базовом классе, не будет и переопределения.