(пример реализации деструктора приведен в разд. 13.6.3). По сути, деструктор — это метод, противоположный конструктору. Обычно, если конструктор рекомендуется называть Init, то деструктору дается имя Done («завершено»). Для одного типа объекта могут быть определены несколько деструкторов. Деструкторы могут наследоваться. Они могут быть статическими или виртуальными, но лучше использовать виртуальные, так как это гарантирует, что будет выполнен именно тот деструктор, который соответствует данному типу объекта. Объект может иметь деструктор даже в том случае, когда все его методы — статические. Смысл и необходимость введения деструктора заключаются в том, что его можно использовать в расширенной процедуре Dispose так же, как используется конструктор в New.
Расширенный синтаксис процедуры Dispose позволяет в качестве второго параметра передавать имя деструктора данного типа объекта:
Dispose( ИмяСсылкиНаОбъект, ИмяДеструктора );
Действует этот вызов следующим образом. Сначала выполняется вызов деструктора (описанные в нем завершающие действия) как обычного метода. Далее, если объект содержит виртуальные методы, то деструктор осуществляет поиск размера объекта в таблице виртуальных методов и передает размер процедуре Dispose, которая освобождает правильное количество байтов памяти. Поэтому для динамических объектов всегда имеет смысл объявлять виртуальный деструктор, хотя бы и пустой:
DESTRUCTOR ИмяТипаОбъекта.Done; VIRTUAL;
BEGIN END;
который нужен для нормальной работы процедуры Dispose.
- 289 -
13.6.3. Обработка ошибок при работе с динамическими объектами
Если при попытке разместить динамический экземпляр типа «объект» свободной памяти окажется недостаточно, то вызов расширенной процедуры New сгенерирует код ошибки выполнения 203. Но если переписать системную функцию HeapFunc (см. разд. 11.5.6) таким образом, чтобы она возвращала значение 1 вместо 0, то в размещаемую ссылочную переменную в случае ошибки вернется значение nil и программа не прервется. Если при запросе памяти для объекта процедурой
New( ИмяСсылкиНаОбъект, ИмяКонструктора )
функция HeapFunc выдаст значение 1, то конструктор не будет выполняться, а в ИмяСсылкиНаОбъект запишется nil.
Когда начинает выполняться тело конструктора, экземпляр объекта уже будет гарантированно и успешно распределен. Однако сам конструктор может выполнять действия по распределению динамических полей данных экземпляра, и при распределении таких полей может произойти сбой, если не хватит памяти. Будет разумно, если в подобной ситуации конструктор отменит все уже проделанные распределения и в завершение освободит экземпляр типа объекта так, чтобы в результате ссылка получила бы значение nil. Для этого введена стандартная процедура Fail, не имеющая параметров. Она может быть вызвана только из конструктора. Вызов этой процедуры освобождает динамический экземпляр, который был размещен в памяти до входа в конструктор, и возвращает в ссылке значение nil. Получение nil обозначает неудачу распределения памяти.