Гибридное присоединение

Гибридное присоединение

В рассматриваемых до сих пор случаях источник и цель принадлежали одной категории - оба развернутого или ссылочного типа. Что если они из разных категорий?

Вначале рассмотрим ситуацию, когда в присваивании x := y цель x развернутого типа, а источник y - ссылочного типа. Единственно приемлемой в этом случае является семантика копирования: копирование полей объекта, присоединенного к y, в поля объекта, присоединенного к x. Все хорошо, если y не void в период выполнения. Если y - void, то результатом будет включение исключения. (Исключения изучаются в лекции 12)

Для развернутого x тест x = Void не является причиной появления исключительной ситуации; он просто дает значение false. Но нет приемлемой семантики для присваивания x := Void, так что всякая подобная попытка приводит к появлению исключения.

Рассмотрим теперь другой случай присваивания: x := y, где x ссылочного типа, а y - развернутого. Тогда в период выполнения y всегда присоединен к объекту, который мы можем назвать OY, и присоединение также должно присоединить x к объекту. Казалось бы, что можно присоединить x непосредственно к OY. Однако это привело бы к созданию ссылки на подобъект, а подобные ссылки запрещены нашими правилами. Поэтому правильной стратегией является клонирование источника OY и присоединение x к созданной копии. Рассмотрим пример:

class C feature

...

end

class COMPOSITE2 feature

x: C

y: expanded C

reattach is

do x := y end

end

При вызове компонента reattach в результате присваивания x будет присоединен к объекту, являющемуся клоном объекта y.

Следующая таблица обобщает семантику присоединения изученных случаев:

Тип цели x Тип источника y
Ссылочный Развернутый
Ссылочный Ссылочное присоединение Клонирование: эффект x := clone(y)
Развернутый Копирование: эффект x.copy(y) Ошибка, если y - void Копирование: эффект x.copy(y)

Таблица 8.1. Эффект присоединения x:=y

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

6.5.3 Присоединение области к процессу

Из книги автора

6.5.3 Присоединение области к процессу Ядро присоединяет область к адресному пространству процесса во время выполнения системных функций fork, exec и shmat (алгоритм attachreg, Рисунок 6.19). Область может быть вновь назначаемой или уже существующей, которую процесс будет использовать


Гибридное видео, или мичуринцы из NVIDIA

Из книги автора

Гибридное видео, или мичуринцы из NVIDIA LinuxFormat, #156 (апрель 2012)Одним из величайших достижений советских селекционеров было получение гибрида воблы со стерлядью. Он обладал вкусовыми достоинствами первой и стоимостью второй. Недавно этот успех удалось повторить мичуринцам


Присоединение ссылки к объекту

Из книги автора

Присоединение ссылки к объекту Классы, появляющиеся в этой лекции, не имели подпрограмм - у них были только атрибуты. Как отмечалось, такие классы почти бесполезны, так как у них нет способа изменить значение атрибутов. Необходимы способы модификации ссылок, не


Присоединение: две семантики - ссылок и значений

Из книги автора

Присоединение: две семантики - ссылок и значений В этом разделе рассматривается специальная информация, и он может быть пропущен при первом чтении. Введение развернутых типов требует возвращения к рассмотрению двух фундаментальных операций, уже рассмотренных в этой


Присоединение

Из книги автора

Присоединение Семантика присваивания, как отмечалось, распространяется еще на одну операцию - передачу аргумента при вызове подпрограмм. Предположим, существует подпрограмма (процедура или функция) в форме:r (..., x: SOME_TYPE, ...)Здесь сущность x это один из формальных


Присоединение: ссылочное и копии

Из книги автора

Присоединение: ссылочное и копии При изучении ссылочного присваивания мы уже познакомились с эффектом присоединения. Если источник и цель являются ссылками, то эффект присваивания: x := yи соответствующей передачи аргументов состоит в том, что x получает значение ссылки y.


Полиморфное присоединение

Из книги автора

Полиморфное присоединение "Полиморфизм" означает способность обладать несколькими формами. В ОО-разработке несколькими формами обладают сущности (элементы структур данных), способные во время выполнения присоединяться к объектам разных типов, что контролируется