interface und variable des implementierenden objekts

[Blup]

Ein untypisierter Parameter für die Rückgabe eines Interface scheint mir sehr verdächtig.
Wird hier eventuell die Referenzzählung ausgetrickst?
Warum nicht so:

Delphi-Quellcode:

procedure TCustomDataModule.GetLink(out Link: IDataChangeLink);
begin
  Link := FLink;
end;

[himitsu]

Zitat von Blup:

Warum nicht so:

Delphi-Quellcode:

procedure TCustomDataModule.GetLink(out Link: IDataChangeLink);
begin
  Link := FLink;
end;

Untypisch nicht, nahezu alle WMI-Implementationen machen sowas, für die Rückgabe der Werte.

Und das Ergebnis des Ganzen?
Speicherlecks.

Denn ist vorher schon was in dem Link-Parameter drin, dann wird es ignoriert und nicht freigegeben.
Für eine automatische Referenzzählung ist das OUT hier also der nahezu sichere Tot.

[jaenicke]

Zitat von himitsu:

Und das Ergebnis des Ganzen?
Speicherlecks.

Denn ist vorher schon was in dem Link-Parameter drin, dann wird es ignoriert und nicht freigegeben.
Für eine automatische Referenzzählung ist das OUT hier also der nahezu sichere Tot.

Bis zu welcher Delphiversion bestand denn dieser Fehler seinerzeit? (bei XE und XE2 jedenfalls nicht mehr)

// EDIT:
Nicht einmal bei Delphi 2007 passiert das bei mir.
// EDIT2:
Und auch bei Delphi 3 nicht.

Das heißt so allgemein lässt sich das auf jeden Fall nicht sagen. Ich bekomme das nicht hin, dass das Problem auftritt.

[himitsu]

OUT-Parameter sind Ausgabeparameter und da werden Eingangswerte nicht beachtet.
Dieses Problem sollte also immernoch bestehen.

Wenn nicht und Emba hat dieses Verhalten geändert, dann ist das ein Bug und Emba hat das gefälligst wieder auszubauen.
"Böse" ist eigentlich, daß der Eingangswert des Ausgangsparameters beachtet wird, was eigentlich nicht gemacht werden dürfte.

const/in = in ... ingibt es in Delphi nicht, aber es entspricht quasi dem Parameter ohne eine Angabe von var/out/const
var = in&out
out = out

Gut, Delphi scheint das Interface die Variable, vor Übergabe an den OUT-Parameter, freizugeben.
Letzteres SetOutI müßte in etwa das tun, was diese WMI-Schnittstelle macht ... also den Eingangsparameter zu ignorieren.
Was sagt denn ein älteres Delphi zu dem Code?

Delphi-Quellcode:

type
  TTestIntf = class(TInterfacedObject, IInterface)
    FStrings: TStrings;
    constructor Create(SL: TStrings);
    destructor Destroy; override;
  end;

constructor TTestIntf.Create(SL: TStrings);
begin
  inherited Create;
  FStrings := SL;
  FStrings.Add('TTestIntf.Create ' + IntToHex(Integer(Self), 8));
end;

destructor TTestIntf.Destroy;
begin
  FStrings.Add('TTestIntf.Destroy ' + IntToHex(Integer(Self), 8));
  inherited;
end;

procedure TForm6.SetVar(var Intf: IInterface);
begin
  Memo1.Lines.Add('SetVar begin');
  Intf := TTestIntf.Create(Memo1.Lines);
  Memo1.Lines.Add('SetVar end');
end;

procedure TForm6.SetOut(out Intf: IInterface);
begin
  Memo1.Lines.Add('SetOut begin');
  IInterface(Intf) := TTestIntf.Create(Memo1.Lines);
  Memo1.Lines.Add('SetOut end');
end;

procedure TForm6.SetVarD(var Intf);
begin
  Memo1.Lines.Add('SetVarD begin');
  IInterface(Intf) := TTestIntf.Create(Memo1.Lines);
  Memo1.Lines.Add('SetVarD end');
end;

procedure TForm6.SetOutD(out Intf);
begin
  Memo1.Lines.Add('SetOutD begin');
  IInterface(Intf) := TTestIntf.Create(Memo1.Lines);
  Memo1.Lines.Add('SetOutD end');
end;

procedure TForm6.SetOutI(out Intf);
var
  I: IInterface;
begin
  Memo1.Lines.Add('SetOutI begin');
  I := TTestIntf.Create(Memo1.Lines);
  I._AddRef;
  Pointer(Intf) := Pointer(I);
  Memo1.Lines.Add('SetOutI end');
end;

var Intf: IInterface;

Memo1.Lines.Add('');
Memo1.Lines.Add('create test-interface');
Intf := TTestIntf.Create(Memo1.Lines);
Memo1.Lines.Add('call SetVar');
SetVar(Intf);
Memo1.Lines.Add('set nil');
Intf := nil;

Memo1.Lines.Add('');
Memo1.Lines.Add('create test-interface');
Intf := TTestIntf.Create(Memo1.Lines);
Memo1.Lines.Add('call SetOut');
SetOut(Intf);
Memo1.Lines.Add('set nil');
Intf := nil;

Memo1.Lines.Add('');
Memo1.Lines.Add('create test-interface');
Intf := TTestIntf.Create(Memo1.Lines);
Memo1.Lines.Add('call SetVarD');
SetVarD(Intf);
Memo1.Lines.Add('set nil');
Intf := nil;

Memo1.Lines.Add('');
Memo1.Lines.Add('create test-interface');
Intf := TTestIntf.Create(Memo1.Lines);
Memo1.Lines.Add('call SetOutD');
SetOutD(Intf);
Memo1.Lines.Add('set nil');
Intf := nil;

Memo1.Lines.Add('');
Memo1.Lines.Add('create test-interface');
Intf := TTestIntf.Create(Memo1.Lines);
Memo1.Lines.Add('call SetOutI');
SetOutI(Intf);
Memo1.Lines.Add('set nil');
Intf := nil;

[jaenicke]

Zitat von himitsu:

Gut, Delphi scheint das Interface die Variable, vor Übergabe an den OUT-Parameter, freizugeben.

Ja, so muss es ja sein, es ist ja schließlich ein out-Parameter, das heißt der Aufruf entspricht einer Neuzuweisung. Also muss das alte Objekt natürlich vorher freigegeben werden.

Zitat von himitsu:

Was sagt denn ein älteres Delphi zu dem Code?

Delphi 3 sagt:

Code:

create test-interface
TTestIntf.Create 008A3738
call SetVar
SetVar begin
TTestIntf.Create 008A3750
TTestIntf.Destroy 008A3738
SetVar end
set nil
TTestIntf.Destroy 008A3750

create test-interface
TTestIntf.Create 008A3738
call SetOut
TTestIntf.Destroy 008A3738
SetOut begin
TTestIntf.Create 008A3738
SetOut end
set nil
TTestIntf.Destroy 008A3738

create test-interface
TTestIntf.Create 008A3738
call SetVarD
SetVarD begin
TTestIntf.Create 008A3750
TTestIntf.Destroy 008A3738
SetVarD end
set nil
TTestIntf.Destroy 008A3750

create test-interface
TTestIntf.Create 008A3738
call SetOutD
TTestIntf.Destroy 008A3738
SetOutD begin
TTestIntf.Create 008A3738
SetOutD end
set nil
TTestIntf.Destroy 008A3738

create test-interface
TTestIntf.Create 008A3738
call SetOutI
TTestIntf.Destroy 008A3738
SetOutI begin
TTestIntf.Create 008A3738
SetOutI end
set nil
TTestIntf.Destroy 008A3738

Ich würde mal sagen alles ok, oder?

[Uwe Raabe]

Zitat von jaenicke:

Zitat von himitsu:

Gut, Delphi scheint das Interface die Variable, vor Übergabe an den OUT-Parameter, freizugeben.

Ja, so muss es ja sein, es ist ja schließlich ein out-Parameter, das heißt der Aufruf entspricht einer Neuzuweisung. Also muss das alte Objekt natürlich vorher freigegeben werden.

Wenn du einen Interface-Parameter als out deklarierst, wird vor dem Aufruf der Methode ein IntfClear gemacht. Damit wird ein eventuell vorher in dem Parameter gespeichertes Interface freigegeben. Das erfolgt im der aufgerufenen Methode übergeordneten Kontext. Damit ist der out-Pramater innerhalb der Methode bereits mit nil vorbelegt, wie es auch für lokale Interface-Variablen gilt.

Ich kann da ebensowenig ein Fehlverhalten des Compilers erkennen.

[snook]

in etwa so hatte ich das auch verstanden & beim debuggen auch gesehen. ich dachte halt, dies ist der sicherste weg die referenzzählung am leben zu halten, selbst wenn man ma ne interfacevariable übergibt die noch belegt ist.

aber hat jetzt jemand von euhc auch mal dieses mysteriöse verhalten das ich anfangs beschrieben hatte bemerkt? oder etwas ähnliches, dass sich im schlimmsten fall nur durch einen neustart des gesamten computers beheben lässt? ich habe damit wirklich ein problem dass ich so nicht lösen kann, insbesondere da dritte mit diesem programm arbeiten sollen und es im moment auch schon tun und es einfach nicht sein kann, dass in manchen momenten (soweit ich das beurteilen kann nicht vorhersehbar) wertezuweisungen einfach verworfen werden...

falls nicht, kennt jemand möglichkeiten, wie man solchen problemen auf den grund gehen kann??? es kann ja durchaus meine eigene dummheit an irgendeiner anderen stelle sein...

[Blup]

Erstell ein Minimalprojekt, bei dem der Fehler auftritt und entferne so lange Teile, bis der Fehler nicht mehr auftritt.
Wenn du nicht weiter kommst, stellst du die Quellen für das Minimalprojekt hier rein.