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

#include

0. 
   using namespace std;
   

2 :

0. 
   class Fish
   

0. 
   {
   

0. 
   public:
   

0. 
   void Swim()
   

0. 
   {
   

0. 
   cout « "Fish swims!" « endl;
   

0. 
   }
   

10: };


1 1 :

0. 
   class Tuna:public Fish
   

0. 
   {
   

0. 
   public:
   

0. 
   // переопределение Fish::Swim
   

0. 
   void Swim()
   

0. 
   {
   

0. 
   cout << "Tuna swims!" « endl;
   

0. 
   }
   

20: };

Основы полиморфизма

279

0. 
   void MakeFishSwim(Fish& InputFish)
   

0. 
   {
   

0. 
   // вызов Fish::Swim
   

0. 
   InputFish.Swim();
   

0. 
   }
   

IB: int main()

0. 
   {
   

0. 
   Tuna myDinner;
   

0. 
   // вызов Tuna::Swim 2 3: myDinner.Swim();
   

j i :

0. 
   // передача Tuna как Fish
   

0. 
   MakeFishSwim(myDinner);
   

*->.

0. 
   return 0;
   

0. 
   }
   

Результат


Tuna swims!


Fish swims!


Анализ

Класс T una специализирует класс F is h через открытое наследование, как показано

з строке 12. Он также переопределяет метод F is h : :S w im () . Функция m ain () напря­

мую вызывает метод T u n a: :S w im () в строке 33 и передает объект m y D in n e r (клас­

са Tuna) как параметр для функции M akeFishSw im (), которая интерпретирует это как ссылку Fish& , как видно в ее объявлении (строка 22). Другими словами, вызов функции M akeFishSwim (Fish& ) не заботит, что был передан объект класса Tuna, он обрабатывает его как объект класса F is h и вызывает метод F i s h : : Swim (). Так, вторая строка вывода означает, что тот же объект класса Tuna создал вывод, как у класса F is h , без всякой спе­ циализации (с таким же успехом это мог быть класс C arp).

Однако пользователь, в идеале, ожидал бы, что объект класса Tuna поведет себя как ту­ нец, даже если вызван метод F i s h : : Swim (). Другими словами, когда метод I n p u t F i s h . Swim () вызывается в строке 25, он ожидает, что будет выполнен метод T u n a : : Swim (). Такое полиморфное поведение, когда объект известного класса типа F is h может вести себя как объект фактического типа, а именно производный класс Tuna, может быть реали­ зован, если сделать функцию F i s h :: Swim () виртуальной.

Полиморфное поведение, реализованное при помощи виртуальных функций

Доступ к объекту класса F is h возможен через указатель F ish * или по ссылке Fish& . Объект класса F is h может быть создан индивидуально или как часть объекта класса Tuna или C arp , производного от класса F is h . Неважно, как именно, но вы вызываете метод Swim (), используя этот указатель или ссылку:

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

pFish->Swim();


myFish.Swim();

Вы ожидаете, что объект класса F is h будет плавать, как тунец, если это часть объекта класса Tuna, или как карп, если это часть объекта класса C arp, или как безымянная рыба, если объект класса F is h был создан не как часть такого специализированного класса, как Tuna или C arp . Вы можете гарантировать это, объявив функцию Swim () в базовом классе F is h как виртуальную функцию (virtual function):

class Base


virtual ReturnType FunctionName (Parameter List);

};
class Derived

{
ReturnType FunctionName (Parameter List);

};

Использование ключевого слова v i r t u a l означает, что компилятор гарантирует вызов любого переопределенного варианта затребованного метода базового класса. Таким обра­ зом, если метод Swim () объявлен как v i r t u a l , вызов m y F ish . Swim () (m yFish имеет тип Fish& ) приводит к вызову метода T u n a : : Swim (), как показано в листинге 11.2.

ЛИСТИНГ 11.2. Результат объявления метода Fish: :Swim() виртуальным________________

0.