Нужны ли чисто виртуальные функции...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( ). Компилятор счастлив. Вы счастливы. А значит, и я тоже счастлив. ( Честно говоря, для того чтобы сделать меня счастливым, достаточно футбола и холодного пива. )

Чисто виртуальная функция занимает место в базовом классе для функции с тем, чтобы позже быть переопределённой в подклассе, который будет знать, как её реализовать. Если место не будет занято в базовом классе, не будет и переопределения.