C++ за 21 день седьмое издание

class Animal

290 ЗАНЯТИЕ 11. Полиморфизм

0. 
   };
   

0. 
   

0. 
   void MakeFishSwim (Fish& inputFish)
   

0. 
   {
   

2 9: inputFish.Swim();

0. 
   }
   

0. 
   

0. 
   int main()
   

0. 
   {
   

0. 
   // Fish myFish; //Ошибка, нельзя создать экземпляр
   

1. 
   абстрактного класса
   

0. 
   Carp myLunch;
   

0. 
   Tuna myDinner;
   

37:

0. 
   MakeFishSwim(myLunch);
   

0. 
   MakeFishSwim(myDinner);
   

0. 
   

0. 
   return 0;
   

0. 
   }
   

Результат


Carp swims slow in the lake!


Tuna swims fast in the sea!


Анализ

Сущ ественна первая (закомментированная) строка функции m ain () (строка 34). Это демонстрирует, что компилятор не позволит создать экземпляр класса F is h . Он ожи­ дает чего-то более конкретного, такого, как специализация класса F is h (класса Tuna, например), что имеет смысл и в реальности. Благодаря чистой виртуальной функции F i s h :: Swim (), объявленной в строке 7, оба класса, Tuna и C arp, вынуждены реализовать методы T u n a : : Swim () и C a r p : : Swim () соответственно. Строки 27 -30, где реализован метод M akeFishSw im (F ish & ), демонстрируют, что, хотя экземпляр абстрактного класса

0. 
   не может быть создан, ссылку или указатель на него вполне можно использовать. Таким образом, абстрактные классы — это очень хороший способ потребовать от всех произво­ дных классов реализации определенных функций. Если в классе T ro u t (форель), произ­ водном от класса F is h , забыть реализовать метод T r o u t : : Swim (), компиляция потерпит неудачу.
   

Абстрактные базовые классы (Abstract Base Class) зачастую называют просто АВС.
Классы АВС накладывают на ваш проект или программу определенные ограничения.