Для выделения памяти под объекты используются процедура и функция new.
Например, если определены указатели:
type
pmonstr = *monstr:
pdaemon = ^daemon; var pm : pmonstr; pd : pdaemon;
можно создать объекты с помощью вызовов:
new(pm); { или pm := new(pmonstr); } new(pd); { или pd := new(pdaemon); }
Обратите внимание, что при использовании new в форме процедуры параметром является указатель, а в функцию передается его тип. Так как после выделения памяти объект обычно инициализируют, в Паскале для удобства определены расширенные формы new с двумя параметрами. На месте второго параметра задается вызов конструктора объекта:
new(pm, initd, 1, 1, 1);
{ или
pm := new(pmonstr, initCl. 1, 1, 1));
} '
new(pd, initd, 1, 1, 1, 1):
{или
pd := new(pdaemon. initd, 1, 1, 1, D);
}
Для освобождения памяти, занятой объектом, применяется процедура Dispose:
Dispose(pm); При выполнении этой процедуры освобождается количество байтов, равное размеру объекта, соответствующего типу указателя. Следовательно, если на самом деле в указателе хранится ссылка на объект производного класса, который, как известно, может быть больше своего предка, часть памяти не будет помечена как свободная, но доступ к ней будет невозможен, то есть появится мусор. Второй случай появления мусора возникает при применении процедуры Dispose к объекту, поля которого являются указателями.
Для корректного освобождения памяти из-под полиморфных объектов следует использовать вместе с процедурой Dispose специальный метод — деструктор. Ему рекомендуется давать имя done, например:
destructor monstr.done:
begin
end:
Для правильного освобождения памяти деструктор записывается вторым параметром процедуры Dispose:
Dispose(pm, done);
Это верно только для виртуальных методов.
Для простых объектов деструктор может быть пустым, а для объектов, содержащих динамические поля, в нем записываются операторы освобождения памяти для этих полей. В деструкторе можно описывать любые действия, необходимые для конкретного объекта, например закрытие файлов. Исполняемый код деструктора никогда не бывает пустым, потому что компилятор по служебному слову destructor вставляет в конец тела метода операторы получения размера объекта из VMT. Деструктор передает этот размер процедуре Dispose, и она освобождает количество памяти, соответствующее фактическому типу объекта. (Вызов деструктора вне процедуры Dispose память из-под объекта не освобождает)
Деструкторы рекомендуется делать виртуальными, чтобы при вызове всегда выполнялся деструктор, соответствующий типу объекта. Деструкторы обязательно использовать только для динамических полиморфных объектов, однако можно их применять и для статических объектов. В объекте можно определить несколько деструкторов (естественно, в этом случае они должны иметь разные имена).
Ход работы:
Задание 1. Наберите и проанализируйте программу. Определите в данной программе все динамические объекты и методы применяемые к этим объектам. Объясните результаты выполнения программы.
program polivir;
uses Crt;
const
LENLIST=10; { длина списка }
type
TPerson = object
FName: string[30]; { имя }
FAddress: string[40]; { адрес }
constructor init(Name,Address:string);{ конструктор объекта }
