Programowanie. Teoria i praktyka z wykorzystaniem C++

196 ROZDZIA 6 • PISANIE PROGRAMU
moe nauczy si bardzo duo, patrzc na dramatycznie róne zachowania podobnych fragmentów
kodu. Czytanie kodu to przydatna umiejtno, któr naley pielgnowa.
6.5.2.1. Wyraenia — pierwsza próba
Patrzc na zasad Expression'+' Term, najpierw próbujemy wywoa funkcj expression(),
nastpnie znale znak + (i -) oraz wywoa funkcj term():
double expression()
{
double left = expression(); // Wczytuje i oblicza warto wyraenia.
Token t = get_token(); // nastpny token
}
switch (t.kind) {
case '+':
return left + term();
case '–':
return left – term();
default:
return left;
}
// Sprawdza, jaki to jest rodzaj tokenu.
// Wczytuje i sprawdza warto skadnika,
// nastpnie wykonuje dodawanie.
// Wczytuje i sprawdza warto skadnika,
// nastpnie wykonuje odejmowanie.
// Zwraca warto wyraenia.
Wyglda dobrze. To jest prawie naiwna transkrypcja gramatyki. Jest do prosta — najpierw
wczytuje wyraenie, a nastpnie sprawdza, czy za nim znajduje si znak + lub - i jeli tak,
wczytuje skadnik (Term).
Niestety w rzeczywistoci to jest bez sensu. Skd wiadomo, gdzie koczy si wyraenie,
dziki czemu mona poszuka znaków + i -? Przypominam, e nasz program czyta od lewej
do prawej i nie moe wybiec do przodu, aby sprawdzi, czy nie ma dalej znaku +. W istocie ta
wersja funkcji expression() nigdy nie wyjdzie poza pierwszy wiersz — zaczyna od wywoania
funkcji expression(), która zaczyna od wywoania funkcji expression() itd. w nieskoczono.
Nazywa si to nieskoczon rekurencj (ang. infinite recursion), która jednak bdzie miaa
koniec — gdy skoczy si w komputerze pami do przechowywania nigdy niekoczcych
si wywoa funkcji expression(). Pojcie rekurencji oznacza wywoywanie funkcji przez
siebie sam. Nie wszystkie rekurencje s nieskoczone, poza tym technika ta jest bardzo
przydatna w programowaniu (zobacz rozdzia 8.5.8).
6.5.2.2. Wyraenia — druga próba
Co w takim razie robimy? Kady skadnik jest wyraeniem, ale nie kade wyraenie jest skadnikiem.
Moemy wic zacz od szukania skadnika i przej do szukania penego wyraenia
tylko wówczas, gdy znajdziemy znak + lub -. Na przykad:
double expression()
{
double left = term();
Token t = get_token();
switch (t.kind) {
case '+':
// Wczytuje skadnik i oblicza jego warto.
// nastpny token
// Sprawdza, jaki to rodzaj tokenu.