Warum macht es nichts, bei Rückgabe eines Interfaces nichts initialisiert zu haben?

[jbg]

Zitat von himitsu:

Eigentlich müsste die Prüffunktion dafür, beim Result, einfach nur zu Funktionsbeginn "vergessen" daß die Variable schon initisialisert ist.

Wenn ich mich recht entsinne, dann hat Danny Thorpe, seinerzeit Compiler-Engineer, mal gesagt/geschrieben, dass die Warnungen vom Code-Generator erzeugt werden und nicht vom Parser. Der Code-Generator weiß somit nicht mehr, dass das Interface ein Rückgabewert war, denn er sieht nur den "var" Parameter vom Typ Interface.

Zitat:

Also einfach den VAR-Parameter wie einen OUT-Parameter behandeln, wenn es mal ein Result war.

Für den Compiler ist var und out mehr oder weniger dasselbe. Out hat nur eine technische Bedeutung bei OleVariants. (Ich nutze persönlich out aber trozdem zur "Dokumentation").

Zitat:

Aber ob man es nach 15 Jahren schafft das jetzt noch zu reparieren?

Wo ein Wille da ein Weg. Aber der Wille tendiert im Moment mehr zu "wir streichen die Datentypen zusammen".

Zitat von Stevie:

Eine Warnung in solch einem Fall wäre mehr wert als so manche Warnings, die der Compiler ausspuckt

Eine solche Warnung, vor allem bei dyamischen Arrays würde auch der Delphi IDE gut tun. Ich erinnere mich da an so manches Performance-Problem, wie z.B. "mit jedem Kompilieren dauert das nächste Kompilieren länger".
Der Grund war Code, der das dynamische Rückgabe-Array nicht abgelöscht und es fleißig mit "SetLength(Result, Length(Result) + 1)" in einer Schleife vergrößert hat (man hätte ja auch die Anzahl vorher bestimmen können).

Pseudocode:

Delphi-Quellcode:

begin
  for I := 0 to Items.Count - 1 do
  begin
    FMyArrayObjectField := Items[I].ToArray;
    ...
  end;
end.

function TMyItem.ToArray: TArray<string>;
begin
  // hier das fehlende "Result := nil;"
  for I := 0 to Item.ChildCount - 1 do
  begin
    SetLength(Result, Length(Result) + 1);
    Result[High(Result)] := Item.Childs[I];
  end;
end;

[Stevie]

Zitat von jbg:

Eine solche Warnung, vor allem bei dyamischen Arrays würde auch der Delphi IDE gut tun. Ich erinnere mich da an so manches Performance-Problem, wie z.B. "mit jedem Kompilieren dauert das nächste Kompilieren länger".
Der Grund war Code, der das dynamische Rückgabe-Array nicht abgelöscht und es fleißig mit "SetLength(Result, Length(Result) + 1)" in einer Schleife vergrößert hat (man hätte ja auch die Anzahl vorher bestimmen können).

Pseudocode:

Delphi-Quellcode:

begin
  for I := 0 to Items.Count - 1 do
  begin
    FMyArrayObjectField := Items[I].ToArray;
    ...
  end;
end.

function TMyItem.ToArray: TArray<string>;
begin
  // hier das fehlende "Result := nil;"
  for I := 0 to Item.ChildCount - 1 do
  begin
    SetLength(Result, Length(Result) + 1);
    Result[High(Result)] := Item.Childs[I];
  end;
end;

lol aua Erstens nicht initialisiert und zweitens lustig in der Schleife das Array reallokieren.

[himitsu]

Zitat von Stevie:

zweitens lustig in der Schleife das Array reallokieren.

Durch den FastMM wird das aber ein bissl ausgeglichen, da der, durch ein paar kleine Optimierungen, nicht wirklich den Speicher bei jedem Durchlauf umkopiert.
- Inplace-Reallocation bei mittleren und großen Blöcken ... wenn dahinter noch Platz ist, wird das einfach angehängt
- und beim Reallocationen wird nicht nur das angeforderte angepasst ... wird ich Schritten erledigt, so daß die nächsten Reallocationen schon genügend Platz haben

Zitat von Stevie:

Erstens nicht initialisiert

Wie gesagt, wenn man es genau nimmt, ist das ja initialisiert, da das halt ein Managed-Type ist ... Nur eben nicht so/dort, wie/wo man es "erwarten" würde.
Drum funktioniert das oftmals "zufälliger" Weise, aber in Schleifen aufgerufen, hat man dann seinen Spaß.

Es ist wirklich zu schade, daß hier die Prüfung "Variable nicht initialisiert" nicht greift.
Bin auch schonmal in diese Falle getreten.

Der Pseudocode von jbg sieht intern praktisch so aus.
So erkennt man dann auch ganz schnell, warum das schief gehen muß.
Und bei einmaligem/erstmaligem Ausführen, passt es ja zufällig noch.

Delphi-Quellcode:

procedure TMyItem.ToArray(var Result: TArray<string>);
begin  // aber hier wird es eben nicht "nochmal" initialisiert
  for I := 0 to Item.ChildCount - 1 do
  begin
    SetLength(Result, Length(Result) + 1);
    Result[High(Result)] := Item.Childs[I];
  end;
end; 

var
  FMyArrayObjectField: TArray<string>;
begin  // FMyArrayObjectField wurde quasi in diesem Begin initialisiert
  for I := 0 to Items.Count - 1 do
  begin
    Items[I].ToArray(FMyArrayObjectField);
    ...
  end;
end;

Und aus dem

Delphi-Quellcode:

begin
  for I := 0 to Items.Count - 1 do
  begin
    Items[I].ToArray;  // ohne Zuweisung
    ...
    EinProperty := Items[I].ToArray;
  end;
end;

wird das

Delphi-Quellcode:

var
  GeheimeTempVar: TArray<string>:
begin
  for I := 0 to Items.Count - 1 do
  begin
    Items[I].ToArray(GeheimeTempVar);
    ...
    Items[I].ToArray(GeheimeTempVar);
    SetterDes_EinProperty(GeheimeTempVar);
  end;
end;

[Stevie]

Zitat von himitsu:

Durch den FastMM wird das aber ein bissl ausgeglichen, da der, durch ein paar kleine Optimierungen, nicht wirklich den Speicher bei jedem Durchlauf umkopiert.
- Inplace-Reallocation bei mittleren und großen Blöcken ... wenn dahinter noch Platz ist, wird das einfach angehängt
- und beim Reallocationen wird nicht nur das angeforderte angepasst ... wird ich Schritten erledigt, so daß die nächsten Reallocationen schon genügend Platz haben

Genau, warum auch sauberen Code schreiben... Einfach ma Taktzyklen sinnlos verblasen, obwohl man vorher schon weiß, wie groß das Array sein muss Fällt bei 100 Elementen nicht ins Gewicht, aber dass nicht nur im kleinen geschludert wird, sieht man ja daran, dass Andreas jedesmal genug zu optimieren hat und aus Compiletimes im Minutenbereich nur noch Sekunden macht (Generics, *hust*)

Zitat von himitsu:

Wie gesagt, wenn man es genau nimmt, ist das ja initialisiert, da das halt ein Managed-Type ist ... Nur eben nicht so/dort, wie/wo man es "erwarten" würde.

In der Routine ist Result nicht initialisiert, punkt. Dass ein u.U initialisierter Wert reinkommt (oder auch nicht), spielt keine Rolle, da man eine Routine isoliert betrachten muss. Und unter dieser Betrachtungsweise ist sie defekt.