Weak Referenzen überlegungen...

[Sir Rufo]

Also der Code

Delphi-Quellcode:

 MyForm := TMyForm.Create;
 try 
   MyForm.Showmodal;
 finally
   MyForm.Free;
 end;

funktioniert unter ARC genauso wie unter Nicht-ARC. Der einzige Unterschied ist, dass die Form-Instanz unter ARC noch da ist. Macht aber erstmal nix, denn geschlossen wurde die, denn ShowModal kehrt erst dann zurück, wenn die Form geschlossen wurde.

(Ich lasse jetzt mal ausser Acht, dass ARC nur auf den Mobile-Plattformen läuft und dort dieser Code gar nicht funktioniert, weil es dort kein blockierendes ShowModal gibt.)

Nehmen wir also mal an, der Code ist so vorhanden:

Delphi-Quellcode:

procedure Foo;
var
  MyForm : TMyForm;
begin
 MyForm := TMyForm.Create;
 try 
   MyForm.Showmodal;
 finally
   MyForm.Free;
 end;
end;

dann ist das Verhalten exakt gleich. Nach dem Verlassen der Prozedur/Methode ist die erzeugte Form-Instanz aus dem Speicher verschwunden.

Delphi-Quellcode:

TFoo = class
private
  MyForm : TMyForm;
public
  procedure ShowForm;
end;

procedure TFoo.ShowForm;
begin
 MyForm := TMyForm.Create;
 try 
   MyForm.Showmodal;
 finally
   MyForm.Free;
 end;
end;

Und jetzt? Wiederum eine identische Aussenwirkung. Eine neue Form-Instanz wird erzeugt, angezeigt und nach dem Schliessen wird die Methode verlassen. Einziger Unterschied auf ARC bleibt die Instanz bis zum erneuten Aufruf der Methode noch im Speicher.

Was kann man dagegen unternehmen?

Delphi-Quellcode:

procedure TFoo.ShowForm;
begin
 MyForm := TMyForm.Create;
 try 
   MyForm.Showmodal;
 finally
   FreeAndNil( MyForm.Free );
 end;
end;

Und nun die Preisfrage: Warum ist die Verwendung von FreeAndNil selbst unter Nicht-ARC ratsam?

Logisch: Ich zerstöre die Instanz aber hinterlasse einen ungültigen Referenz-Zeiger in MyForm . Wer das tatsächlich so gemacht hat, hat schon immer eine Gratwanderung betrieben.

Bei lokalen Variablen ist das wie gezeigt kein Problem, aber bei nicht lokalen Variablen war der Code schon immer grenzwertig. Auch wenn er sich nicht negativ ausgewirkt hat heisst es nicht, dass es korrekt ist.

Fazit: Bei einer korrekten und robusten Programmierung ist dieser gezeigte Fall absolut kein Problem