Словарь терминов

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

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

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