Compiler warnt nicht vor nicht initialisierter Variable

[himitsu]

Delphi-Quellcode:

for arrayIndex := Low(myArray) to High(myArray) do
begin
  if (arrayIndex = 42) then
    Break;
end;
WriteLn(arrayIndex);  // Die Variable ist außerhalb natürlich undefiniert, da Schleifenvariablen nach der Schleife keinen definierten Zustand besitzen. :roll:

"kann nach Durchlauf undefiniert sein" und "Variable nicht initialisiert" ist ja im Grunde das Selbe Gleiche.

Aber man weiß ja, daß der Compiler manchmal nicht ganz weiß was er macht und dann die falsche Fehlermeldung bringt, wobei sie hier natürlich richtig ist, auch wenn es jeweils ein bissl anders klingt.

[Der schöne Günther]

Ich verstehe nicht- Bekommst du eine Warnung? Ich nicht.

[himitsu]

Hab's nicht getestet (hier im XE oder 7), aber es ist/wäre vollkommen korrekt, wenn bei WriteLn(arrayIndex); eine Warnung kommt, daß die Variable dort nicht (mehr) initialisiert ist, denn das ist sie auch nicht.
Hab das "nicht" nicht gelesen.
Hmmm, entweder ein Bug ... kann daheim dann nochmal nachsehn, aber mir ist so, als wenn da immer gewarnt wurde (wobei ich sowas selten mach)

[nuclearping]

Habs mal mit XE2 und XE7 getestet. Gleiches Ergebnis wie Günther schon sagte. Ich erhalte keine Warnung und WriteLn(arrayIndex) gibt Müll aus. Wenn ich die if (arrayIndex ...) -Prüfung auskommentiere, erhalte ich auch eine W1037-Warnung.

[Union]

Der Compiler kann zur Compilezeit ja nicht wissen dass High(myArray) = -1 ist. Er sieht nur das for-Konstrukt in dem ja theoretisch eine Zuweisung erfolgt.

[Sailor]

Das liegt an der Break-Anweisung. Der Compiler stellt nach dem Break den aktuellen Schleifenindex zur Verfügung. Kommentiere nur das Break aus, dann dürfte eine Warnung kommen.

[Der schöne Günther]

Aber wir wären uns alle einig dass wir Embarcaderos "Reported Bugs" wieder um eins größer machen sollten, oder?

[gammatester]

Zitat von Sailor:

Das liegt an der Break-Anweisung. Der Compiler stellt nach dem Break den aktuellen Schleifenindex zur Verfügung. Kommentiere nur das Break aus, dann dürfte eine Warnung kommen.

Das Verlassen der Schleife kann aber nicht der einzige Grund sein, ersetzt man das break durch ein goto

Delphi-Quellcode:

procedure forProc();
label xx;
var
   myArray:   TArray<Single>;
   arrayIndex:   Integer;
begin
   for arrayIndex := Low(myArray) to High(myArray) do
      if (arrayIndex = 42) then goto xx;
xx:
   WriteLn(arrayIndex);
   readln;
end;

dann erhält man 3 (in Worten drei) mal die gleiche Warnung.