Уникальность

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

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

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

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

Итак, уникальность (identity) — свойство объекта; то, что отличает его от других объектов (автор не согласен с переводом русского издания [2], поэтому здесь приводится авторский перевод).

Классы

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

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

Формально класс — это шаблон поведения объектов определенного типа с заданными параметрами, определяющими состояние. Все экземп­ляры одного класса (объекты, порожденные от одного класса) имеют один и тот же набор свойств и общее поведение, то есть одинаково реаги­руют на одинаковые сообщения

В соответствии с UML (Unified Modeling Language — унифицирован­ный язык моделирования), класс имеет следующее графическое представ­ление.

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

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

• конструктор (constructor) - выполняется при создании объектов;

• деструктор (destructor) - выполняется при уничтожении объектов.

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