Бертран Мейер - Основы объектно-ориентированного программирования

Предположим, даже, что решено использовать перегрузку, но и в этом случае придется подумать о более точном критерии, позволяющем выбирать нужный компонент. Общепринятый критерий синтаксической перегрузки различает компоненты по их сигнатуре, что не исключает неоднозначности. Типичный пример - процедуры создания точек в полярной или декартовой системе координат: make_cartesian и make_polar . Сигнатуры обеих процедур одинаковы, - они имеют два аргумента типа REAL , однако, работают совершенно по-разному. Перегрузку здесь использовать нельзя. Для отражения того факта, что оба компонента и в самом деле различны, им следует дать разные имена.

В итоге (внутриклассовая) синтаксическая перегрузка в ОО-среде создает немало проблем, не давая видимых преимуществ. (Тем же, кто использует Java, C++ или Ada 95, можно посоветовать полностью отказаться от перегрузки, прибегая к ней лишь при создании конструкторов, то есть тогда, когда язык не оставляет другого выбора.) Стараясь умело применять объектный подход, придерживайтесь простого правила: каждый компонент имеет имя, каждое имя означает только один компонент.

[x].Подход к конструированию ПО, подобный конструированию из кубиков, требует возможности объединения нескольких абстракций в одну. Это достигается благодаря множественному наследованию.

[x].В самых простых и наиболее общих случаях множественного наследования два родителя представляют независимые абстракции.

[x].Множественное наследование часто необходимо как для моделирования систем, так и для повседневной разработки ПО, в частности, создания повторно используемых библиотек.

[x].Конфликты имен при множественном наследовании должны устраняться переименованием.

[x].Переименование позволяет ввести в классе контекстно-адаптированную терминологию.

[x].Компоненты следует отделять от их имен. Один и тот же компонент в разных классах может быть известен под разными именами. Класс определяет отображение имен в компоненты.

[x].Дублируемое наследование - мощная техника - возникает как результат множественного наследования, при котором один класс становится потомком другого несколькими способами.

[x].При дублируемом наследовании компонент общего предка становится одним компонентом, если он наследуется под одним именем, и несколькими независимыми компонентами в противном случае.

[x].Конкурирующие версии общего предка при динамическом связывании должна устраняться предложением select.

[x].Механизм репликации при дублируемом наследовании не должен дублировать компоненты, включающие родовые параметры.

[x].В ОО-среде семантическая перегрузка, поддерживаемая динамическим связыванием, более полезна, чем синтаксическая перегрузка.

Механизм переименования, а также правила дублируемого наследования были разработаны при написании этой книги. Механизм отмены определений предложен Михаэлем Швайцером (Michael Schweitzer), механизм выбора- Джоном Поттером (John Potter).

Пример с выпадающим меню взят из книги [M 1988c].

Класс WINDOW порожден от TREE [WINDOW] . Поясните суть родового параметра. Покажите, какое новое утверждение появится в связи с этим в инварианте класса.

Окно содержит ассоциированный с ним текст, представленный атрибутом text типа STRING . Стоит ли отказаться от атрибута и объявить WINDOW наследником класса STRING ?

Завершите проектирование класса WINDOW , показав точно, что необходимо от лежащего в основе механизма управления выводом?

При обсуждении COMPOSITE_FIGURE мы говорили о применении итераторов для выполнения операций над составными фигурами. Разработайте соответтсвующие классы итераторов. ( Подсказка:в [M 1994a] приведены классы библиотеки итераторов, которые послужат основой вашей работы.)

Основываясь на классах STACK и LINKED_LIST , постройте класс LINKED_STACK , описывающий реализацию стека как связного списка.

Объясните, почему LIST нельзя использовать для создания кольцевых списков. ( Подсказка:в этом вам может помочь изучение формальных утверждений, обсуждение которых вы найдете в начале следующей лекции.) Опишите класс CHAIN , который может служить родителем как для LIST , так и для нового класса кольцевых списков CIRCULAR . Обновите класс LIST и, если нужно, его потомков. Дополните структуру класса, обеспечивающую разные варианты реализации кольцевых списков.

Согласно одной из интерпретаций, дерево - это рекурсивная структура, представляющая собой список деревьев. Замените приведенное в этой лекции описание класса TREE как наследника LINKED_LIST и LINKABLE новым вариантом

class TREE [G] inherit

LIST [TREE [G]]

feature ...end

Расширьте это описание до полнофункционального класса. Сравните это расширение с тем, что было описано в тексте данной лекции.

Оконные системы вводят понятие меню, реализуемое классом MENU с запросом, возвращающим список элементов, и командами отображения, перехода к следующему элементу и т.д. Меню составлено из элементов, поэтому нам понадобится класс MENU_ENTRY с такими запросами, как parent_menu и operation (операция, выполняемая при выборе элемента) и такими командами, как execute (выполняет операцию operation ).

Среди меню нередко встречаются каскадные, или шагающие меню (walking menu), где выбор элемента приводит к появлению подменю (submenu). На рисунке приведено шагающее меню среды Open Windows, созданной корпорацией Sun:

Рис. 15.25. Выпадающее меню

Предложите описание класса SUBMENU . ( Подсказка:подменю одновременно является меню и элементом меню, чья операция должна отображать подменю.) Можно ли это понятие с легкостью описать в языке без множественного наследования?