Лекция8

План
Шаблоны разработки ПО
Стиль мышления эксперта
Определение шаблона
Свойства шаблонов
Типы паттернов
Типы шаблонов разработки ПО
Паттерны проектирования
Классификация по целям паттернов проектирования

Шаблоны разработки ПО
В разработке ПО часто встречаются проблемы, которые уже решались ранее в других проектах.
В связи с тем, что контексты, в которых данная проблема решалась, могут различаться
(другой тип приложения, другая платформа или другой язык программирования),
все обычно заканчивается повторением проектирования и реализации данного решения,
тем самым возникает ситуация «повторного изобретения колеса».

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

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

Определение шаблона
Шаблон это описание хорошо проверенной, обобщенной схемы решения некоторой часто повторяющейся проблемы (задачи) разработки ПО, которая возникает в некоторых специфических условиях (контексте).
Схема решения проблемы задается путем
определения используемых (составляющих) компонент;
их ответственностей;
способов их взаимодействия.

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

Свойства шаблонов (2)
Шаблоны являются средствами документирования архитектур ПО.
Шаблоны поддерживают конструирование ПО с определенными свойствами.
Шаблоны помогают разрабатывать сложные и разнородные архитектуры ПО.
Шаблоны помогают справиться с сложностью ПО.

Типы паттернов
В ОО анализе и проектировании разработано много различных паттернов.
Архитектурные паттерны.
Описывают фундаментальные способы структурирования программных систем.
Эти паттерны относятся к уровню систем и подсистем, а не классов.
Паттерны проектирования.
Описывают структуру программных систем в терминах классов.
Наиболее известными в этой области являются 23 паттерна, описанные в [GoF].
Паттерны анализа.
Представляют общие схемы организации процесса объектно-ориентированного моделирования.

Типы шаблонов разработки ПО
На этапе анализа системы:
шаблоны анализа (analysis patterns ) – комбинации классов для описания стандартных задач прикладной области;
На этапе проектирования системы
шаблоны архитектуры (architecture patterns).
шаблоны проектирования (design patters);
специфичные для конкретного языка программирования идиомы.

Паттерны проектирования (Design patterns)
Cпециальные схемы для уточнения структуры подсистем или компонентов программной системы и отношений между ними.
Паттерны проектирования описывают общую структуру взаимодействия элементов программной системы, которые реализуют исходную проблему проектирования в конкретном контексте. Наиболее известными паттернами этой категории являются паттерны GoF (Gang of Four), названные в честь Э. Гаммы, Р. Хелма, Р. Джонсона и Дж. Влиссидеса, которые систематизировали их и представили общее описание. Паттерны GoF включают в себя 23 паттерна. Эти паттерны не зависят от языка реализации, но их реализация зависит от области приложения.

Понятие паттерна проектирования
Паттерн проектирования ПО – это описание взаимодействия объектов и классов, адаптированных для решения общей задачи проектирования в конкретном контексте [GoF].
Следует отличать паттерны проектирования от идиом.
Паттерны проектирования не зависят от выбора языка (хотя их реализации, зачастую, зависимы от языка программирования).
Идиомы — это паттерны, описывающие типичные решения на конкретном языке программирования.

Причины возникновения паттернов проектирования
В конце 80-х годов XX века в области разработки ПО (в частности, ОО проектировании) накопилось много различных похожих по своей сути решений.
Эти решения требовали
систематизации,
обобщения на всевозможные ситуации,
доступного описания, способствующего пониманию их людьми, которые до этого никогда их не использовали.
Такое упорядочение знаний в ОО проектировании позволило бы повторно использовать готовые и уже проверенные решения, а не снова и снова «изобретать велосипед».
Решение данной проблемы взяли на себя паттерны проектирования.

Описание паттернов
В общем случае каждый паттерн состоит из таких составляющих:
Имя является уникальным идентификатором паттерна. Имена паттернов проектирования, описанных в [GoF], являются общепринятыми.
2. Задача описывает ситуацию, в которой можно применять паттерн.
3. Решения задачи проектирования в виде паттерна определяет общие функции каждого элемента дизайна и отношения между ними.
4. Результаты представляют следствия применения паттерна.

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

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

В этом случае целесообразно применить уже готовое шаблонное решение (паттерн),
при этом нужно оценить возможности и перспективы на основании его описания.
Не следует забывать о принципах простого дизайна и слабой зависимости,
излишнее желание воспользоваться паттерном проектирования может способствовать формированию плохого дизайна.
Дизайн программной системы постоянно развивается -- успешно примененный паттерн со временем может трансформироваться в совсем другой или вовсе исчезнуть.

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

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

Критерии классификации
Паттерны можно классифицировать по двум критериям :
Цель -- отражает назначение паттерна.
Уровень -- говорит о том, к чему обычно применяется паттерн.

Классификация по целям паттернов проектирования
Порождающие паттерны (Creational Patterns).
Определяют способы создания объектов в системе.
Структурные паттерны (Structural Patterns).
Описывают способы построение сложных структур из классов и объектов.
Поведенческие паттерны (Behavioral Patterns).
Описывают способы взаимодействия между объектами.

Список паттернов проектирования
(порождающие)
Factory Method (фабричный метод)
Определяет интерфейс для создания объектов, при этом выбранный класс инстанцируется подклассами.
Abstract Factory (абстрактная фабрика)
Предоставляет интерфейс для создания семейств, связанных между собой, или независимых объектов, конкретные классы которых неизвестны.
Singleton (одиночка)
Гарантирует, что некоторый класс может иметь только один экземпляр, и предоставляет глобальную точку доступа к нему.
Prototype (прототип)
Описывает виды создаваемых объектов с помощью прототипа и создает новые объекты путем его копирования.
Builder (строитель)
Отделяет конструирование сложного объекта от его представления, позволяя использовать один и тот же процесс конструирования для создания различных представлений.

Список паттернов проектирования (структурные )
Adapter (адаптер)
Преобразует интерфейс класса в некоторый другой интерфейс, ожидаемый клиентами.
Обеспечивает совместную работу классов, которая была бы невозможна без данного паттерна из-за несовместимости интерфейсов.
Bridge (мост)
Отделяет абстракцию от реализации, благодаря чему появляется возможность независимо изменять то и другое.
Decorator (декоратор)
Динамически возлагает на объект новые функции.
Применяются для расширения имеющейся функциональности и являются гибкой альтернативой порождению подклассов.

Список паттернов проектирования (структурные) (2)
Proxy (заместитель)
Подменяет другой объект для контроля доступа к нему
Facade (фасад)
Предоставляет унифицированный интерфейс к множеству интерфейсов в некоторой подсистеме.
Определяет интерфейс более высокого уровня, облегчающий работу с подсистемой.
Composite (компоновщик)
Группирует объекты в древовидные структуры для представления иерархий типа «часть-целое».
Позволяет клиентам работать с единичными объектами так же, как с группами объектов.
Flyweight (приспособленец)
Использует разделение для эффективной поддержки большого числа мелких объектов.

Список паттернов проектирования (поведения)
Interpreter (интерпретатор)
Для заданного языка определяет представление его грамматики, а также интерпретатор предложений языка, использующий это представление.
Template Method (шаблонный метод)
Определяет скелет алгоритма, перекладывая ответственность за некоторые его шаги на подклассы.
Позволяет подклассам переопределять шаги алгоритма, не меняя его общей структуры.
Iterator (итератор)
Дает возможность последовательно обойти все элементы составного объекта, не раскрывая его внутреннего представления.

Список паттернов проектирования (поведения) (2)
Command (команда)
Инкапсулирует запрос в виде объекта, позволяя тем самым параметризовывать клиентов типом запроса, устанавливать очередность запросов, протоколировать их и поддерживать отмену выполнения операций.
Observer (наблюдатель)
Определяет между объектами зависимость типа один-ко-многим, так что при изменении состоянии одного объекта все зависящие от него получают извещение и автоматически обновляются.
Visitor (посетитель)
Представляет операцию, которую надо выполнить над элементами объекта. Позволяет определить новую операцию, не меняя классы элементов, к которым он применяется.

Список паттернов проектирования (поведения) (3)
Mediator (посредник)
Определяет объект, в котором инкапсулировано знание о том, как взаимодействуют объекты из некоторого множества.
Способствует уменьшению числа связей между объектами, позволяя им работать без явных ссылок друг на друга.
Это, в свою очередь, дает возможность независимо изменять схему взаимодействия.
Memento (хранитель)
Позволяет, не нарушая инкапсуляции, получить и сохранить во внешней памяти внутреннее состояние объекта, чтобы позже объект можно было восстановить точно в таком же состоянии.

Список паттернов проектирования (5)
State (состояние)
Позволяет объекту варьировать свое поведение при изменении внутреннего состояния.
При этом создается впечатление, что поменялся класс объекта.
Strategy (стратегия)
Определяет семейство алгоритмов, инкапсулируя их все и позволяя подставлять один вместо другого.
Можно менять алгоритм независимо от клиента, который им пользуется.

Список паттернов проектирования (поведения) (4)
Chain of Responsibility (цепочка обязанностей)
Позволяет избежать жесткой зависимости отправителя запроса от его получателя, при этом запросом начинает обрабатываться один из нескольких объектов.
Объекты-получатели связываются в цепочку, и запрос передается по цепочке, пока какой-то объект его не обработает.

Абстрактная фабрика

Одиночка (Singleton)

Заместитель (Proxy) или Суррогат (Surrogate)

Адаптер

Composite – Компоновщик

Facade - Фасад

Chain of Responsibility - Цепочка обязанностей

Observer

Strategy – Стратегия

Template Method - Шаблонный метод

Контрольные вопросы
Дайте определение шаблона разработки ПО
Назовите свойства шаблонов
Какие типы паттернов вы знаете?
Типы шаблонов разработки ПО
Что такое паттерны проектирования?
Перечислите классификацию паттернов проектирования по целям
Назовите порождающие паттерны проектирования
Назовите структурные паттерны проектирования
Назовите поведенческие паттерны проектирования