В отличие от стиля процедурного программирования, в котором данные и функции их обработки не связаны, в этом стиле определена новая структура данных — класс — по сути дела это тип объекта, в котором кроме данных (свойств, параметров объекта) содержатся функции их обработки (методы, допустимые действия объекта или с объектом).
Объект по отношению к своему классу является экземпляром. Класс определяет структуру и функциональность (поведение), одинаковую для всех экземпляров данного класса. Один класс отличается от других именем и обычно набором поддерживаемых интерфейсов. Интерфейсы, в свою очередь, представляют собой набор сообщений, которые можно посылать объекту. Экземпляр является носителем данных, т. е. обладает состоянием, меняющимся в соответствии с поведением, заданным классом. В языках ООП новый экземпляр создается через вызов конструктора класса (возможно, с набором параметров). Получившийся экземпляр имеет структуру и поведение, жестко заданные его классом.
Все объекты могут обмениваться между собой сообщениями. При получении объектом сообщения запускается соответствующий ему метод. Объект имеет ассоциативный контейнер, позволяющий получить по сообщению нужный метод для обработки. Если метод для обработки сообщения не найден, сообщение перенаправляется объекту-предку.
Принципами ООП являются:
- • наследование — механизм установления отношений «потомок — предок» (порождать один класс от другого с сохранением всех свойств и методов класса-предка);
- • инкапсуляция — свойство сокрытия реализации класса;
- • абстракция — описание взаимодействия исключительно в терминах сообщений/событий в ПрО;
- • полиморфизм — возможность подмены в сценарии взаимодействия объектов одного объекта другим объектом со сходной структурой.
Многие современные языки специально созданы для программирования на классах, например Smalltalk, C++, Java, Python, РНР, Object Pascal (Delphi), VB.NET, Xbase++ и др. Однако следует отметить, что можно применять приемы ООП и для не объектно ориентированного языка и, наоборот, применение объектно ориентированного языка еще не означает, что код автоматически становится объектно ориентированным. Парадигма ООП на классах активно используется при проектировании сложных систем в языке UML[1].
- [1] См.: Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя.
