PDF-Datei (ca. 1 MByte)

11.4. AUFRUF BOOLESCHER FUNKTIONEN 127
}
}
vor();
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();
}
An diesem Beispiel konnen sie visuell nachvollziehen, was Sie bezuglich der Auswertungsreihenfolge
von booleschen Ausdrucken in Kapitel 9.2.5 gelernt haben, da der Hamster namlich die
Auswertung bestimmter boolescher Ausdrucke optimiert. Schauen Sie sich dazu die in Abbildung
11.5 geschilderte Ausgangssituation an. Bei der Auswertung der Schleifenbedingung der while-
Anweisung innerhalb der main-Prozedur wird zunachst der Wert des Testbefehls vorn frei
ermittelt. Der Testbefehl liefert den Wert true. Also wird als nachstes der Funktionswert der
Funktion links frei ermittelt, der negiert den Wert des booleschen Ausdrucks der Schleifenbedingung
ergibt. Zur Ermittlung des Funktionswertes wird die Funktion aufgerufen: der Hamster
dreht sich um 90 Grad nach links, testet, ob nun vor ihm frei ist; das ist nicht der Fall, also
dreht er sich wieder um 90 Grad nach rechts und liefert den Wert false. Durch die anschlieende
Negierung ist die Schleifenbedingung insgesamt erfullt, und die Iterationsanweisung wird
ausgefuhrt, d.h. der Hamster hupft eine Kachel nach vorne. Nun wird die Schleifenbedingung
ein weiteres Mal uberpruft. Da dieses Mal aber bereits der Testbefehl vorn frei() den Wert
false liefert, mu die Funktion links frei nicht ein zweites Mal aufgerufen werden. Die Schleifenbedingung
kann nicht mehr erfullt werden. Die Funktion links frei wird dann jedoch fur
die Auswertung der Bedingung der if-Anweisung erneut aufgerufen. Sie liefert den Wert true,
so da die Bedingung erfullt ist und sich der Hamster in die Nische begibt.
Drehen Sie nun einmal die konjugierten Ausdrucke in dem Beispiel um und fuhren Sie das
Programm erneut fur die in Abbildung 11.6 skizzierte Situation aus. Sie werden feststellen, da
der Hamster einmal mehr testet, ob sich links von ihm eine Mauer be ndet.
void main()