Abweichung von Freepascal zu Delphi bei Interfaces

[Michl]

Servus,

folgender kleiner Test läuft bei Delphi problemlos durch, bei Freepascal gibt es einen SIGSEGV. Wenn man vorher die Interface-Variable auf nil setzt, funktioniert dies auch bei Freepascal. Welches Verhalten ist das richtigere? Ich sehe Argumente für beide Features:

Code: Alles auswählen

program Project1;
 
{$APPTYPE CONSOLE}
 
{$R *.res}
 
uses
  SysUtils, Classes;
 
type
  ITestInterface = interface
    ['{DC209DB2-6E2D-4680-93D6-5D9B3983C0D3}']
    function OnlyDummy: integer;
  end;
 
  TFoo = class
  public
    Intf: ITestInterface;
  end;
 
  { TBar }
 
  TBar = class(TComponent, ITestInterface)
  public
    function OnlyDummy: integer;
  end;
 
{ TBar }
 
function TBar.OnlyDummy: integer;
begin
  Result := -1;
end;
 
var
  Foo: TFoo;
  Bar: TBar;
 
begin
//  ReportMemoryLeaksOnShutdown := true;
  Foo := TFoo.Create;
  Bar := TBar.Create(nil);
  Foo.Intf := Bar;
//  Foo.Intf := nil;
  Bar.Free;
  Foo.Free;
end.

PS.: Kann mir jemand erklären, warum man die interfaced Klasse extra aufräumen muss? Dies ist bei Delphi und Freepascal gleich. Leite ich nicht von TComponent (welches andere Interfaces implementiert) ab, funktioniert die Referenzzählung und man braucht "Bar" nicht selber frei zu geben.

[theo]

Ich kann den Fehler nicht reproduzieren.

Lazarus 1.9.0 r56988M FPC 3.0.2 x86_64-linux-gtk2

[Michl]

Oh, ich habe vergessen zu erwähnen, daß Heaptrc aktiviert sein muss.

[Socke]

Die Exception ist korrekt.

In Foo.Intf hast du noch eine Referenz auf das Objekt Bar gespeichert.
Im Dekonstruktor werden alle verwalteten Typen (insbesondere Strings und Interfaces) aufgeräumt. Für COM-Interfaces wird die Methode _Release aufgerufen.
Zeigt Foo.Intf auf einen ungültigen Speicherbereich, tritt die SIGSEGV auf.
Die Unit heaptrc kann solche fehler durchaus häufiger auftreten lassen, auch wenn sie selbst nicht die Ursache ist.

Wird vor dem Freigeben von Bar, die Variable Foo.Intf auf nil gesetzt, wird bereits dann die Methode _Release aufgerufen.
Hier wird der Aufruf aber problemlos ausgeführt, da das Objekt noch existiert.

In Delphi könnte hier auch eine Exception auftreten, ob dies der Fall ist, hängt aber davon ab, ob der Speicherbereich, in dem Bar gespeichert ist, bereits an das Betriebssytem zurückgegeben wurde.
Falls der Speicherbereich dem Programm noch zugewiesen ist, könnte auch vollkommen ungewollter Code ausgeführt werden.

[mse]

Ich kann nur darauf verweisen:
http://forum.lazarus.freepascal.org/ind ... #msg270605

[theo]

Was ich nicht ganz verstehe ist, warum ich so ein MemLeak produziere (keine Zugriffsverletzung).

Code: Alles auswählen

  Foo := TFoo.Create;
  Foo.Intf := TBar.Create(nil);
  Foo.Free;   

EDIT: So wird der Speicher korrekt freigegeben.

Code: Alles auswählen

 
  { TBar }
 
  TBar = class(TInterfacedObject, ITestInterface)
  public
    function OnlyDummy: integer;
  end;   

[Socke]

TComponent leitet die Aufrufe von _AddRef und _Release an ein VCLComObject weiter; das wird vermutlich nur für COM-Controls verwendet.