Брайан Керниган - UNIX — универсальная среда программирования

может быть разобрана двумя способами.

Анализатор может решить, что присв сводится к выраж , а затем к список , как показано в левом дереве разбора, или что нужно применить заключающий символ \nсразу (shift — перенос) и преобразовать все в список, не используя промежуточных выводов, как в правом дереве разбора. Встретив неоднозначность, yaccвыбирает перенос, так как это почти всегда правильное решение для реальных грамматик. Вы должны понимать такие сообщения, чтобы быть уверенным, что yaccсделал правильный выбор [16] Сообщение yacc: "shift/reduce conflict" обозначает серьезную проблему и чаще всего является симптомом не неоднозначности, а явной ошибки в грамматике. . Запуск yaccс флагом -vпорождает обширный файл с именем y.output, который поможет вам найти причины конфликтов.

В данной версии hoc3допустимо присваивание:

PI=3

Хорошо ли это? Как бы вы изменили hoc3, чтобы запретить присваивание "констант"?

Добавьте к грамматике встроенную функцию atan2(x, y)для вычисления величины угла, тангенс которого равен x/y. Добавьте встроенную функцию rand(), вырабатывающую случайные вещественные числа, равномерно распределенные на интервале [0,1). Как бы вам пришлось изменить грамматику, чтобы разрешить встроенные функции с разным числом аргументов?

Как ввести дополнительное средство для выполнения команд прямо в hoc, подобно операции !в программах UNIX?

Переработайте текст math.cтак, чтобы можно было использовать таблицу, а не предложенное выше множество идентичных функций.

Поскольку теперь программа hoc3размещается не в одном, а в пяти файлах, makefileстановится более сложным:

$ cat makefile

YFLAGS = -d # force creation of y.tab.h

OBJS = hoc.o init.o math.o symbol.o # abbreviation

hoc3: $(OBJS)

cc $(OBJS) -lm -o hoc3

hoc.o: hoc.h

init.o symbol.o: hoc.h y.tab.h

pr:

@pr hoc.y hoc.h init.c math.c symbol.c makefile

clean:

rm -f $(OBJS) y.tab.[ch]

$

Строка YFLAGS = -dдобавляет флаг -dв командную строку запуска yacc, создаваемую make. Этот флаг предписывает yacc создать файл y.tab.h, содержащий операторы #define. Строка OBJS = ...вводит сокращение для записи конструкции, используемой последовательно несколько раз. Синтаксис здесь не такой, как для переменных интерпретатора, скобки обязательны. Флаг -lmуказывает, что математические функции нужно искать в библиотеке libm.a.

Теперь программа hoc3образуется из четырех файлов .о, причем некоторые из них в свою очередь зависят от файлов .h. "Зная" эти зависимости, makeможет рассчитать, какая требуется перетрансляция в случае изменения любого из указанных файлов. Если вы хотите выяснить действия make, не запуская процесс, то попробуйте ввести команду

$ make -n

С другой стороны, если необходимо установить временную согласованность файлов, с помощью флага -t(touch исправить) вы можете как бы модифицировать файлы, не производя перетрансляции.

Обратите внимание на то, что мы ввели не только множество зависимостей между исходными файлами, но и несколько полезных процедур, сконцентрировав их в одном файле. По умолчанию программа makeвыполняет первое действие, указанное в файле makefile. Однако если на первом месте окажется элемент, помечающий правило зависимости, такой, как symbol.oили pr, то выполняться будет он. Считается, что в случае "пустой" зависимости элемент всегда берется не из последней версии, поэтому при запросе он обязательно должен изменяться. Итак,

$ make pr | lpr

инициирует распечатку зависимостей файлов на принтере. (Появление символа @в "@pr"подавляет эхо выполняемой команды, запущенной с помощью make.) Команда же

make clean

удаляет выходные файлы yacc, а также файлы .o.

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