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

cout « "Animal constructor" « endl;

7. 
   }
   

1 0 :
11: // простая переменная

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

0. 
   int Age;
   

0. 
   

0. 
   

0. 
   class Mammal:public virtual Animal
   

0. 
   {
   

0. 
   _};
   

18: ^•

0. 
   class Bird:public virtual Animal
   

0. 
   _{
   
1. 
   _};
   

22:

0. 
   class Reptile:public virtual Animal
   

0. 
   _{
   
1. 
   };
   

26:

0. 
   class Platypus:public Mammal, public Bird, public Reptile
   

0. 
   _{
   
1. 
   public:
   

0. 
   Platypus ()
   

0. 
   _{
   
1. 
   cout « "Platypus constructor" « endl;
   

0. 
   _}
   
1. 
   _};
   

35:

0. 
   int main ()
   

0. 
   _{
   
1. 
   Platypus duckBilledP;
   

0. 
   

0. 
   // нет ошибки компиляции, поскольку есть только один Animal
   

0. 
   duckBilledP.Age = 25;
   

42:

0. 
   return 0;
   

0. 
   _}
   

Результат


Animal constructor


Platypus constructor


Анализ

Сравнив вывод с выводом листинга 11.7, можно сразу заметить, что количество эк­ земпляров класса A nim al уменьшилось до одного, что, наконец, отражает тот факт, что создан был только один утконос. Все дело в ключевом слове v i r t u a l , использованном в отношениях между классами Mammal, B ir d и R e p t i l e , гарантирующем существование только одного экземпляра общего базового класса A nim al, если они будут объединены классом P la ty p u s . Это реш ает много проблем; одна из них — строка 41, которая теперь компилируется, как представлено в листинге 11.7.

ПРИМЕЧАНИЕ


ПРИМЕЧАНИЕ

Виртуальные конструкторы копий?

295

Проблема иерархии наследования, содержащей два или больше базовых клас­ са, которые происходят от одного общего базового класса, приводит к необхо­ димости разрешения неоднозначности при отсутствии виртуального наследова­ ния, называется проблемой ромба (diamond problem).

Название "ромб”, вероятно, возникло благодаря форме схемы классов (см. рис. 11.2), где прямоугольники классов и связи между ними создают ром­ бовидную фигуру.

Ключевое слово virtual в языке C++ нередко используется в различных кон­ текстах для разных целей. (На мой взгляд, кто-то хотел сэкономить время на создании ключевого слова apt.) Вот краткое резюме.

Объявление функции виртуальной означает, что будет вызвана ее переопреде­ ленная версия, существующая в производном классе.

Отношения наследования, объявленные с использованием ключевого слова virtual, между классами Derivedl и Derived2, происходящими от класса Base, означают, что экземпляр следующего класса, Derived3, происходящего от классов Derivedl и Derived2, будет содержать только один экземпляр класса Base.

Таким образом, то же ключевое слово virtual используется для реализации двух разных концепций.