Wieso funktioniert diese boolsche Schleife nicht?

[Popov]

Mal ein Beispiel. In der Prozedur Button1Click rufe ich in einer Schleife eine Funktion mehrmals auf. Die kann False oder True zurückgeben. Bei der Gelegenheit will ich ermitteln ob der Rückgabewert mindestens einmal True war. Nach meiner Logik kann ich das mit b := b or Test(i); machen. Wenn mindestens einmal True zurückkommt, ist b auch True.

Das Problem ist, dass wenn b True ist, wird die Funktion nicht weiter aufgerufen. Warum?

Delphi-Quellcode:

function Test(i: Integer): Boolean;
begin
  ShowMessage('Zahl ist: ' + IntToStr(i));
  Result := (i mod 2) = 0; //Einfach etwas sinnloses, hauptsache gelegentlich True
end;

procedure TForm1.Button1Click(Sender: TObject);
var
  i: Integer;
  b: Boolean;
begin
  b := False;
  for i := 0 to 8 do
    b := b or Test(i);

  ShowMessage(BoolToStr(b));
end;

[BUG]

Das hängt mit dem "Kurzschlussverfahren" zusammen.

Es gibt drei Lösungen:

1. Benutze eine Zwischenvariable für das Funktionsergebnis.
2. Schalte das "Kurzschlussverfahren" mit einem Compilerschalter aus.
3. Vertausche die beiden Argumente des OR-Operators.

Ich würde Variante 1 empfehlen, da das die Intention klarer macht (Funktion wird auf jeden Fall aufgerufen). Insgesamt ist es eine gute Idee, wenn Sachen wie "Test" (Getter/math. Funktionen) seiteneffektfrei sind (kein Showmessage); dann wäre dir diese Optimierung nämlich gar nicht auf die Füße gefallen.

[Popov]

Ach ja, klar. True kann nicht "trueer" werden, also ist der Aufruf der Funktion unnötig. Hab nicht dran gedacht. Hab mich nur gewundert, da ich es schon mal machte, nur damals eben richtig.

Und was das ShowMessage angeht, das ist nur für das Beispiel (spart den Debugger).

[himitsu]

Vielleicht hattest du es andersrum gemacht?
b := Test(i) or b;

Oder du hattest an den Compileroptionen rumgespielt.



Und keine Sorge, die Variable mit b or Test könnte eh nicht wegoptiomiert werden.
Bei Test or b wäre es aber möglich, aber ich glaub auch da bleibt es noch da.



Aber wegen des Bolls, kann man ja notfalls immernoch den ersten Post bearbeiten.
Auch wenn es irdendwie wie eine If-Schleife klingt.