Информатика в техническом университете / Информатика в техническом университете. Объектно ориентированное программирование

1. Теоретические основы ООП

ТОВ (обычно так описываются некоторые библиотечные классы) и его поведение уточняется для конкретнъгх экземпляров объектов.

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

Пример 1.13. Делегирование методов (класс Фигура). В примере 1.3 рассматривалась объектная декомпозиция простейшего текстового редактора, позволяющего рисовать окружности и квадраты с изменяющимися размером, цветом и положением. В результате этой декомпозиции бьши получены три объекта: Монитор, Круг и Квадрат (см. рис. 1.10). Те же действия будет выполнять программа, при разработке которой использован объект с динамическим поведением. Объектная декомпозиция текстового редактора в этом случае будет включать два объекта - Монитор и Фигура (рис. 1.31).

Вариант 1. Класс Фигура описан без указания конкретного варианта выводимой фигуры.

Класс Фигура1: реализация

поля X, Y, R, Color

поле Адрес_метода_рисования

интерфейс

конструктор Создать (аХ, aY, aR, aColor, аАдрес_метода_рисования)

метод Изменитьцвет (aColor) метод Изменить_размер (аК)

метод Изменитьместоположение (аХ, аУ)

Конец описания.

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

' ^ Нарисовать ^^ Изменить цвет 1

Монитор Изменить 1 Фигура размер J

Изменить Л координаты 1

ч /

Рис. 1.31. Объектная декомпозиция графического редактора

50

1.7. Дополнительные средства и приемы разработки классов

Вариант 2. Возможен другой вариант: класс Фигура содержит метод, который меняет используемую процедуру рисования.

Класс Фигура! : реализация

поля X, у, г. Color

поле Адрес_метода_рисования

интерфейс

конструктор Создать (ах, ау, аг, aColor, аАдрес_метода_рисования)

метод Изменитьцвет (aColor) метод Изменить_размер (aR)

метод Изменить_местоположение (аХ, aY)

метод Изменить_тип_Фигуры (аАдресметода^исования)

Конец описания.

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

Сами методы рисования могут быть определены как в том же, так и в другом классе, например:

Класс Методы_рисования: интерфейс

метод Рисование_окружности(аХ, aY, aR, aColor) метод Рисование_квадрата(аХ, aY, aR, aColor)

Конец_описаиия.

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

Вариант 3.

Класс ФигураЗ: реализация

поля X, Y, R, Color

поле Адрес_метода_рисования метод Рисование_окружности метод Рисование_квадрата

интерфейс

конструктор Создать(аХ, aY, aR, aColor, aFigura_type) метод Изменитьцвет (aColor)

51

1. Теоретические основы ООП

метод Изменить_размер (aR)

метод Изменить_местоположение (аХ, aY) метод Изменить_тип_фигуры (аТип_фигуры)

Конец описания.

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

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

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

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

Методы, реализующие поэлементную обработку, должны работать с полями данных, определеьшыми в классах-потомках класса-элемента.

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

Рис. 1.32. Построение кпассов на базе контейнерного ютасса и класса элемента

52

1.7. Дополнительные средства и приемы разработки классов

Теоретически итератор должен обеспечивать возможность реализавдш циклических действий следующего вида:

<очередной элемент>:=<первый элемент> цикл-пока <очередной элемент> определен

<вьшолнить обработку> <очередной элемент>:=<следующий элемент>

все-цикл.

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

Пример 1.14. Контейнерный класс с итератором (класс Список).

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

Класс Элемент:

поле Указатель_на_следующий

Конец описания.

Класс Список включает три метода, составляющих итератор: метод Определить_первый, который должен возвращать указатель на первый элемент, метод Определитьследующий, который должен возвращать указатель на следующий элемент, и метод Конецсписка, который должен возвращать «да», если список исчерпан.

Класс Список реализация

поля Указательнапервый, Указательнатекущий

интерфейс метод Добавитьпередпервым (аЭлемент)

метод Удалитьпоследний метод Определить_первый метод Определить_следующий метод Конец_списка

Конец описания.

Тогда поэлементная обработка списка будет программироваться следующим образом:

Элемент:= Определить_первый цикл-пока не Конецсписка

Обработать элемент, переопределив его тип

53

1. Теоретические основы ООП

Элемент:= Определитьследующий

все-цикл

При использовании второго способа поэлементной обработки реализуемой структуры процедура обработки элемента передается в списке параметров. Такую процедуру можно определить, если известен тип обработки, например, процедура вывода значений информационных полей объекта. Процедура должна вызываться из метода для каждого элемента данных. В языках с жесткой типизацией дашп>1Х тип процедуры должен описываться заранее, при этом часто невозможно предусмотреть, какие дополнительные параметры должны передаваться в процедуру. В таких случаях первый способ может оказаться предпочтительнее.

Пример 1.15. Контейнерный класс с процедурой обработки всех объектов (класс Список). В этом случае класс Список будет описываться следующим образом:

Класс Список реализация

поля Указательнапервый, Указатель_на_текущий

интерфейс метод Добавить_перед_первым(аЭлемент)

метод Удалитьпоследний метод Выполнить_для_всех(аПроцедура_обработки)

Конец описания.

Соответственно, тип процедуры обработки должен быть описан заранее, с учетом того, что она должна получать через параметр адрес обрабатываемого элемента, например:

Процедура_обработки (аЭлемент)

Использование полиморфных объектов при создании контейнеров позволяет создавать достаточно универсальные классы.

Параметризованные классы. Параметризованный класс (рши шаблон)

представляет собой определение класса, в котором часть используемых типов компонент класса определяется через параметры. Таким образом, каждый шаблон определяет группу классов, которые, несмотря на различие типов, характеризуются одинаковым поведением. Переопределить тип в процессе вьшолнения программы нельзя: все операции конкретизации типа вьшолняются компилятором (точнее - препроцессором) C++.

Параметризованные классы реализоварп»! в C++. Они часто используются для реализации контейнерных классов, причем обычно в качестве элемента выступает полиморфный объект, указатель на базовый класс которого и

54

1.7. Дополнительные средства и приемы разработки классов

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

Пример 1.16. Шаблон классов (шаблон классов Список), Шаблон практически полностью повторяет описание класса, но везде, где должен указываться тип элемента, вместо него следует указать параметр (в нашем случае Тип_элемента):

Шаблон классов Список (Тип_элемента) реализация

поле Указательнапервый: Указатель на Тип_элемента поле Указатель_на_текущий: Указатель на Тип_элемента

интерфейс метод Добавить_перед_первым

(аЭлемент: Указатель на Тип_элемента) метод Удалить_последний: Указатель на Тип_элемента

метод Определить_первый: Указатель на Тип_элемента метод Определить_следуюш;ий: Указатель на Тип_элемента метод Конецсписка

Конец описания.

При использовании шаблона указывается его имя и соответствующее значение параметра, например:

Список (Запись1)

или

Список (Запись!)

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

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

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

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

55

1. Теоретические основы ООП

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

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

генерация информации о возникновении исключительной ситуации -

генерация исключениям

обработка этой информации - перехват исключения.

При перехвате исключений используется стек вызовов, в котором в момент передачи управления очередной подпрограмме фиксируется адрес возврата. Например, если подпрограмма (или метод) А вызывает подпрограмму (или метод) В, а та в свою очередь вызьгоает подпрограмму (или метод) С, то в стеке последовательно записываются: адрес возврата в А и адрес возврата в В (рис. 1.33).

Ошибка, обнаруженная в подпрограмме С, может быть обработана в самой подпрограмме С, а может бьггь передана для обработки подпрограммой

В или подпрограммой А, или даже подпрограммами, вызвавшими А. Для этого

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

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

Рис. 1.33. Организация стека вызовов

56

1.7. Дополнительные средства и приемы разработки классов

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

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

Вторая - используется в тех случаях, когда необходимо обеспечить правильное освобождение ресурсов метода даже при обнаружении исключительных ситуаций. Она называется завершающей конструкцией обработки исключения (try... finally - в Delphi Pascal, try... finally - в стандарте С, try... finally - в стандарте C++Builder). Завершающая обработка исключеьшя отличается от обычной тем, что блок операторов завершающей обработки выполняется в любом случае: как при обнаружении исключения, так и при его отсутствии. Эта конструкция обычно используется для обеспечения освобождения памяти, закрытия файлов и т.д.

В обоих случаях в месте обнаружения исключительной ситуации программист организует генерацию исключения (raise - в Delphi Pascal, throw - в С++, вызывает функцию RaiseException - в С). При генерации исключения создается некоторый объект, содержащий информацию об обнаруженной ситуации. В простейшем случае таким объектом может служить скалярная переменная одного из стандартных типов, а в более сложных - объект описанного ранее класса. В качестве информации может использоваться номер исключения, строка сообщения, значения операндов невьшолненной операции, адрес некорректных данных и т.д.

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

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

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

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

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

57

2. СРЕДСТВА ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ В BORLAND PASCAL 7.0

При разработке языка Borland Pascal 7.0 использована логически завершенная,

но самая простая объектная модель. В этой модели отсутствуют специальные средства сокрытия реализации классов и noddepjtcKu дополнительных средств и приемов разработки классов (абстракций метаклассов, делегирования и т. д.).

Задача данной главы показать преимущества далее такой упрощенной модели ООП по сравнению с ранее известными подходами в программировании.

2.1. Определение класса

Итак, класс в ООП - это структурный тип данных, который включает описание полей данных, процедур и функций, работающих с этими полями данных.

Определение класса в Borland Pascal 7.0 осуществляется в два этапа. На первом этапе описьшается структура класса, где указываются: имя класса, поля данных и прототипы (заголовки) методов:

Туре

<имя класса> = object

<имя поля данных 1> : <тип данных 1>;

<имя поля данных N> : < тип данных N>; Procedure <имя метода 1>(<список параметров>);

Function <имя метода 2>(<список параметров>):<тип функции>;

Procedure <имя метода Ь>(<список параметров>);

Function <имя метода М>(<список параметров>):<тип функции>;

End;

59