如何编写一个boost :: spirit :: qi解析器来做什么'?'在正则表达式?

时间:2016-10-14 12:51:13

标签: c++ regex boost-spirit backtracking qi

让我们说我们有一个正则表达式" start:(?:( [0-9] {1,2}))? ([0-9]。*)"

匹配

std::string string1 = "start: 01 0ab";

std::string string2 = "start: 0ab";

我们也可以分别获得2个匹配的字符串。

我尝试使用boost :: spirit :: qi解析器来解析string2,但它无法匹配。

qi::rule<std::string::const_iterator, std::string()> rule1 = qi::repeat(1,2)[qi::digit];
qi::rule<std::string::const_iterator, std::string()> rule2 = qi::digit >> *qi::char_;
std::vector<std::string> attr;
auto it_begin = string2.begin();
auto it_end = string2.end();
if (qi::parse(
    it_begin,
    it_end,
    qi::lit("start:")
         >> -(qi::lit(" ") >> rule1)
         >> qi::lit(" ") >> rule2
         >> qi::eoi,
    attr))
    std::cout<<"match"<<std::endl;
else
    std::cout<<"not match"<<std::endl;

我们当然可以使用前瞻操作符来检查rule1后面的内容,但是是否有更通用的方法来实现regex操作符&#39;?&#39; ?谢谢!

1 个答案:

答案 0 :(得分:3)

我不确定期望有什么问题。这是其他模糊规则的唯一方法,因为PEG语法总是贪心。

然而,也许你没有达到最优雅的形式,因为你正在寻找“更好”的东西。这就是我要做的事。

我使用船长匹配空格¹:

    if (qi::phrase_parse(it_begin, it_end,
                "start:" >> -rule1 >> rule2 >> qi::eoi,
                qi::space, attr))

规则仍然是lexemes(因为没有船长声明):

qi::rule<It, std::string()> const 
    rule1 = qi::digit >> qi::digit >> &qi::space,
    rule2 = qi::digit >> *qi::graph;
  

注意qi::graph与空格不匹配,其中*qi::char_只是贪婪地匹配任何

<强> Live On Coliru

#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;

int main() {
    using It = std::string::const_iterator;

    // implicitly lexemes (no skipper in rule declaration)
    qi::rule<It, std::string()> const 
        rule1 = qi::digit >> qi::digit >> &qi::space,
        rule2 = qi::digit >> *qi::graph;

    for (std::string const input : { "start: 01 0ab", "start: 0ab", }) {
        std::vector<std::string> attr;

        auto it_begin = input.begin();
        auto it_end   = input.end();

        if (qi::phrase_parse(it_begin, it_end, "start:" >> -rule1 >> rule2 >> qi::eoi, qi::space, attr))
            std::cout << "match\n";
        else
            std::cout << "not match\n";

        if (it_begin!=it_end)
            std::cout<<"Remaining unparsed input: '" << std::string(it_begin, it_end) << "'\n";
    }
}

打印

match
match

¹这假设多个/不同的空格是可以的。如果换行不应计为空格,请使用qi::blank代替qi::space