Счастливый контекстно-зависимый приоритет оператора

«Контекстно-зависимый приоритет» — это очень вводящий в заблуждение способ описания этой функции. Однако описание алгоритма предшествования в предыдущем разделе в значительной степени точное.

Как говорится, сравнение приоритета всегда выполняется между производством (которое можно уменьшить) и терминалом (которое можно сдвинуть). Этот простой факт часто омрачается решением разработать синтаксис объявления приоритета, как если бы приоритет был исключительно атрибутом терминала.

Приоритет производства устанавливается путем копирования приоритета последнего терминала в производстве, если нет явного объявления с %prec. Или, другими словами, приоритет производства устанавливается с помощью предложения %prec, по умолчанию равного приоритету последнего токена. В любом случае, вы можете определить приоритет производства, только сказав, что он такой же, как у некоторого терминала. Поскольку это не всегда удобно, генератор синтаксического анализа дает возможность использовать произвольное имя, которое не является именем грамматического символа. Реализация состоит в том, чтобы рассматривать имя как терминал и игнорировать тот факт, что оно фактически никогда не используется ни в одном правиле грамматики, но логически это имя уровня приоритета, который должен быть назначен этому конкретному произведению.

В вашем первом примере вы позволяете продуктам по умолчанию устанавливать приоритет последнего (фактически единственного) терминала в каждом продукте. Но во втором примере вы определили два именованных уровня приоритета, ПЛЮС и ВРЕМЯ, и вы используете их для установки приоритета двух производств. Но вы не объявляете приоритет какого-либо терминала. Поэтому, когда генератор синтаксического анализатора пытается проверить относительный приоритет производства, которое может быть уменьшено, и терминала, который может быть сдвинут, он обнаруживает, что только одна из этих вещей имеет объявленный приоритет. И в этом случае он всегда смещается.