Compiler warnt nicht vor nicht initialisiertem Rückgabewert wenn...

[Sir Rufo]

Zitat von Der schöne Günther:

Delphi-Quellcode:

function TSomeClass.someFunc{$IFDEF GENERIC}<T>{$ENDIF}(): Boolean;
begin
   // Nope
end;

Ich sehe ein dass manche Typen die T annehmen kann (String, Interface, ...) nicht uninitialisiert sein können. Aber selbst wenn ich den Typ auf ": class" einschränke kommt keine Warnung.

Habe ich einen Denkfehler oder ist das eine weitere Delphi-Eigenheit™ ?

In diesem Fall ist es wurscht um welchen generischen Typen es sich handelt, denn der wird ja gar nicht zurückgeliefert ...() : Boolean;

[Der schöne Günther]

Wie findet ihr alle immer die QC/RSP-Einträge? Ich bin zu dumm dafür.

Zitat von Sir Rufo:

In diesem Fall ist es wurscht um welchen generischen Typen es sich handelt, denn der wird ja gar nicht zurückgeliefert ...() : Boolean;

Richtig, das war mit Absicht um die Sache noch deutlicher zu machen. Ist im verlinkten QC-Beispiel ja auch so.

Zitat von Daniel:

Welche Warnungen unterbleiben denn noch?

Spontan hatte ich mit einem

Delphi-Quellcode:

var
   x: Integer;
begin
   x:= x;

noch auf H2077 und W1036 geprüft. Wurden beide auch nicht angezeigt.

[himitsu]

Variablen und Results mit gemanageten Typen (Interface, Variant, dyn Array und String) werden sowieso nie so gewarnt, denn diese sind immer initialisiert.
Wäre aber zu praktisch, wenn der Compiler die automatische Initialisierung manchmal nicht mitzählen würde, denn speziell beim Result haben diese Typen ein klitzekleines Problem, wenn man die Funktion in 'ner Schleife aufruft.

Und im NextGen zählen nur auch Objekte dazu.


Aber bei Boolean kann man das schon als Fehler ansehn.

[himitsu]

Zum Glück gab es grade diesen Thread ... so war ich noch bissl aufmerksamer.

Hatte dadurch noch einen weiteren Fall entdeckt.

Delphi-Quellcode:

procedure Test;
var
  Value: Integer;
procedure Inner;
  begin
    if Value = 0 then
      ;
  end;
begin
  //Value := 0;  // das hatte ich vergessen
  Inner;
end;

[uligerhardt]

Zitat von himitsu:

Hatte dadurch noch einen weiteren Fall entdeckt.

Delphi-Quellcode:

procedure Test;
var
  Value: Integer;
procedure Inner;
  begin
    if Value = 0 then
      ;
  end;
begin
  //Value := 0;  // das hatte ich vergessen
  Inner;
end;

Sobald lokale Routinen im Spiel sind, fallen eh einige Warnungen unter den Tisch. Das ist schon "ewig" so.

[jaenicke]

Zitat von himitsu:

Hatte dadurch noch einen weiteren Fall entdeckt.

Delphi-Quellcode:

procedure Test;
var
  Value: Integer;
procedure Inner;
  begin
    if Value = 0 then
      ;
  end;
begin
  //Value := 0;  // das hatte ich vergessen
  Inner;
end;

Variablen oberhalb lokaler Prozeduren zu deklarieren halte ich persönlich für extrem unsauber. Wenn man diese darin braucht, sollte man diese auch übergeben...

[himitsu]

Nja, oberhalb kommen bei mir immer die Variablen, welche auch innen benutzt werden
und darunter die Variablen für die Hauptprozedur.

Aber wenn es dich beruhigt ... die Prozeduren sind seit gestern Abend eigenständige Methoden und die (vielen) Variablen ein Record als Var-Parameter.

[Dejan Vu]

Zitat von himitsu:

Variablen und Results mit gemanageten Typen (Interface, Variant, dyn Array und String) werden sowieso nie so gewarnt, denn diese sind immer initialisiert.

Es ist doch aber trotzdem ein Programmiererfehler, wenn der Rückgabewert nicht explizit gesetzt wird. Gut, Delphi ist da großzügig, denn es wird ja nur moniert, das da nichts initialisiert ist.

Ich kenne kein Argument, welches dafür spricht, einen nicht explizit angegebenen Rückgabewert zuzulassen. Außer vielleicht den, das man weniger zahlen muss, wenn man nach Programmzeilen abrechnet.

[himitsu]

Zitat von Dejan Vu:

Ich kenne kein Argument, ...

Darum auch ein "Problem", daß Delphi da nicht warnt.

Delphi-Quellcode:

function Test: string;
begin
  // Strings sind ja bekanntlich mit '' initialisiert, was im Prinzip auch stimmt. Ungünstig ist nur, daß Delphi hier
  // eigentlich procedure Test(var Result: string); implementiert, also in Bezug auf die fehlende "nicht initialisiert"-Warnung.
  Result := Result + '*';
end;

var 
  S: string;
begin
  for i := 0 to 10 do
    S := Test;
  ShowMessage(S);
end;