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

Для обозначения пользовательских расширений встроенных типов дан­ных, доступных из языка, мы будем использовать термин абстрактные типы данных (АТД). Они составлены из множества значений и коллекции операций, которые могут работать с этими значениями. Например, С не имеет чисел комплексного типа, а C++ позволяет добавить такой тип и объединяет ею с существующими типами данных.

Объекты - это переменные класса. ООП позволяет легко создавать и использовать АТД. Для удобства создания нового ти'па из уже существующих типов, определенных пользователем ООП использует механизм нacледoвания.

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

Рассмотрим класс объектов, называемых фигурами. Если мы хотим рисо­вать фигуры на экране, то мы должны знать, где находится центр фигуры и как ее рисовать. Некоторые фигуры, такие как многоугольники, рисовать от­носительно несложно, однако основная процедура рисования фигуры может быть и очень дорогостоящей, требующей запоминания большого числа харак­терных граничных точек. Избежать этого для случая многоугольника несо­мненно полезно. Если объект характерной фигуры лучше знает, как себя нарисовать, то программисту, использующему такие фигуры, необходимо лишь передать объекту сообщение “рисовать” (draw).

Новая конструкпия C++ - класс - обеспечивает механизм инкапсуляции для реализации АТД. Инкапсуляция включает как детали внутренней реали­зации специфического типа, так и доступные извне операции и функции, которые могут оперировать объектами этого типа. Детали реализации могут делать недоступным для пользователя код, который использует тип. Например, стек может быть реализован как массив фиксированной длины, при этом общедоступные операции будут включать выталкивание (push) и вталкивание (pop). Изменение внутренней реализации в связанном списке не будет влиять на то, как будут извне использоваться push и pop. Реализация стека в данном случае скрыта от его пользователей.

Термин ООП включает в себя следующие концепции:

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