Динамические переменные объектного типа
Стандартные процедуры New и Dispose допускают в качестве второго параметра вызов конструктора или деструктора для выделе- ния для памяти переменной объектного типа или ее освобождения. При этом используется следующий синтаксис:
New(P, Construct) и Dispose(P, Destruct)
где P - это указатель на переменную, ссылающийся на объектный тип, а Construct и Destruct - это вызовы конструкторов и деструк- торов объектного типа. Для New эффект расширенного синтаксиса тот же, что и от выполнения операторов:
New(P); P^.Construct;
а для Dispose это эквивалентно операторам:
P^.Dispose; Dispose(P);
Без расширенного синтаксиса вам пришлось бы часто вслед за вызовом конструктора вызывать New, или после вызова деструктора вызывать Dispose. Расширенный синтаксис улучшает читаемость ис- ходного кода и генерирует более короткий и эффективный код.
Приведенный пример иллюстрирует использование расширенного синтаксиса New и Dispose:
var SP: PStrField ZP: PZipField begin New(SP, Init(1, 1, 25, 'Имя')); New(ZP, Init(1, 2, 5, 'Почтовый индекс'), 0, 99999)); SP^.Edit; ZP^.Edit; . . . Dispose(ZP, Done); Dispose(SP, Done); end;
Вы можете также использовать New как функцию, распределяющую и возвращающую динамическую переменную заданного размера:
New(T) или New(T, Construct)
В первой форме T может быть любым ссылочным типом. Во второй форме T должен указывать на объектный тип, а Construct должен быть вызовом конструктора этого объекта. В обоих случаях типом результата функции будет T.
Приведем пример:
var F1, F2: PField begin F1 := New(PStrField, Init(1, 1, 25, 'Имя')); F1 := New(PZipField, Init(1, 2, 5, 'Почтовый индекс', 0,
99999)); . . . WriteLn(F1^.GetStr); { вызывает TStrField.GetStr } WriteLn(F2^.GetStr); { вызывает TZipField.GetStr } . . . Dispose(F2, Done); { вызывает TField.Done } Dispose(F1, Done); { вызывает TStrField.Done } end;
Заметим, что хотя F1 и F2 имеют тип PField, правила совмес- тимости по присваиванию расширенного указателя позволяют присваи- вать F1 и F2 указателю на любой потомок TField. Поскольку GetStr и Done являются виртуальными методами, механизм диспетчеризации виртуального метода корректно вызывает, соответственно, TStrString.GetStr, TZipField.GetStr, TField.Done и TStrField.Done.
