5.4.5. Реализация зависимостей
В языке Eiffel для реализации зависимостей применяются конструкции, аналогичные соответствующим конструкциям языка C++. Поддерживаются параметризованные (родовые (generic)) контейнерные объекты (обычно эти объекты параметризуются относительно типов объектов, которые они содержат). Базовая библиотека классов системы Eiffel содержит контейнерный класс LINKED_LIST, который можно использовать для реализации зависимости типа "много к одному" между классами ITEM и GROUP:
class ITEM
export
get_group
-- выборочный экспорт в класс GROUP
set_group(GROUP), forget_group(GROUP)
feature
get_group: GROUP is
do
Result := mygroup
end;
set_group(g:GROUP) is
do
mygroup := g
end;
forget_group is
do
forget(mygroup)
end;
end --ITEM
class GROUP
export
add_item, remove_item, get_items
inherit ITEM
feature
items: LINKED_LIST[ITEM]; --параметризованный тип
Create is
do
items.Create
end;
add_item(value:ITEM) is
do
items.finish;
items.insert_right(value);
value.set_group(Current)
end;
remove_item(value:ITEM) is
do
items.search(value,l);
items.delete;
value.forget_group
end;
get_items(number:INTEGER):ITEM is
do
Result := items
end;
end --GROUP
Язык Eiffel обеспечивает выборочный экспорт относительно любого свойства. В рассматриваемом примере в класс GROUP экспортируются свойства set_group и forget_group класса ITEM. Это поддерживает инкапсуляцию путем ограничения доступа по записи данных в объекты классов, участвующих в зависимости между ITEM и GROUP.
Операция forget языка Eiffel предназначена для освобождения памяти; она освобождает память, занимаемую объектом, который является ее операндом, а также присваивает объектной ссылке неопределенное значение.
В языке Smalltalk большую часть зависимостей помогает реализовать богатая системная библиотека классов. Например, для реализации зависимости типа "много-к-одному" между графическими объектами (Item) и группой, в которую они входят (Group) можно использовать библиотечный класс Set:
class name Item
superclass Object
class name Shape
superclass Item
instance variables
group
instance methods
cut
draw
erase
move: aPoint
ungroup
--дополнительные методы
getGroup
|group
--приватные методы
putGroup: aGroup
group <- aGroup
class name Group
superclass Item
instance variables
items
class methods
new
|((super new)putItems:(Set new))
instance methods
pick: aPoint
write: aColor
addItem: anItem
items add: anItem.
anItem putGroup: self
removeItem
items remove: anItem.
anItem putGroup: nil
getItems
|items copy
--приватные методы
putItems: aSet
items <- aSet
Ввиду того, что в системе Smalltalk не производится контроль типов, нет никаких ограничений на тип объектов, которые можно добавить в группу: любой объект, который соответствует сообщению putGroup:, допустим. Строка приватные методы является комментарием, сообщающим программисту, что методы, перечисленные после этой строки лучше использовать как приватные; если он не последует этому совету, система все равно не зафиксирует ошибку, так как Smalltalk не поддерживает приватности методов и данных, и на самом деле все методы общедоступны.
Назад | Содержание | Вперед
