Boost C++ 库

描述

xpressive 是一个高级的、面向对象的 C++ 正则表达式模板库。正则表达式可以写成在运行时解析的字符串，也可以写成在编译时解析的表达式模板。正则表达式可以相互引用，也可以递归地引用自身，允许您从中构建任意复杂的语法。

动机

如果您需要在 C++ 中操作文本，通常有两种不相关的选择：正则表达式引擎或解析器生成器。正则表达式引擎（如 Boost.Regex）强大而灵活；模式表示为可以在运行时指定的字符串。但是，这也意味着语法错误在运行时才会检测到。此外，正则表达式不太适合高级文本处理任务，例如匹配平衡的嵌套标签。这些任务传统上由解析器生成器处理（如 Spirit 解析器框架）。这些工具更强大但灵活性较差。它们通常不允许您动态地修改语法规则。此外，它们没有正则表达式的详尽回溯语义，这使得编写某些类型的模式更具挑战性。

xpressive 将这两种方法无缝地结合在一起，并在 C++ 文本处理领域占据了独特的地位。使用 xpressive，您可以像使用 Boost.Regex 一样使用它，将正则表达式表示为字符串。或者您可以像使用 Spirit 一样使用它，将您的正则表达式编写为 C++ 表达式，享受专门用于文本操作的嵌入式语言的所有好处。更重要的是，您可以混合这两种方法以获得两者的好处，编写正则表达式语法，其中一些正则表达式是静态绑定的——由编译器硬编码和语法检查，而另一些是动态绑定的并在运行时指定。这些正则表达式可以递归地相互引用，从而匹配普通正则表达式无法匹配的字符串模式。

影响和相关工作

xpressive 的接口设计受到了 John Maddock 的 Boost.Regex 库和他的将正则表达式添加到标准库的 提案 的强烈影响。我还从 Joel de Guzman 的 Spirit 解析器框架中汲取了大量灵感，该框架是静态 xpressive 的模型。其他灵感来源是 Perl 6 的重新设计和 GRETA。（您可以在这里阅读 Perl 6 将为正则表达式文化带来的变化的总结。）