Лекция 02. Основы объектного подхода¶

Абстракция¶

Абстракция выделяет существенные характеристики некоторого объекта, отличающие его от всех других видов объектов и, таким образом, четко определяет концептуальные границы с точки зрения наблюдателя.

Шоу: ‘’Абстракция – упрощенное описание системы, при котором одни детали выделяются, а другие опускаются. Хорошей является абстракция, которая выделяет существенные для рассмотрения и использования детали, а несущественные опускает.’‘

Принцип наименьшего удивления: абстракция должна охватывать все

поведение объекта, но не больше и не меньше, не привносить сюрпризов или

побочных эффектов, лежащих вне ее сферы применимости.

Главная задача ОО проектирования – выбор правильного набора абстракций для заданной предметной области.

Инкапсуляция¶

В то время как абстракция описывает внешний интерфейс класса, инкапсуляция занимается его внутренним устройством.

Принцип разделения интерфейса и реализации: в интерфейсной части собрано все, что касается взаимодействия данного объекта с любыми другими объектами; реализация скрывает детали, не имеющие отношения к этому процессу взаимодействия объектов.

Интерфейс объекта не должен зависеть от реализации.

Инкапсуляция – это процесс отделения друг от друга элементов объекта, определяющих его устройство и поведение.

Инкапсуляция служит для изоляции контрактных обязательств абстракции от их реализации.

Принцип отделения интерфейса от реализации может быть проиллюстрирован следующей

серией картинок:

Модульность¶

• Цель разделения программы на модули – разделить задачу на несколько менее сложных подзадач, которые можно решать независимо.
• Б.Лискоу: ‘’Модульность – это разделение программы на фрагменты, которые компилируются по отдельности, но могут устанавливать связи с другими модулями’‘.
• Парнас: ‘’связи между модулями – это их представление друг о друге’‘.

В Java существуют следующие виды модулей:

• файлы с описаниями классов;
• пакеты, представляющие собой наборы файлов;
• иерархии пакетов (библиотеки);
• отдельные проекты для большого приложения.

Правильное разделение на модули является почти такой же сложной задачей, как и выбор правильного набора абстракций.

Для большинства программ лучшим решением будет сгруппировать логически связанные классы и объекты по отдельным модулям.

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

Парнас:

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

Иерархия¶

Обычно число абстракций в системе намного превышает умственные способности. Инкапсуляции и модульности оказывается недостаточно.

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

Иерархия – это упорядочение абстракций, расположение их по уровням.

В ОО программировании основными видами сложных систем являются структура классов (is-a, наследование) и структура объектов (part of, агрегация).

Типизация¶

Точно определенные и строго типизированные интерфейсы являются фундаментальным инструментом проектирования.

Типизация позволяет находить некоторые ошибки уже на этапе компиляции. Она тем полезнее, чем больше проект.

Строго типизированный интерфейс гарантирует, что компилируются и компонуются только совместимые части программ: эти части могут делать сильные предположения относительно друг друга, при этом выполнение этих предположений гарантируется системой типов

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

Повторное использование¶

Повторное использование предполагает использование уже написанного кода для построения других приложений, т.о. уменьшая время разработки и увеличивая качество этих приложений.

Конечная цель повторного использования – серийное производство ПО путем стыковки готовых компонентов.

Технические сложности повторного использования:

• обычно необходимо использовать почти весь код и немного переделать
• один и тот же код не может охватить все возможные ситуации (особенно не известные на момент разработки)
• используется фактически не сам код, а схема кода

Состояние объекта¶

Состояние объекта характеризуется перечнем (обычно статическим) всех свойств данного объекта и текущими (обычно динамическими) значениями каждого из этих свойств.

Примеры состояния:

• уличный автомат для торговли напитками

1. текущая сумма денег
2. количество имеющихся в наличии напитков

• лифт
• самообучающийся робот

Тот факт, что объект имеет состояние, означает, что он занимает некоторое место в памяти компьютера.

Регистрационные записи о сотрудниках

class PersonnelRecord
{
    String name;
    int socialSecurityNumber;
    String department;
    float salary;
}

Описание определяет не объект, а класс, т.к. он не определяет конкретных экземпляров.

Чтобы определить экземпляры, нужно написать следующее:

PersonnelRecord deb = new PersonnelRecord();
PersonnelRecord dave = new PersonnelRecord();
PersonnelRecord karen = new PersonnelRecord();
PersonnelRecord jim = new PersonnelRecord();
PersonnelRecord torn = new PersonnelRecord();
PersonnelRecord denise = new PersonnelRecord();

В памяти эти объекты не пересекаются и занимают каждый свое место.

На практике принято ограничивать доступ к состоянию объекта, а не делать его общедоступным.

Поведение объекта¶

Объекты не существуют изолированно, а подвергаются воздействию или сами воздействуют на другие объекты.

Поведение – это то, как объект действует и реагирует. Поведение выражается в терминах состояния объекта и передачи сообщений.

Поведение объекта - это его наблюдаемая и проверяемая извне деятельность.

Операция – это определенное воздействие одного объекта на другой с целью вызвать соответствующую реакцию.

Пример: объект-очередь содержит следующие операции:

• append и pop – чтобы добавить и изъять элемент
• length – позволяет определить размер очереди (но не может изменить это значение)

В Java операции над объектами называются методами или функциями-членами.

Поведение объекта задается типом операции и текущим состоянием объекта.

Операция – это услуга, которую класс может предоставить своим клиентам.

Наиболее распространенные типы операций:

• модификатор - операция, которая изменяет состояние объекта (clear, append, pop, remove)
• селектор - операция, считывающая состояние объекта, но не меняющая состояния
• итератор - операция, позволяющая организовать доступ ко всем частям объекта в строго определенной последовательности
• конструктор - операция создания объекта и/или его инициализации

Идентичность¶

Отношения¶

Сами по себе объекты не представляют никакого интереса: только в процессе их взаимодействия реализуется система.

ОО программа – это «сообщество хорошо воспитанных объектов, которые вежливо просят друг друга об услугах» (Ингалс).

Пример: самолет – это «совокупность элементов, каждый из которых по своей природе стремится упасть на землю, но за счет совместных усилий преодолевающих эту тенденцию» (Галл).

Отношения любых двух объектов основываются на предположениях, которыми один обладает относительно другого: об операциях, которые можно выполнять, и об ожидаемом поведении.

Два типа отношений:

1. связи
2. агрегация

Связи¶

Связь – это физическое или концептуальное соединение между объектами.

Участвуя в связи, объект может выполнять одну из следующих трех ролей:

1. Актер - объект может воздействовать на другие объекты, но сам никогда не подвергается воздействию других объектов.
2. Сервер - объект может только подвергаться воздействию со стороны других объектов, но никогда не выступает в роли воздействующего объекта.
3. Агент - объект может выступать как в активной, так и в пассивной роли.

Связь между объектом-клиентом и объектом-сервером необходима для того, чтобы объект-клиент мог запросить услугу у объекта-сервера.

Связь может быть односторонней или двусторонней.

Пусть есть два объекта A и B и связь между ними. Чтобы A мог послать сообщение в B, нужно, чтобы B был видим для A.

На стадии анализа об этом можно не беспокоиться, но на стадии реализации мы должны обеспечить видимость связанных объектов

Четыре способа обеспечить видимость:

• сервер глобален по отношению к клиенту
• ссылка на сервер передана клиенту в качестве параметра операции
• сервер является частью клиента
• между клиентом и сервером установлена ассоциация
• сервер локально порождается клиентом в ходе выполнения какой-то операции

Какой из этих способов выбрать – зависит от тактики проектирования.

Агрегация¶

Агрегация описывает отношения целого и его части, приводящие к соответствующей иерархии объектов.

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

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

Агрегация иногда предпочтительнее связи, т.к. позволяет скрыть части в целом. Связи иногда предпочтительнее, т.к. они слабее и менее ограничительны. Принимая решение, надо взвесить все.