interface und variable des implementierenden objekts

[snook]

der code von Get/Set -Link:

Delphi-Quellcode:

procedure TCustomDataModule.SetLink(const ALink: IInterface);
begin
  if Assigned(ALink) then
  begin
    if not supports(ALink, IDataChangeLink) then
      raise Exception.Create('SetLink, Invalid Interface-Type');
    if Assigned(FLink) then
      RemoveLink;
    ALink.QueryInterface(IDataChangeLink, FLink);
    FLink.InstallLink(self);
  end;
end;

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

Edit: FLink ist vom Type IDataChangeLink

[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.