А. Григорьев - О чём не пишут в книгах по Delphi

procedure TRightCombo.WMDestroy(var Msg: TMessage);

var

I: integer;

FinalDestruction: Boolean;

P: TControl;

begin

FinalDestruction := False;

P := Self;

while Assigned(P) do

begin

if csDestroying in F.ComponentState then

begin

FinalDestruction := True;

Break;

end;

P := P.Parent;

end;

if FinalDestruction then

for I := 0 to Items.Count - 1 do

Dispose(PDateTime(Items.Objects[I]));

inherited;

end;

Такой компонент корректно освобождает память при его удалении, но не освобождает ее тогда, когда окно создается заново.

Есть еще одна очень распространенная причина получения ошибки "Control has no parent window" при разработке собственных компонентов — попытка обращения к свойствам, требующим наличия окна, до назначения свойства Parent. Например, такая ошибка появилась бы, если бы мы в наших наследниках TComboBoxпопытались при создании добавить элементы, вызвав в конструкторе метод AddItem. Свойство Items.Objectsв случае TComboBoxработает через оконные сообщения CB_GETITEMDATAи CB_SETITEMDATA, при попытке отправить которые будет использовано свойство Handle. Это также приведет к попытке создания окна, которая завершится исключением из-за отсутствия родителя. Другими словами, ошибку мы получим не при удалении компонента, а при его создании. Бороться с этой проблемой можно, выполняя начальную инициализацию тогда, когда родитель уже назначен, например, в перекрытом методе SetParentпосле того, как отработает унаследованный SetParent. Необходимо только помнить, что SetParentможет быть вызван не только при создании компонента и при необходимости позаботиться о том, чтобы инициализация выполнялась только при первом вызове SetParentс аргументом, отличным от nil.

Чтобы убедиться, насколько некорректно реализовано удаление компонентов в VCL, рассмотрим еще один пример (на компакт-диске он называется FrameDel). В этом примере на форму помещается фрейм с одним компонентом типа TComboBox. Код фрейма показан в листинге 3.66.

type

TFrame1 = class(TFrame)

ComboBox1: TComboBox;

private

{ Private declarations }

public

destructor Destroy; override;

procedure AddComboItem;

end;

destructor TFrame1.Destroy;

var

I: Integer;

begin

for I := 0 to ComboBox1.Items.Count - 1 do

if Assigned(ComboBox1.Items.Objects[I]) then

Dispose(PDateTime(ComboBox1.Items.Objects[I]));

inherited;

end;

procedure TFrame1.AddComboItem;

var

P: PDateTime;

begin

New(P);

P^:= Now;

ComboBox1.Items.AddObject('Item ' + TimeToStr(P^), TObject(P));

end;

На форму в обработчике события OnShowпомещается такой фрейм и вызывается его метод AddComboItem, чтобы в компоненте ComboBox1появился один элемент в списке. Если закрыть такую форму, никаких исключений не возникает, все выглядит нормально. Но при трассировке можно заметить, что цикл внутри деструктора не выполняется ни разу, потому что ComboBox1.Items.Countвозвращает 0. Это происходит потому, что на момент вызова этого деструктора и окно фрейма, и окно ComboBox1уже не существуют, в чем легко убедиться, проверив в деструкторе значение поля ComboBox1.FHandle(до обращения к свойству ComboBox1.Items.Countоно равно нулю). А при обращении к этому свойству происходит попытка создать окно. Так как свойство TComboBox1.Parent в этот момент еще не обнулено, предпринимается попытка создать заново и фрейм тоже, и эта попытка становится успешной. К этому моменту свойство Parentфрейма уже обнулено, но метод TCustomFrame.CreateParamsреализован таким образом, что родителем всех фреймов, для которых родитель не задан явно, становится невидимое окно приложения, которое на этот момент еще не разрушено. Таким образом, окно фрейма и окно компонента TComboBox1успешно создаются заново, и им можно посылать сообщения.

Ранее мы говорили, что код компонента TComboBoxобеспечивает перенос элементов при удалении и последующем создании окна. Но в данном случае этот код даже не догадывается, что после удаления окно может быть создано ещё раз, и потому механизм переноса не задействуется. Вновь созданное окно компонента ComboBox1не получает в свой список ни одного элемента, что и приводит к тому, что свойство Items.Countравно нулю. Но динамическая память, выделенная в методе AddComboItemостается не освобождённой. В результате имеем утечку памяти вместо исключения. Кроме того, имеем утечку и других ресурсов, т.к. код, ответственный за удаление окна фрейма, на этот момент уже отработал и не будет запущен еще раз, чтобы удалить вновь созданное окно.

Решением проблемы может стать уже опробованный способ: нужно обрабатывать сообщение WM_DESTROY, посылаемое фрейму, выполнять в нем все те же проверки, что и в листинге 3.65, и при необходимости освобождать память, которую нельзя освободить в деструкторе.

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

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

Перед программистом нередко возникает задача вычисления арифметических или иных выражений, не известных на этапе компиляции программы. Готовых средств для этого в Delphi нет. В Интернете можно найти компоненты и законченные примеры вычисления выражений, но нередко требуется создать что-то свое. В этой главе мы рассмотрим способы программного разбора и вычисления арифметических выражений. Кроме самих примеров будут изложены основы теории синтаксического анализа, с помощью которой эти примеры написаны. Эти сведения не только помогут лучше понять приведенные примеры, но и позволят легко написать код для синтаксического разбора любых выражений, которые подчиняются некоторому формальному описанию синтаксиса.