Warnung W1036 Variable nicht initialisiert bei Verwendung FreeAndNil()

[Ralle1]

Moin zusammen,

ist vermutlich ein alter Hut, bin aber trotzdem gerade drüber gestolpert und wollte mal wissen, was es damit auf sich hat:

Folgende Methode erzeugt berechtigter Weise die Warnung "[DCC Warnung] UnitTest.pas(36): W1036 Variable 'StringList' ist möglicherweise nicht initialisiert worden":

Delphi-Quellcode:

procedure TFormTest.Button1Click(Sender: TObject);
var
  StringList : TStringList;
  i : integer;
begin
  i := 1;
  if i=0 then
    StringList := TStringList.Create;
  StringList.Add('Rumms');
  StringList.Free;
end;

Nun irritiert es mich, dass die Warnung nicht mehr kommt, wenn man FreeAndNil einsetzt:

Delphi-Quellcode:

procedure TFormTest.Button2Click(Sender: TObject);
var
  StringList : TStringList;
  i : integer;
begin
  i := 1;
  if i=0 then
    StringList := TStringList.Create;
  StringList.Add('Rumms');
  FreeAndNil(StringList);
end;

Im Einsatz ist Delphi XE2. Würde ich als Bug einstufen, weiß jemand mehr dazu ?

[DeddyH]

Ich vermute, dass das damit zu tun hat, dass Free eine Methode (von TObject) ist, FreeAndNil hingegen eine reguläre Prozedur, die der Compiler nicht dahingehend prüfen kann.

[baumina]

Interessanterweise kann das FreeAndNil auch an anderer Stelle stehen, ohne dass eine Warnung kommt (Delphi XE).

Delphi-Quellcode:

procedure TFormTest.Button2Click(Sender: TObject);
var
   StringList : TStringList;
   i : integer;
begin
   FreeAndNil(StringList);
   i := 1;
   if i=0 then
     StringList := TStringList.Create;
   StringList.Add('Rumms');
end;

[Ralle1]

@DeddyH
das alleine kann es nicht sein:
Lasse ich im 1. Fall das Free weg, kommt die Warnung trotzdem, weil ich ja schließlich mit StringList.Add auf das Objekt zugreife.
Also FreeAndNil verbirgt auch die Warnung, die man für StringList.Add erwartet hätte.

[DeddyH]

Stimmt, das hab ich übersehen.

[Neutral General]

Ist kein Wunder.
Das Objekt (in dem Fall die Stringlist) wird als var-Parameter an FreeAndNil übergeben.
Und Delphi kann nicht wissen was in FreeAndNil gemacht wird. Es könnte sehr gut sein, dass FreeAndNil das übergebene Objekt erstellt/initialisiert.

[himitsu]

Nunja, eigentlich kann Delphi das wissen.

Bei VAR muß die Variable initialisiert sein, denn Delphi kann ja nicht wissen, ob mit der Variable intern was gemacht wird.

Darum gibt es auch die OUT-Parameter, wo nichts rein geht, aber etwas raus kommt.
Und genau das OUT müsste der Entwickler verwenden, wenn er das von dir genannte Szenario implementieren will.

[DeddyH]

Das alles erklärt aber immer noch nicht #4.

[Neutral General]

Wieso erklärt das #4 nicht?

Das einzige was in meinen Augen falsch ist, ist dass bei:

Delphi-Quellcode:

procedure TFormTest.Button2Click(Sender: TObject);
var
  StringList : TStringList;
  i : integer;
begin
  i := 1;
  if i=0 then
    StringList := TStringList.Create;
  StringList.Add('Rumms');
  FreeAndNil(StringList);
end;

keine Warnung kommt. Wenn das FreeAndNil vor dem Add stehen würde und keine Warnung käme dann kann ich das wie oben schon gesagt nachvollziehen. Aber so müsste Delphi erkennen dass es beim .Add möglicherweise knallen kann.

@himitsu: Bei var MUSS gar nichts Technisch können var und out gleichbedeutend benutzt werden meiner Erfahrung nach. Und weil es MÖGLICH ist als var-Parameter ein nil/uninitialisiertes Objekt zu übergeben und ein inititalisiertes zurückzubekommen ist die nicht vorhandene Warnung gerechtfertigt.

[DeddyH]

Aber dass die Warnung beim Add unterbleibt ist doch eben das Merkwürdige.