PDF-Datei (ca. 1 MByte)

130 KAPITEL 11. BOOLESCHE FUNKTIONEN
Die folgende boolesche Funktion links frei() produziert beispielsweise immer einen Seiteneffekt;
denn nach ihrer Ausfuhrung hat der Hamster eine andere Blickrichtung als vorher.
boolean links_frei()
{
links_um();
return vorn_frei();
}
Genauso wie die drei vorde nierten Testbefehle keine Zustandsanderungen bewirken, also niemals
Seitene ekte produzieren, sollten auch boolesche Funktionen in der Regel keine Seitene ekte
hervorrufen, d.h. sollten zur Berechnung eines zu liefernden Wertes innerhalb einer Funktion
Zustandsanderungen notwendig sein, so sollten diese vor dem Verlassen der Funktion wieder
ruckgangig gemacht werden. Seitene ektfreie Funktionen fuhren zu besser lesbaren und weniger
fehleranfalligenden Programmen. De nieren Sie eine boolesche Funktion links frei also immer
folgenderma en:
boolean links_frei()
{
links_um();
if (vorn_frei())
{
rechts_um();
return true;
}
else
{
rechts_um();
return false;
}
}
void rechts_um()
{
links_um(); links_um(); links_um();
}
Wenn Sie { aus welchem Grund auch immer { dennoch seitene ektproduzierende Funktionen
de nieren, sollten Sie auf jeden Fall durch einen Kommentar darauf hinweisen.
In Kapitel 9.6.4 wurde bereits erwahnt, da die folgenden beiden Anweisungen nicht unbedingt
semantisch aquivalent sein mussen. Dabei sei bA Platzhalter fur einen beliebigen booleschen
Ausdruck, und a1 und a2 seien Platzhalter fur beliebige Anweisungen:
// Anweisung 1
if (bA)