当我尝试使用 Spirit 解析内容时，我不断遇到堆栈溢出

Question

我想当我开始出现堆栈溢出时，是时候来这里询问了；）

我现在正在尝试学习如何使用 Boost Spirit。 我已经弄清楚了基本的事情。 由于我手边有 K&R（其中包含 C 的语法），我决定看看是否可以为该语言创建一个接受器。 无论如何，这或多或少是我最初的目标，因为我最终想使用它作为预处理器从数据结构和其他东西中收集一些信息。

我能够解析常量和字符串，但是当我尝试解析它时，我开始遇到问题。

postfix_expression = 
    primary_expression
    // omitting some other rules for simplicity's sake
    | (postfix_expression >> chseq+p("++"))
    | (postfix_expression >> chseq_p("--"));

primary_expression = 
    identifier
    | constant
    | string_literal;

// The parsers for constants and strings are 
// pretty trivial so I'm not going to C+P them here. 

当我传递像 i++ 这样的东西时，它会失败。 我认为这是因为 i 是有效的 primary_expression，因此它不会继续检查 ++ 或 - -。 我尝试将其放在底部，然后出现堆栈溢出。 我在这里遇到了一些无限左递归，但我不知道如何解决它。

Answer 1

你必须摆脱左递归。 这篇维基百科文章解释了一些技术：

http://en.wikipedia.org/wiki/Left_recursion

然而，这可能是不可能的。 C 具有相当灵活的语法，并且可能无法提供足够的上下文来允许递归下降解析器运行，除非 Boost Spirit 允许回溯。 或者你可以做到，但关联会倒退。

您可能最好使用基于 LALR 的工具，例如 bison。