用Boost精神X3编写解析器有多安全？

Question

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

因为我使用了C++，所以我想使用Boost精灵。然后，我注意到有“常规”2.5.2，代码中有一个神奇的子集，名为圣灵X3。

我还注意到，提升精神X3已经被宣布/讨论/预发布两年前，然而升压精神的官方版本是2.5.2。最后，我读到：

Where is boost-spirit 3? Is it abandoned?

所以我“知道”这不是一个废弃的项目，但不是一个非常积极维护的项目。用精神X3编写解析器对我来说有多“安全”？它是否有可能失败/被丢弃/被抛弃，或者它肯定会成为提升精神释放的主线？

Answer 1

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

我甚至在生产代码中也广泛使用X3 :毕竟，我们有测试是有原因的。

尽管如此，我知道围绕着分散在不同的翻译单位的规则的联系的一些多多少少的问题。

下面列出了一些让我考虑在以下情况下不使用X3的事情：

• 其中，齐的属性转换逻辑更有诱惑力(使规则更具可读性)。见A.
• 菲尼克斯集成是理想的Boost Spirit X3 cannot compile repeat directive with variable factor
• 需要跨TUs共享规则。

稍微不那么紧迫的差异出现在以下情况：

• 当地人参与其中(https://chat.stackoverflow.com/transcript/10?m=36214226#36214226)。使用with<>：Boost Spirit X3 cannot compile repeat directive with variable factor可以解决很多问题，但我不相信它是可重入的
• 需要延迟规则调用
• 我们希望使用Lexer (也就是说，我不会将齐/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<>的基础上创建一个自定义解析器，创建一个解析器可能“很容易”。