Ада-95. Компилятор GNAT


         

к любому из типов предков


  • Проверка принадлежности


Проверка принадлежности объекта к любому из типов предков выполняется путем использования согласованного (надклассового) представления любого из сдвоенных объектов:

declare

CH: Human_Sibling; -- simultaneous object generation

begin

... CH in Human'Class ... -- True

... CH.To_Controlled_Sibling.all

in Limited_Controlled'Class ... -- True

end;

  • Присваивание


Любой объект концептуального типа может быть присвоен объекту обоих типов предков обычным образом, то есть, путем выбора в концептуальном объекте сдвоенного объекта, который совпадает по типу с требуемым предком (используя преобразование представления), и присваивая этот сдвоенный объект назначению операции присваивания.

Такая модель может быть легко расширена для управления множественным наследованием от более чем двух типов.


Содержание  Назад  Вперед