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

Поясним это на примере. Далее показан стандартный способ работы с данными в структурных приложениях.

Листинг 10.1. Работа с записями 

 

 

Чтобы получить доступ к данным, хранящимся в записи MyDog, вы должны передать эту запись процедуре в качестве параметра-переменной. Каждая процедура, которой нужны данные, хранящиеся в записи типа TAnimal, должна иметь параметр, который будет принимать указатель (параметры-переменные действуют как указатели) на фактические данные.

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

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

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

Листинг 10.2. Доступ к записям с помощью указателей

 

 

Ключ к решению обозначенных трех проблем лежит в ООП. и особенно — в инкапсуляции. Чтобы не зависеть от указателей на действительные данные и не проверять достоверность этих данных, можно инкапсулировать (проще говоря, "вложить") запись TAnimal и процедуру Showlnfo в класс TAnimal.

Прежде чем продолжить разговор далее, следует обратить внимание на употребление термина "класс". В ООП классы представляют собой модели объектов, подобно тому, как в геноме человека заложена модель человеческого организма. Объект представляет собой экземпляр класса, или реальный продукт моделирования. Если бы этих моделей не было, природные механизмы не позволили бы нам продолжать свой род. а компилятор Delphi не смог бы создавать экземпляры объектов.

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

 

 

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

 

 

Однако, это всего лишь объявление объекта. Чтобы объект MyDog можно было на самом деле использовать в приложении, мы должны его создать.

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

 

 

Чтобы создать объект MyDog, мы должны вызвать конструктор TAnimal, поскольку переменная MyDog объявлена как TAnimal:

 

 

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

 

 

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

Чтобы уничтожить объект, вы должны вызвать деструктор объекта. Деструктором называется специальный метод Destroy, который используется для освобождения памяти от объекта. Вызывать метод Destroy напрямую не следует ни при каких обстоятельствах. Взамен необходимо вызывать метод Free, поскольку он, прежде чем уничтожать объект, проверяет, существует ли он. Несуществующий объект ссылается на недействительную ячейку памяти, поэтому обращение к такой ячейке приведет к возникновению ошибки.

 

При вызове методов Destroy или Free необходимо ссылаться на объект, а не на его класс:

 

 

На примере кода в листинге 10.3 показано правильное использование объекта.

Листинг 10.3. Использование объекта

 

 

Для полного завершения процесса инкапсуляции мы должны инкапсулировать процедуру Showlnfo. Инкапсуляция процедуры Showlnfo означает, что она будет объявлена как часть класса TAnimal:

 

 

Имейте в виду, что это всего лишь объявление процедуры Showlnfo. Нам еще нужно написать реализацию метода. В Delphiреализация метода должна находиться за пределами блока класса (в отличие от С++, где допускается как встраиваемая, так и внешняя реализация метода).

 

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

 

 

Следовательно, реализация метода Showlnfo будет выглядеть следующим образом:

 

 

Метод Showlnfo не имеет списка параметров, поскольку все необходимые ему данные инкапсулированы в классе. Далее показан пример окончательной реализации метода Showlnfo:

 

 

Поскольку поля и сам метод Showlnfo принадлежат одному и тому же классу, этот метод может обращаться к полям напрямую. В действительности, метод может обращаться к полям посредством невидимого указателя, называемого Self. КомпиляторDelphi неявным образом создает указатель Self для каждого объекта. Этот указатель ссылается на объект, в котором производится вызов метода; это значит, что с помощью указателя Self объект может ссылаться на самого себя (что следует из самого названия указателя: существительное self в английском языке употребляют, когда имеют в виду себя лично — прим. перев.). При желании, вы можете использовать указатель Self в методе Showlnfo для явной ссылки на поля класса TAnimal:

 

 

Популярность ООП в наши дни объясняется тем. что использование объектов в коде позволяет сделать его более ясным и простым для понимания. Поэтому сейчас вызов метода Showlnfo можно понять проще и быстрее, чем вызов процедуры Showl n f о, поскольку мы не должны заботиться об излишней передаче параметров.

 

Листинг 10.4. Полный код класса

 

 

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

Чтобы переместить класс в новый модуль, потребуется предпринять следующие действия:

• Создать новый модуль (с именем Animal).
• Переместить объявление класса в раздел interface (раздел интерфейса) модуля.
• Переместить реализацию (или реализации) метода в раздел implementation (раздел реализации) модуля.

 

В конечном счете модуль Animal. pas должен выглядеть примерно так, как показано в листинге 10.5.

Листинг 10.5. Модуль класса TAnimal

 

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

Например, следующую процедуру можно использовать для изменения свойства Name в объектах типа TAnimal:

procedure SetAnimalName(AAnimal: TAnimal; const AName: string); begin

AAnimal.Name := AName; end;

Вместе с объектами типа TAnimal полиморфизм позволяет передавать объекты типа TBird и TFish процедуре SetAnimalName. поскольку оба класса происходят от общего предка — класса TAnimal.

Листинг 10.6. Полиморфные вызовы

И последнее, на что необходимо обратить внимание в отношении процедуры SetAnimalName, это параметр AAnimal. Он является стандартным параметром, передаваемым по значению. Чтобы изменить свойства объектов, параметры объектов не нужно объявлять как переменные. Если вы объявите параметр объекта как переменную, вы тем самым организуете передачу указателя на указатель. Это приведет только к замедлению работы приложения и к нежелательному усложнению исходного кода.