Динамическая передиспетчеризация
Динамическая передиспетчеризация
Известно, что производный тип всегда может переопределить примитивную операцию своего предка, то есть, предусмотреть свою собственную реализацию примитивной операции.В случае использования классов, необходимо заботиться в правильном распознавании вызова реализации для потомка от вызова реализации для предка.Рассмотрим следующий схематический вариант реализации процедуры Display для типа Root:
| procedure Display (Self: in Root) is begin Put ( The_Name(Self) & ... ); -- ??? . . . end Display; |
В данном случае, при вызове реализации Display для типа Child_1,
которая была показана ранее,
первая же инструкция выполняет вызов затененной реализации предка,
то есть, реализации для типа Root:
Display ( Root(Self) ).
Показанный пример реализации процедуры Display для типа Root всегда будет выполнять вызов функции The_Name полагая, что индивидуальным типом параметра Self является тип Root.Таким образом, этот вызов будет статически связан с реализацией функции The_Name для типа Root.
Следовательно, при вызове реализации процедуры Display для типа Child_1, в результате вызова затененной реализации предка будет получена та же строка имени, что и для типа Root.
Для того, чтобы процедура Display для типа Root правильно осуществила вызов той реализации функции The_Name которая соответствует фактическому индивидуальному типу параметра Self ее необходимо переписать следующим образом:
| procedure Display (Self: in Root) is begin Put ( The_Name( Root'Class(Self) ) & ... ); -- передиспетчеризация . . . end Display; |
В данном случае, в реализации процедуры Display для типа Root выполняется преобразование параметра Self к типу Root'Class предусматривая передиспетчеризацию вызова к корректной реализации The_Name, в зависимости от тэга параметра Self.
