FreeAndNil macht Probleme

[Benmik]

Ich habe hier eine Unit mit einer Klasse, von TObject abgeleitet, nichts Besonderes mit einer Anzahl von Feldern und Prozeduren/Funktionen, die ungefähr 10 Klassen der gleichen Unit beherbergt. Diese Unit hat

Delphi-Quellcode:

procedure Clear;
procedure Free;
constructor Create;

Diese Unit habe ich nun in mein Programm eingebunden. Alles lief ohne Probleme, bis es auf einmal wüste Meldungen von FastMM hagelte, Hunderte von Speicherlecks. Ich habe mir einen Wolf gesucht, aber die Objektinstanz wurde immer ordnungsgemäß freigegeben. Endlich kam ich auf die Idee, einen Haltepunkt bei Free zu setzen.

Und da kam Folgendes raus: Wenn ich Objekt.Free geschrieben hatte, wurde die Prozedure auch durchlaufen. Aber nicht bei FreeAndNil(Objekt) . Als ich alles zu Free geändert hatte, gab FastMM sofort Ruhe.

Ist sowas bekannt? Ich habe meiner Erinnerung nach nichts an den Projektoptionen geändert, und in dem sonstigen Code kommt häufig FreeAndNil vor. Was sagen die Experten?

Vielleicht sollte ich noch sagen, dass mir meine Rio 10.3.3-Installation sowieso etwas merkwürdig vorkommt. Die roten Fehler-Krickel fehlen; Haltepunkte werden manchmal ignoriert, bis ich neu erzeuge; und bei einem Haltepunkt ist der Debugger nicht selten schon deutlich weiter. STRG + # funktioniert laufend nicht (-> Rechtsklick hilft). Vermutlich sagen jetzt alle, öh, neu installieren, aber kann das mit FreeAndNil so einfach sein?

[Bernhard Geyer]

procedure Free; ganz klar. Implementierungsfehler.
Du überschreibst Free ohne anzugeben das du die bestehende Methode überschreiben willst (Weiß jetzt nicht ob Free als virtuel/dynamic definiert).
Auch sollte man nicht Free überschreiben sondern den Destruktor Destroy.

[Benmik]

TObject.Free kann nicht überschrieben werden, da es keine virtuelle Methode ist. Auch füge ich natürlich ein "inherited" an. Das alles erklärt aber nicht, warum meine Methode bei Free aufgerufen wird, bei FreeAndNil aber nicht. FreeAndNil ist doch überhaupt nichts anderes als ein Free mit nachfolgendem  := nil .
Und warum Destroy ??

[himitsu]

FreeAndNil kennt "Dein" Free nicht!
Wie soll es das dann aufrufen?

Nunachmal: Überschreibe Destroy, welches vom Free und somit auch vom FreeAndNil aufgerufen wird.

Genauso wie man beim TComponent alle Initialisierungen ins überschriebene Create(Owner) reinmachen muß, denn nur Dieses kennt die VCL/FMX und nur das kann beim Laden der Form aufgerufen werden.
"Zusätzliche" Create, mit weiteren Parametern für ein manuelles Erstellen, sind dort OK, aber beim Free/Destroy gibt es da keine Kompromisse/Alternativen.

[Benmik]

OK, folgende Änderungen:

Delphi-Quellcode:

      procedure Clear;
      destructor Destroy; override;
      constructor Create;

Delphi-Quellcode:

destructor TEXIF.Destroy;
begin
  FreeAndNil(FDStream);
  inherited;
end;

Jetzt meldet sich FastMM mit der schon bekannten langen Liste von Lecks, obwohl es kein FreeAndNil gibt. Mit dem einfachen bisherigen Free sagt FastMM nichts.

EDIT: Bitte um Verzeihung, funktioniert doch. In Destroy hätte viel mehr stehen müssen als nur der FDStream.
Ich danke euch beiden. Verstehe es aber trotzdem nicht ganz: FreeAndNil setzt die Referenz auf nil und ruft dann Free auf. Wieso muss der Compiler dann mein (?) FreeAndNil kennen?

Und nebenbei: Wie machst du den durchgestrichenen Text, Himitsu?

[jfheins]

Zitat von Benmik:

Ich danke euch beiden. Verstehe es aber trotzdem nicht ganz: FreeAndNil setzt die Referenz auf nil und ruft dann Free auf. Wieso muss der Compiler dann mein (?) FreeAndNil kennen?

Du hast ja Free nicht überschrieben (weil unmöglich - überschreiben geht ja nur bei virtuellen Methoden)

Wenn du dir FreeAndNil anguckst, steht da:

Delphi-Quellcode:

procedure FreeAndNil(var Obj);
var
  Temp: TObject;
begin
  Temp := TObject(Obj);
  Pointer(Obj) := nil;
  Temp.Free;
end;

D.h. .Free wird auf eine Variable von Typ TObject aufgerufen. Und das ist OK, denn TObject is ja hinreichend.

Nur ohne das override wird hier auch immer TObject.Free aufgerufen. Nur bei virtuellen Methoden wird hier nachgeuckt, ob die Methode überschrieben wurde.