ДИНАМИЧЕСКИЕ ОБЪЕКТЫ
Объектные переменные вo многом подобны обычным переменным Турбо
Паскаля, в частности, их можно размещать в динамической памяти. Турбо
Паскаль содержит средства, облегчающие размещение объектных переменных в
куче и их удаление из нее, например: var
Pline: ^Tline;
.......
New(Pline, Init):
.......
В этом примере размещение объектной переменной (на нее указывает
PLINE) в куче сопровождается одновременным обращением к конструктору
TLINE.INIT для инициализации объекта и связывания виртуальных методов с
вновь созданной переменной: в процедуре NEW допускается в качестве второго
параметра указывать обращение к конструктору.
Более того, процедуру NEW можно вызывать и как функцию - в этом случае
она возвращает значение типа POINTER, указывающее на динамически
распределенный объект:
PLine := New(TLine);
или
PLine := New(TLine, Init):
Обратите внимание: первым параметром процедуре New передается
указатель на динамически распределяемый объект, в то время как первым
параметром функции NEW - тип распределяемого объекта. И в том, и в другом
случае в качестве втором параметра обращения допускается использовать вызов
конструктора, однако имя конструктора не может быть составным -ведь в
момент обращения динамический объект еще не создан. Например, оператор
New(Pline, PLine^.Init);
вызовет сообщение об ошибке.
При обращении к NEW с одновременным вызовом конструктора динамическая
память резервируемая с помощью специального программного кода, входящего в
любой конструктор и вызываемого до начала работы исполняемой части
конструктора (до begin). При этом динамическая память может оказаться
исчерпанной. В этом случае стандартная функция обработки ошибок
администратора кучи выдает значение 0, что вызывает аварийное завершение
программы с кодом ошибки 203. Если используется нестандартная функция
обработки ошибок и эта функция возвращает 1, конструктор пропускает
операторы после begin и возвращает NIL. Таким образом гарантируется, что
исполняемые операторы конструктора будут работать только при условии
нормального распределения динамической памяти. Однако в теле конструктора
может быть создан новый динамический объект, в нем - свой и т.д. Турбо
Паскаль
допускает произвольную глубину вложенности конструкторов. Если на каком-то
уровне обнаружится нехватка динамической памяти, необходимо ликвидировать
всю цепочку успешно распределенных объектов. Чтобы эта операция стала
возможной, в Турбо Паскаль введена стандартная процедура без параметров
FAIL, которая может вызываться только из конструктора и которая освобождает
уже выделенную конструктором память, завершает его работу и возвращает NIL.
Для удаления динамического объекта из кучи используется особый метод -
деструктор, описываемый с помощью зарезервированного слова DESTRUCTOR. В
этом методе можно предусмотреть все действия, связанные с ликвидацией
динамического объекта (т.е. переменной объектного типа, размещенной в
динамической памяти), например, осуществить нужную коррекцию списка
динамических объектов. Обращение к деструктору указывается вторым
параметром при вызове процедуры DISPOSE, например:
.......... type
TLine = object(Point)
......
Constructor Init;
Destructor Done; end;
.......
New(PLine, Init); {Размещение динамического объекта}
.......
Dispose(PLine, Done); {Удаление динамического объекта}
.......
При необходимости деструктор, как и любой другой метод объекта
(кроме конструктора!), можно объявить виртуальным.