boost :: fusion синтаксический анализ длинной строки вызывает переполнение стека

Question

Есть ли способ предотвратить boost :: fusion для переполнения стека на определенный вход? У меня есть грамматика, похожая на

S -> S OR S 
S -> a 

и на огромном входе (> 1500 предметов OR'd) он сработает. Я не хочу разбирать такой огромный вклад, но мне нужно как-то предотвратить процесс сбоя.

Возможно, я ограничу длину строки, но это не решает мою проблему, так как a может быть длинным.

Answer 1

Это обычно решается путем перезаписи правой рекурсии в форму итерации, например.

myrule = something >> -(',' >> myrule); // right recursion 

в

myrule = something *(',' >> myrule); // iteration 

Конечно, это тривиальный случай. В реальных грамматиках вам часто нужно как-то удержать приоритет оператора.

---

В absense кода смотрите здесь примеры рефакторинга грамматик быть много легче на стеке и распределения:

• Syntax tree empty nodes issue with Spirit Qi MiniC example - что именно об этом: глубоко вложенные выражения
• Boost spirit poor perfomance with Alternative parser, который был аналогичным случаем
• Возможно, связанные с: How to benchmark Boost Spirit Parser?