к любому из типов предков
Проверка принадлежности объекта к любому из типов предков выполняется путем использования согласованного (надклассового) представления любого из сдвоенных объектов:
declare
CH: Human_Sibling; -- simultaneous object generation
begin
... CH in Human'Class ... -- True
... CH.To_Controlled_Sibling.all
in Limited_Controlled'Class ... -- True
end;
|
Любой объект концептуального типа может быть присвоен объекту обоих типов предков обычным образом, то есть, путем выбора в концептуальном объекте сдвоенного объекта, который совпадает по типу с требуемым предком (используя преобразование представления), и присваивая этот сдвоенный объект назначению операции присваивания.
Такая модель может быть легко расширена для управления множественным наследованием от более чем двух типов.
Содержание Назад Вперед