Неправильно ли использовать тип возврата void для каждого правила в рекурсивном синтаксическом анализаторе потомков?

Question

Цитируется wiki:

void term(void) { 
    factor(); 
    while (sym == times || sym == slash) { 
     getsym(); 
     factor(); 
    } 
} 

void expression(void) { 
    if (sym == plus || sym == minus) 
     getsym(); 
    term(); 
    while (sym == plus || sym == minus) { 
     getsym(); 
     term(); 
    } 
} 

Она использует void тип возвращаемого значения для каждого правила,

в этом случае, как можно знать, не может ли конкретный филиал или преуспевает?

IMO, каждое правило должно использовать логический тип возврата, чтобы указать, не удалась ли эта ветка или не удалось.

Это правильно?

Answer 1

В примере используется модель, в которой для сообщений об ошибках отвечает специальная «ошибка», но вы могли бы сформулировать парсер как функцию, которая вернула «истину», если в противном случае вход представлял действительный ввод и «ложь». Это всего лишь два разных стиля.