bison: Не могу решить конфликт, какой маршрут я должен взять?

Question

Вот простое объяснение проблемы. Имейте в виду, что это не настоящая проблема.

Позволяет сказать, что на моем языке функции не могут возвращать указатели, а члены-вары не могут быть ссылками. Зубр жалуется (с 40 проблемами уменьшения/уменьшения) о том, чтобы не выводить, если тип типа является функцией или переменной-членом. Я знаю это, но его смешно иметь> 40 конфликтов из этой одной линии.

Class Name { ... 
Type& func() { 
Type* Var=0 
Type What 

Как я должен справиться с этим? должен ли я использовать% glr-parser и установить expect/expect-rr на значение? или я должен использовать Type, у которого есть все, и фильтровать то, что является законным или нет в коде? Похоже, что у моих выборов больше конфликтов/двусмысленности VS, написавших больше кода, чтобы справиться с этим. Я не уверен, что хуже, поэтому я задаюсь вопросом, нужно ли кому-либо из вас решить эту проблему.

Answer 1

Вы не должны пытаться выразить ограничения типа в грамматике. Это было убедительно доказано фиаско Алгол-68, задокументированное Виртом и другими.