FOR-Schleifenvariable muss eine lokale Variable sein. Warum?

[Daniel]

Könnte man globale Schleifenvariablen deklarieren, hätte man noch ein anderes Problem: Nämlich genau dann, wenn sich zwei dieser Schleifen überlagern und beide die Variablen für ihre Zwecke setzen und nutzen wollen. Diese Problematik kann natürlich ebenfalls bei WHILE-Schleifen auftreten.
Auch aus diesem Grunde Schleifen-Variablen grundsätzlich lokal deklarieren.

[Luckie]

Und sehr gefährlich. Wer weiß von wo und wann eine gloabel Variable bei so einem großem Projekt verändert wird. Und sollte es diesbezüglich Probleme geben, dannwünsche ich dir "Happy debugging und wir sprechen uns in 5 Tagen noch mal." :p

[JoelH]

Hilfvariablen, was anderes sind es ja nicht, sollten immer lokal sein.Auch um seien COde austauschbar zu halten.

[madbrain]

Vielen Dank für die zahlreichen Antworten!

Ich denke, ich hab die Compilerwarnung jetzt verstanden.

[Motzi]

@sakura: man kann über eine kleine "Pointer-Akrobatik" auch die for-Zählvariable verändern!

Delphi-Quellcode:

var
  i: Integer;

for i := 1 to 20 do
  Inc(Integer(Pointer(@i)^));

Mal schaun wie das dann intern abläuft...

[Assarbad]

@Motzi, dann müßte das hier aber auch gehen ...

Delphi-Quellcode:

var
  i: Integer;
  Iam_I:Integer absolute i;

for i := 1 to 20 do
  Inc(Iam_I);

Das wirft aber die ganze Optimierung über den Haufen!

[Assarbad]

Nope, grade getestet. Das kompiliert nicht mal.

Delphi-Quellcode:

procedure CountMe;
var
  i: Integer;
begin
  for i := 1 to 20 do
    Inc(PInteger(@i)^);
end;

... wie bei Motzi kompiliert aber. Schaus mir grad mal näher an-

[Motzi]

Habs mir jetzt mal näher angeschaut..

folgender Delphi-Code (das begin-end der for-Schleife ist unnötig, aber ganz bewusst gesetzt):

Delphi-Quellcode:

var
  i: Integer;
begin
  for i := 1 to 20 do
  begin
    Inc(PInteger(@i)^);
  end;
end;

wird in folgenden ASM-Code übersetzt:

Code:

Unit1.pas.30: for i := 1 to 20 do
    mov [eax], $00000001
Unit1.pas.32: Inc(PInteger(@i)^);
    inc dword ptr [eax]
Unit1.pas.33: end; // <- das end der Schleife
    inc dword ptr [eax]
Unit1.pas.30: for i := 1 to 20 do
    cmp dword ptr [eax], $15
    jnz -$09

In Zeile 32 wird die Zählvariable manuell erhöht, während in Zeile 33 (daher der unnötige begin-end Block) die "echte" Inkrementierung der Schleifenvariable stattfindet - beide Zeilen erzeugen denselben ASM-Code.
eax enthält eine Referenz in den Stack wo die eigentliche Zählvariable liegt.

[Tryer]

Was der Compiler daraus macht unterscheidet sich nicht von dem hier:

Delphi-Quellcode:

procedure CountMe2;
var
  i: Integer;
begin
  i := 1;
  repeat
    Inc(PInteger(@i)^); 
    Inc(i);
  until i = 21;
end;

Hier hat man den Vorteil das man die Abbruchbedingung kontrollieren könnte, z.B. zu "until i > 20".
Die For-Schleife frage immer nur auf Gleichheit ab, wodurch

Delphi-Quellcode:

For i := 0 to 20 do
  Inc(PInteger(@i)^)

zu einer Endlosschleife führt.

MfG,
Tryer

[Assarbad]

Wohl wahr ...

Andere Compiler (zB VC) nehmen übrigens tatsächlich ECX, ist ja schließlich auch das Counter-Register
Also lag sakura nicht sooo falsch *g*