Prüfung auf Assigned(MyObject) true obwohl MyObject nicht initialisiert wurde

[freejay]

Hallo zusammen,

vielleicht stehe ich ja nur unglaublich auf dem Schlauch aber müsste in dem Codebeispiel "Assigned(slShow)" nicht false sein?

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';

  try
    if In_A = '' then
      exit;

    slShow := TStringList.Create;
  finally
    if Assigned(slShow) then
      slShow.Free;
  end;
end;

Wenn nein: Wie prüfe ich denn richtig, ob slShow freigeben kann/muss?

Aber - und mindestens genauso schlimm - die Zeile "if Assigned(slShow) then" wird ja nur ausgeführt, weil das "exit" zu einer Access Violation führt!

Ist vielleicht meine Installation kaputt?

Bin dankbar für jede Hilfe!

Gruß

Freejay

PS: Das ist ein Testprojekt mit zwei Buttons, einem Memofeld und einem Opendialog. Sonst nix. Frisch zusammengebastelt.

[Uwe Raabe]

Zitat von freejay:

vielleicht stehe ich ja nur unglaublich auf dem Schlauch aber müsste in dem Codebeispiel "Assigned(slShow)" nicht false sein?

Eine (non-managed) lokale Variable ist nicht initialisiert. Das gilt auch für Object-Variablen; die kann auf alles mögliche zeigen.

Zitat von freejay:

Wenn nein: Wie prüfe ich denn richtig, ob slShow freigeben kann/muss?

Deswegen sollte slShow vor dem try auf nil gesetzt werden.

Zitat von freejay:

die Zeile "if Assigned(slShow) then" wird ja nur ausgeführt, weil das "exit" zu einer Access Violation führt!

Der finally-Abschnitt wird immer ausgeführt - auch bei einem Exit innerhalb eines try-finally.

[Delphi.Narium]

Die Prüfung wird vom Free doch selbst schon durchgeführt, das kannst Du Dir von daher eigentlich sparen.

Und alles hinter dem finally wird immer ausgeführt.

[Uwe Raabe]

Zitat von Delphi.Narium:

Die Prüfung wird vom Free doch selbst schon durchgeführt, das kannst Du Dir von daher eigentlich sparen.

Knallt aber hier trotzdem.

Zitat von Delphi.Narium:

Und alles hinter dem finally wird immer ausgeführt.

Genauer: Alles zwischen finally und dem zugehörigen end .

[Schokohase]

Fassen wir alles zusammen, dann ergibt sich

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';
  slShow := nil;

  try
    if In_A = '' then
      exit;

    slShow := TStringList.Create;
  finally
    slShow.Free;
  end;
end;

[freejay]

Zitat von Schokohase:

Fassen wir alles zusammen, dann ergibt sich

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';
  slShow := nil;

  try
    if In_A = '' then
      exit;

    slShow := TStringList.Create;
  finally
    slShow.Free;
  end;
end;

So sieht's jetzt bei mir auch aus!

[Bernhard Geyer]

Zitat von freejay:

Zitat von Schokohase:

Fassen wir alles zusammen, dann ergibt sich

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';
  slShow := nil;

  try
    if In_A = '' then
      exit;

    slShow := TStringList.Create;
  finally
    slShow.Free;
  end;
end;

So sieht's jetzt bei mir auch aus!

Sollte es hier nicht eine Compilerwarnung geben?
Die Zeile "slShow := TStringList.Create;" sollte vor dem try stehen.

[haentschman]

Hallöle...

Besser...

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';

  slShow := TStringList.Create; 
  try
    if In_A = '' then
      exit;
     
  finally
    slShow.Free;
  end;
end;

oder

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';

  if In_A = '' then
  begin
    exit;
  end
  else
  begin
    slShow := TStringList.Create;
    try
      // deins     
    finally
      slShow.Free;
    end;
  end;
end;

oder

Delphi-Quellcode:

procedure TfMain.Button1Click(Sender: TObject);
var
  In_A: string;
  slShow: TStringList;
begin
  In_A := '';

  if not (In_A = '') then
  begin
    slShow := TStringList.Create;
    try
      // deins     
    finally
      slShow.Free;
    end;
  end;
end;

[Uwe Raabe]

Wobei die Initialisierung von In_A streng genommen redundant ist, da strings als managed type automatisch initialisiert wird. Der Lesbarkeit halber würde ich das aber schon so lassen.

Zitat von Bernhard Geyer:

Sollte es hier nicht eine Compilerwarnung geben?
Die Zeile "slShow := TStringList.Create;" sollte vor dem try stehen.

Nein, das ist durchaus ein gängiges Muster und erst recht vom Compiler nicht zu beanstanden.

[Delphi.Narium]

Mein Delpbi gibt mir bei der Variante aus dem Eingangspost immer eine Compilerwarnung aus.

Beim slShow.Free sagt es, dass slShow eventuell nicht initialisiert sein könnte.

Eben weil alles zwischen finally und dem zugehörigen end ausgeführt wird, das Create wird aber nicht immer ausgeführt, da die Routine ja mit exit vorher verlassen wird.

Daher: Compilerwarnungen beachten, sie sind manchmal lässtig, aber immer hilfreich.