Деструкторы Delphi: выполнение кода после унаследованного вызова?

Question

Действительно ли в Delphi нормально выполнять код после унаследованного вызова в деструкторе?

Вы можете найти это в System.Classes:

destructor TThread.Destroy; 
begin 
[...] 
    inherited Destroy; 
    FFatalException.Free; 
end; 

Я думаю, что доступ к члену экземпляра после вызова унаследованного Уничтожьте методом является плохой идеей.

Answer 1

Совершенно безопасно выполнять код после вызов унаследованного деструктора, если этот код не полагается на то, что было уничтожено этим унаследованным деструктором. Точно так же безопасно выполнить код перед вызовом унаследованного конструктора, если код не полагается на что-либо, созданное в этом унаследованном конструкторе.

Но это, конечно, правда, что это не хороший стиль. В некоторых случаях есть причины, которые приведут вас к такому коду, но обычно такие причины следует воспринимать как указание на то, что в вашем дизайне что-то не так.

В примере, который вы даете, просто не нужно писать код таким образом. Вызов FFatalException.Free вполне мог произойти до вызова унаследованного деструктора.

Answer 2

экземпляр не удаляется из памяти с помощью самого метода деструктора, но по зову TObject.FreeInstance

TObject.FreeInstance называется, так как деструктор вызывается, после обработки коды деструктора.

BTW: То же самое и с конструктором. Экземпляр создается class function TObject.NewInstance : TObject и называется перед тем называется конструктор (только потому, что он является конструктором)

Из-за этого, вы будете иметь действительный экземпляр внутри целого конструктора или деструктора кода.