nicht initialisierte Variable erzeugt keine Warnung/Hinweis

[Neutral General]

Delphi-Quellcode:

procedure TForm2.FormCreate(Sender: TObject);
var
   sl: TStringList;
begin
   sl.Text := '';
   sl.Free;
end;

Das wirft eine Warnung. Ich schätze der Compiler denkt, dass sl ggf. in FreeAndNil initialisiert wird (wegen dem var Parameter).
Ist natürlich trotzdem falsch (in dem Fall) weil ja schon vor der potenziellen Initialisierung in FreeAndNil auf sl zugegriffen wird.

[Incocnito]

TObject.ClassName ist eine class function ... da macht es ja sogar noch Sinn,
dass er nicht extra meckert, wenn darauf ohne Objekt zugegriffen wird,
da bei einer class function ja eh nicht auf das Objekt zugegriffen werden kann.

Warum das andere keine Warnung wirft, erschließt sich mir auch gerade nicht.

MfG Incocnito

[Der schöne Günther]

ClassName ist aber kein Makro, sondern schon eine richtige Funktion die zur Laufzeit nachschlagen muss welche Klasse das Objekt denn ist. Es ist also nicht ok, keine Warnung zu generieren.

Delphi-Quellcode:

procedure p();
var
   x, y, z: TObject;
begin
   x := TObject.Create();
   y := TInterfacedObject.Create();
   z := nil;

   WriteLn( x.ClassName() );
   WriteLn( y.ClassName() );
   WriteLn( z.ClassName() );
end;

Es gibt echt noch tausend andere Fälle dass der Compiler vor offensichtlichen Fehlern nicht warnt. Embarcadero stolpert ja selbst darüber, TJson.Format(..) beispielsweise hat bis vor ein, zwei Versionen ungültiges Json ausgespuckt weil der Rückgabewert nicht richtig initialisiert wurde und der Compiler davor nicht warnt.

[Incocnito]

Delphi-Quellcode:

class function TObject.ClassName: string;
begin
  Result := UTF8ToString(_PShortStr(PPointer(PByte(Self) + vmtClassName)^)^);
end;

Hast offensichtlich recht! ... Das wiederspricht gerade meiner
Auffassung davon, wie class function gedacht sind ...
Ich hätte behauptet, sowas müsse als "normale" Funktion deklariert werden!

Also wieder zurück in den Grundkurs "wozu class function?"!

Edit: Gerade herausgefunden: "Self" ist bei einer class function die Klasse und nicht die Instanz.
... Weltordnung größtenteils wieder hergestellt!

MfG Incocnito

[AJ_Oldendorf]

Wenn es unter Tokyo noch ging, schließe ich darauf, dass es ein Fehlverhalten in 10.3 ist oder?
Würde ein QC daraus machen oder hat noch jemand eine Idee?

[TiGü]

Zitat von AJ_Oldendorf:

Wenn es unter Tokyo noch ging, schließe ich darauf, dass es ein Fehlverhalten in 10.3 ist oder?
Würde ein QC daraus machen oder hat noch jemand eine Idee?

Vergleiche nochmal dein und meinen Screenshot!
Du nutzt FreeAndNil, was bei einer lokalen Variablen völlig überflüssig ist.
Probiere einfach mal SL.Free und schaue, ob die richtige Warnung kommt.

Wenn nein: Dann ist es eine Regression.

[Incocnito]

Das FreeAndNil sehe ich gar nicht mal als Problem.
Ich könnte ja auch Funktionen nutzen um Variablen zu initialisieren:

Delphi-Quellcode:

Procedure Testa(var test : TStringList);
Begin
  test := TStringList.Create();
  test.Add('Testzeile');
End;

Procedure Testb();
var
  slTemp : TStringList;
Begin
  Testa(slTemp); // alles wunderbar
  ShowMessage(slTemp.Text);
  slTemp.Free();
End;

Das Problem ist eher, dass er bei "sl.Text = '';" direkt in der ersten Zeile,
nicht meckert, obwohl "sl" definitiv nicht initialisiert ist.
Wird das wohl durch "try-except" wegoptimiert?

Und lokale Variablen muss man trotzdem freigeben.
Arrays braucht man nicht mit "SetLength(x, 0);" freigeben,
aber sonst muss alles, was erzeugt wird auch freigegeben werden.
Ahja: Interfaces haben einen Referenzzähler, so dass das noch
wieder anders läuft.
Auch zur Laufzeit erstellte Komponenten muss man nicht unbedingt freigeben,
weil sie ja einem Parent zugeordnet werden und freigegeben werden, wenn
das Parent freigegeben wird.
Mehr Außnahmen fallen mir gerade nicht ein, ansonsten empfehle ich MadExcept
zum Testen auf Speicherlecks.

MfG Incocnito

[jaenicke]

Es wird immer Konstellationen geben, in denen der Compiler nicht warnt oder nicht warnen kann. Von daher finde ich es gut, dass in vielen Fällen gewarnt wird, verlasse mich aber nicht darauf.

Es gibt auch diverse Tools, die zusätzliche Analysen machen:
TMS FixInsight, Pascal Analyzer, CodeHealer, ...

Zitat von Incocnito:

Auch zur Laufzeit erstellte Komponenten muss man nicht unbedingt freigeben,
weil sie ja einem Parent zugeordnet werden und freigegeben werden, wenn
das Parent freigegeben wird.

Owner <> Parent!
Der Owner kümmert sich um die Freigabe, das Setzen des Parents bestimmt wo die Komponente angezeigt wird.