8.6.Советы по подготовке спецификаций

Этот раздел содержит разнообразные рекомендации по подготовке эффективных, легко изменяемых и понятных спецификаций.

8.6.1.Стиль

Трудно написать правила, которые выполняют серьезные действия и к тому же имеют удобочитаемый вид. Ниже приводится несколько рекомендаций, касающихся стиля спецификаций.

Пишите имена лексем прописными буквами, а имена нетерминальных символов - строчными. Так удобнее отлаживать yacc-спецификацию.

Помещайте грамматические правила и действия на отдельных строках. Это облегчает чтение.

Все правила с одинаковой левой частью помещайте вместе. Левую часть пишите только раз, а альтернативы разделяйте вертикальной чертой.

Точку с запятой ставьте на отдельной строке и только после последнего правила в группе правил с одинаковой левой частью. Это позволяет легко добавлять новые правила.

Используйте отступы для выделения действий и их тел.

Сложные действия выделяйте в подпрограммы, определенные в других файлах.

Основная проблема заключается в том, чтобы не утопить грамматические правила в трясине действий.

8.6.2.Использование левой рекурсии

Алгоритм разбора, используемый в утилите yacc, лучше подходит для так называемых леворекурсивных грамматических правил вида

name : name rest_of_rule

;

Правила, подобные

list : item

| list ',' item

;

и

seq : item

| seq item

;

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

Для праворекурсивных правил, таких как

seq : item

| item seq

;

алгоритм разбора немного сложнее; элементы выделяются и свертываются справа налево. Более серьезно то, что есть опасность переполнения внутреннего стека при чтении очень длинной последовательности. Поэтому рекомендуется использовать левую рекурсию.

Стоит рассмотреть случай, когда имеет смысл последовательность из нуля элементов. Спецификация такой последовательности включает правило с пустым телом:

seq : /* пусто */

| item seq

;

И вновь первое правило будет использоваться для свертки только перед тем, как прочитан первый элемент, а второе - для свертки всех прочитанных элементов. Допущение пустых последовательностей часто ведет к увеличению общности. Однако могут возникнуть конфликты, поскольку yacc вынужден решать, пустая последовательность чего прочитана, в то время как он еще недостаточно прочитал, чтобы узнать это.

8.6.3.Уловки анализа лексики

Некоторые решения, принимаемые лексическим анализатором, зависят от контекста. Например, лексический анализатор может игнорировать пробелы всюду, но не в текстах, взятых в кавычки, или имена могут включаться в таблицу в описаниях, но не в выражениях. Один из способов обработки таких ситуаций – использование глобального признака, устанавливаемого действиями и опрашиваемого лексическим анализатором. Например, спецификация

%{

int dflag;

... другие определения ...

%%

prog : decls stats ;

decls : /* пусто */

{

dflag = 1;

}

decls declaration

;

stats : /* пусто */

{

dflag = 0;

}

stats statement

;

... другие правила ...

описывает программу, состоящую из нуля или большего числа описаний, за которыми следует нуль или более операторов. Признак dflag равен 0, когда читаются операторы, и 1, когда читаются описания, за исключением первой лексемы в первом операторе. Эта лексема требуется алгоритму разбора для того, чтобы выяснить, что описания закончились и начались операторы.

Можно расценить такие попытки пройти с черного хода как вредные. Однако они позволяют сделать вещи, которые другими способами сделать было бы сложно, если не невозможно.