Назад
 Начало |
 Учебные материалы |
| ООП |
Подразделы
Другие разделы
| Сложность ПО и ОО подход |
| Объекты |
| Классы |
Дата и время
19/04/2024 23:36:55
Концепции ОО подхода
Введение Абстрагирование Инкапсуляция Модульность Иерархия Типизация Параллелизм Сохраняемость Термины
Абстрагирование
Абстракция выделяет существенные характеристики некоторого объекта, отличающие его от всех других видов объектов и, таким образом, четко определяет его концептуальные границы с точки зрения наблюдателя.
Абстрагирование концентрирует внимание на внешних особенностях объекта и позволяет отделить самые существенные особенности поведения от несущественных. Такое разделение основывается на принципе минимизации связей, когда интерфейс объекта содержит только существенные аспекты поведения и ничего больше. Выбор правильного набора абстракций для заданной предметной области представляет собой главную задачу ОО проектирования.
Существует целый спектр абстракций, перечисляемых далее от наиболее полезных к наименее полезным:
| Абстракция сущности | Объект представляет собой полезную модель некой сущности в предметной области |
| Абстракция поведения | Объект состоит из обобщенного множества операций |
| Абстракция виртуальной машины | Объект группирует операции, которые либо вместе используются более высоким уровнем управления, либо сами используют некоторый набор операций более низкого уровня |
| Произвольная абстракция | Объект включает в себя набор операций, не имеющих друг с другом ничего общего |
Поведение объекта можно охарактеризовать услугами, которые он оказывает другим объектам, и операциями, которые он выполняет над другими объектами. В контрактной модели программирования внешнее проявление объекта рассматривается с точки зрения его контракта с другими объектами, в соответствии с этим должно быть выполнено и его внутреннее устройство (часто во взаимодействии с другими объектами). Контракт фиксирует все обязательства, которые объект-сервер имеет перед объектом-клиентом. Другими словами, этот контракт определяет ответственность объекта – то поведение, за которое он отвечает.
Каждая операция, предусмотренная этим контрактом, однозначно определяется ее формальными параметрами и типом возвращаемого значения. Полный набор операций, которые клиент может осуществлять над другим объектом, вместе с правильным порядком, в котором эти операции вызываются, называется протоколом. Протокол отражает все возможные способы, которыми объект может действовать или подвергаться воздействию, полностью определяя тем самым внешнее поведение абстракции со статической и динамической точек зрения.
Центральной идеей абстракции является понятие инварианта. Инвариант – это некоторое логическое условие, значение которого (истина или ложь) должно сохраняться. Для каждой операции объекта можно задать предусловия (инварианты, предполагаемые операцией) и постусловия (инварианты, которым удовлетворяет операция). Изменение инварианта нарушает контракт, связанный с абстракцией. В частности, если нарушено предусловие, то клиент не соблюдает свои обязательства и объект-сервер не может выполнить свою задачу правильно. Если же нарушено постусловие, то свои обязательства нарушил сервер, и клиент не может более ему доверять. В случае нарушения какого-либо условия обычно порождается исключительная ситуация.
