c++ - Boost.Spirit.Qi : dynamically create "difference" parser at parse time

Question

可以通过二进制 - 创建“差异”解析器(减号)运算符:

rule = qi::char_ - qi::lit("}}")

甚至复合差异:

rule = qi::char_ - qi::lit("}}") - qi::lit("]]")

但是我如何在解析时生成差异解析器的整个结果？
我猜它可能是像下面这样的某种形式:

phoenix::function<difference_parser_impl> difference_parser;
rule = qi::lazy(difference_parser(qi::char_, {"}}", "]]"}));

这里，{..., ..., ...}部分实际上是一个 STL 容器，但这不是重点；我可以处理那部分。

我找到了模板qi::difference<Left, Right> -- 但我不知道如何使用它。

Answer 1

在我看来，您并不是在寻找动态“差异”表达式，而是在寻找动态“可变参数替代 (a|b|c...)”表达式:

expr - a - b - c 相当于 expr - (a|b|c)

然后您可以使用以下任一方法轻松实现差异:

expr - orCombine(alternatives)

或

!orCombine(alternatives) >> expr

现在，完成这项工作有很多困难，我将首先对此进行解释。幸运的是，有一种更简单的方法，即使用 qi::symbols，我将在之后进行演示。

棘手的事情

如果您愿意，您可以按需“生成”替代解析器表达式，需要一点技巧。我在这个答案中展示了如何做到这一点:

• Generating Spirit parser expressions from a variadic list of alternative parser expressions

但是

1. 它充满了陷阱(因为原始表达式不适合很好地复制)¹

2. 它方便地使用变量以避免中间存储(请注意用于保护未定义行为的deepcopy_):

   template<typename ...Expr>
   void parse_one_of(Expr& ...expressions)
   {
       auto parser = boost::fusion::fold(
                   boost::tie(expressions...),
                   qi::eps(false),
                   deepcopy_(arg2 | arg1)
               );
   

   看看您如何需要真正替代解析器的动态组合，我不知道如何在不增加复杂性和出现微妙错误的情况下适应您的需求(<强>相信我，我已经尝试过)。

因此，我推荐一种经过验证的真实方法，“滥用”现有的“动态”解析器:

使用 qi::symbols 进行简化

这个想法借鉴了著名的“纳比亚莱克技巧”。它使用 qi::symbols，因此具有出色的运行时性能特征²。

言归正传，这是一个如何使用它的示例，从字符串文字 vector 开始:

template <typename It, typename Skipper = qi::space_type>
    struct parser : qi::grammar<It, std::string(), Skipper>
{
    parser() : parser::base_type(start)
    {
        static const std::vector<std::string> not_accepted { "}}", "]]" };

        using namespace qi;
        exclude = exclusions(not_accepted);
        start = *(char_ - exclude);

        BOOST_SPIRIT_DEBUG_NODE(start);
    }

  private:
    qi::rule<It, std::string(), Skipper> start;

    typedef qi::symbols<char, qi::unused_type> Exclude;
    Exclude exclude;

    template<typename Elements>
    Exclude exclusions(Elements const& elements) {
        Exclude result;

        for(auto& el : elements)
            result.add(el);

        return result;
    }
};

完整的工作示例是 here: http://coliru.stacked-crooked.com/view?id=ddbb2549674bfed90e3c8df33b048574-7616891f9fd25da6391c2728423de797它打印

parse success
data: 123
trailing unparsed: ']] 4'

完整代码

供将来引用:

#include <boost/spirit/include/qi.hpp>

namespace qi    = boost::spirit::qi;

template <typename It, typename Skipper = qi::space_type>
    struct parser : qi::grammar<It, std::string(), Skipper>
{
    parser() : parser::base_type(start)
    {
        static const std::vector<std::string> not_accepted { "}}", "]]" };

        using namespace qi;
        exclude = exclusions(not_accepted);
        start = *(char_ - exclude);

        BOOST_SPIRIT_DEBUG_NODE(start);
    }

  private:
    qi::rule<It, std::string(), Skipper> start;

    typedef qi::symbols<char, qi::unused_type> Exclude;
    Exclude exclude;

    template<typename Elements>
    Exclude exclusions(Elements const& elements) {
        Exclude result;

        for(auto& el : elements)
            result.add(el);

        return result;
    }
};

int main()
{
    const std::string input = "1 2 3]] 4";
    typedef std::string::const_iterator It;
    It f(begin(input)), l(end(input));

    parser<It> p;
    std::string data;

    bool ok = qi::phrase_parse(f,l,p,qi::space,data);
    if (ok)   
    {
        std::cout << "parse success\n";
        std::cout << "data: " << data << "\n";
    }
    else std::cerr << "parse failed: '" << std::string(f,l) << "'\n";

    if (f!=l) std::cerr << "trailing unparsed: '" << std::string(f,l) << "'\n";
}

---

¹ 我相信这个问题将在即将推出的 Spirit 新版本(目前实验版本被称为“Spirit X3”)中得到解决

² 它使用 Tries查找匹配项