Question

假设我们要解析内部产品表达式并获得结果。

"SUM({1, 2, 3} .* {4, 5, 6})"

qi::_1和qi::_2非常便于引用解析器中的 i 属性。

void Test(std::string const& input) {
    qi::rule<decltype(boost::begin(input)), int(), qi::ascii::space_type> ruleSum =
        (
            qi::lit("SUM") >> '(' >>
            '{' >> (qi::int_ % ',') >> '}' >>
            ".*" >>
            '{' >> (qi::int_ % ',') >> '}' >>
            ')'
        )[qi::_pass=phx::bind(
            [](std::vector<int> const& vec1, std::vector<int> const& vec2, int& result) {
                if(vec1.size() != vec2.size())
                    return false;
                result = std::inner_product(boost::begin(vec1), boost::end(vec1), boost::begin(vec2), 0);
                return true;
            },
            qi::_1, qi::_2, qi::_val
        )];
    int attr = 0;
    if( qi::phrase_parse(boost::begin(input), boost::end(input), ruleSum >> qi::eoi, qi::ascii::space, attr) ) {
        std::cout<<"Match! result = "<<attr<<std::endl;
    } else {
        std::cout<<"Not match!"<<std::endl;
    }
}

在精神x3中，没有这样的qi :: _ 1 ... qi :: _ N.我应该使用一对向量作为属性吗？解析像这个内在产品这样的东西的推荐方法是什么？

namespace inner_product {
    x3::rule<struct idInnerProduct, int> const ruleInnerProduct("InnerProduct");
    auto const ruleInnerProduct_def =
        (
            x3::rule<struct _, std::pair<std::vector<int>, std::vector<int>>>{} =
                x3::lit("SUM") >> '(' >>
                '{' >> (x3::int_ % ',') >> '}' >>
                ".*" >>
                '{' >> (x3::int_ % ',') >> '}' >>
                ')'
        )[([](auto& ctx){
            if(_attr(ctx).first.size() != _attr(ctx).second.size()) {
                _pass(ctx) = false;
            } else {
                x3::_val(ctx) = std::inner_product(
                    boost::begin(x3::_attr(ctx).first),
                    boost::end(x3::_attr(ctx).first),
                    boost::begin(x3::_attr(ctx).second),
                    0
                );
            }
        })];
    BOOST_SPIRIT_DEFINE(ruleInnerProduct)
}

Answer 1

属性是融合序列。其成员为vector<int>。

融合序列不是一对，因此您无法使用.first或.second。

我写道：

void Test(std::string const& input) {
    namespace x3 = boost::spirit::x3;

    auto ruleSum = x3::rule<struct _, int> {} =
        (
            x3::lit("SUM") >> '(' >>
            '{' >> (x3::int_ % ',') >> '}' >> ".*" >>
            '{' >> (x3::int_ % ',') >> '}' >>
            ')'
        )[( [](auto& ctx) {
                using boost::fusion::at_c;
                // dissect context
                auto& pass = x3::_pass(ctx);
                auto& result = x3::_val(ctx);
                std::vector<int> const& vec1 = at_c<0>(x3::_attr(ctx));
                std::vector<int> const& vec2 = at_c<1>(x3::_attr(ctx));

                // do the work
                pass = (vec1.size() == vec2.size());
                if (pass)
                    result = std::inner_product(boost::begin(vec1), boost::end(vec1), boost::begin(vec2), 0);
            })
        ];

    int attr = 0;
    if( x3::phrase_parse(boost::begin(input), boost::end(input), ruleSum >> x3::eoi, x3::ascii::space, attr) ) {
        std::cout<<"Match! result = "<<attr<<std::endl;
    } else {
        std::cout<<"Not match!"<<std::endl;
    }
}

查看 Live On Coliru

打印：

Match! result = 32

如何用x3中的qi :: _ 1 / qi :: _ N重写qi解析器？

1 个答案: