boost - 使用 Boost Spirit X3 编写解析器对 future 有多安全？

Question

我正在考虑编写本质上是我自永远以来的第一个解析器(= 自从 Uni 的编译器类以来我已经忘记了)。

因为我使用 C++，所以我在考虑使用 Boost Spirit。然后我注意到有“常规”2.5.2，还有一些神奇的代码子集，名为 Spirit X3。

我还注意到 Boost Spirit X3 已经在 2 年前宣布/讨论/预发布，而 Boost Spirit 的正式版本是 2.5.2。最后，我读到:

Where is boost-spirit 3? Is it abandoned?

所以我“知道”它不是一个废弃的项目——但不是一个非常积极维护的项目。用 Spirit X3 编写解析器对我来说有多“安全”？有没有可能会失败/掉线/被放弃，或者一定会成为Boost Spirit发布的主线？

Answer 1

它已经发布了，所以它消失的可能性很小。

I liberally use X3 even in production code: After all, we do have tests for a reason.

也就是说，我知道围绕分散在不同翻译单元中的规则链接有许多棘手的问题¹。

以下是让我考虑不在以下情况下使用 X3 的事项列表:

• Qi 的属性转换逻辑更吸引人(使规则更具可读性)。参见例如
• 需要 Phoenix 整合 Boost Spirit X3 cannot compile repeat directive with variable factor
• 需要跨 TU 共享规则

稍微不那么紧迫的差异是:

• 本地人参与 ( "X3 becomes a real tedium, (if not completely unbearable) with stateful rules (by which I mean rules with "locals")" )。使用 with<> 可以解决很多问题: Boost Spirit X3 cannot compile repeat directive with variable factor但我不相信它是可重入的
• 需要惰性规则调用²
• 需要词法分析器(即我不会将 Qi/Lex 语法移植到 X3，除非通过重写)

但请注意，X3 有一些亮点:

• 编译时间
• 易于生成动态规则/自定义指令(参见 boost::spirit::x3 attribute compatibility rules, intuition or code? 或 Recursive x3 parser with results passing around)
• 易于创建自定义解析器(例如 Spirit-Qi: How can I write a nonterminal parser?)

---

¹ 请参阅邮件列表，例如x3 linker error with separate TU和 linking errors while separate parser using boost spirit x3

² 事实上，通过在 with<> 上创建一个自定义解析器来创建一个可能很“容易”和 any_parser<>