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

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

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

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

Воздействие на объект выполняется посредством изменения его полей или вызова его методов. Изменение состояния объекта под влиянием внешних воздействий (сообщений) называется его поведением. Поведение объектов характеризуется определенным набором реакций на получаемые сообщения и часто зависит от его состояния.

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

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

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

Каждое сообщение, принимаемое объектом, может инициировать выполнение одной или нескольких операций указанных типов.

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

Класс <имя класса>

интерфейс

<объявление полей, к которым возможно обращение извне>

<объявление методов, к которым возможно обращение извне>

реализация

<объявление полей, к которым невозможно обращение извне>

<объявление методов, к которым невозможно обращение извне>

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

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

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

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

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

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

Дата добавления: 2015-07-25