【问题标题】:boost spirit qi match multiple elements提升灵气搭配多种元素
【发布时间】:2013-10-06 17:51:42
【问题描述】:

我想创建一个基于提升精神 qi 的解析器,它将能够解析整数值列表。这显然非常简单,并且有很多例子。该列表虽然比逗号分隔的列表更智能,但它可能看起来像:

17, 5, 斐波那契(2, 4), 71, 99, 范围(5, 7)

解析器的结果应该是具有以下值的 std::vector:

17、5、1、2、3、71、99、5、6、7

fibonacci(2, 4) 的结果是 1, 2, 3 而 range(5, 7) 的结果是 5, 6, 7

编辑:我正在寻找的是,如果我已经拥有具有属性 int(例如 int_)的解析器和具有属性 std::vector fibonacci 和 range 的解析器,我如何将结果组合到单个解析器中。比如:

list %= *(int_ | elements [ fibonacci | range ] );

如果元素是魔法,将产生必要的魔法,结果形成斐波那契以适合列表。

注意:我不是在寻找包含附加功能的解决方案,例如

list = *(int_[push_back(_val, _1)] | fibonacci[push_back(_val, _1)] | range[push_back(_val, _1)] ] );

【问题讨论】:

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


    【解决方案1】:

    这是一个简单的例子:Live On Coliru

    typedef std::vector<int64_t> data_t;
    
    value_list       = -value_expression % ',';
    value_expression = macro | literal;
    literal          = int_;
    
    macro            = (_functions > '(' > value_list > ')')
        [ _pass = phx::bind(_1, _2, _val) ];
    

    其中_functionsqi::symbols 函数表:

    qi::symbols<char, std::function<bool(data_t const& args, data_t& into)> > _functions;
    

    现在,请注意输入 "17, 5, fibonacci(2, 4), 71, 99, range(5, 7)" 会导致

    parse success
    data: 17 5 1 2 3 71 99 5 6 7 
    

    但您甚至可以变得更时髦:"range(fibonacci(13, 14))" 结果:

    parse success
    data: 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 
    

    如您所见,它会打印 [fib(13)..fib(14)] which is [233..377] (Wolfram Alpha) 的范围。

    完整代码(包括fibonaccirange 的演示实现:)):

    //#define BOOST_SPIRIT_DEBUG
    #define BOOST_SPIRIT_USE_PHOENIX_V3
    #include <boost/fusion/adapted.hpp>
    #include <boost/spirit/include/qi.hpp>
    #include <boost/spirit/include/karma.hpp>
    #include <boost/spirit/include/phoenix.hpp>
    
    namespace qi    = boost::spirit::qi;
    namespace karma = boost::spirit::karma;
    namespace phx   = boost::phoenix;
    
    typedef std::vector<int64_t> data_t;
    
    template <typename It, typename Skipper = qi::space_type>
        struct parser : qi::grammar<It, data_t(), Skipper>
    {
        parser() : parser::base_type(value_list)
        {
            using namespace qi;
    
            value_list       = -value_expression % ',';
            value_expression = macro | literal;
            literal          = int_;
    
            macro            = (_functions > '(' > value_list > ')')
                [ _pass = phx::bind(_1, _2, _val) ];
    
            _functions.add("fibonacci", &fibonacci);
            _functions.add("range", &range);
    
            BOOST_SPIRIT_DEBUG_NODES((value_list)(value_expression)(literal)(macro));
        }
    
      private:
        static bool fibonacci(data_t const& args, data_t& into) {
            // unpack arguments
            if (args.size() != 2)
                return false;
            auto f = args[0], l = args[1];
    
            // iterate
            uint64_t gen0 = 0, gen1 = 1, next = gen0 + gen1;
            for(auto i = 0u; i <= l; ++i)
            {
                switch(i) {
                    case 0: if (i>=f) into.push_back(gen0); break;
                    case 1: if (i>=f) into.push_back(gen1); break;
                    default:
                        {
                            next = gen0 + gen1;
                            if (i>=f) into.push_back(next); 
                            gen0 = gen1;
                            gen1 = next;
                            break;
                        }
                }
            }
    
            // done
            return true;
        }
    
        static bool range(data_t const& args, data_t& into) {
            // unpack arguments
            if (args.size() != 2)
                return false;
            auto f = args[0], l = args[1];
    
            if (l>f)
                into.reserve(1 + l - f + into.size());
            for(; f<=l; ++f)
                into.push_back(f); // to optimize
    
            return true;
        }
    
        qi::rule<It, data_t(),  Skipper> value_list ;
        qi::rule<It, data_t(),  Skipper> value_expression, macro;
        qi::rule<It, int64_t(), Skipper> literal;
    
        qi::symbols<char, std::function<bool(data_t const& args, data_t& into)> > _functions;
    };
    
    bool doParse(const std::string& input)
    {
        typedef std::string::const_iterator It;
        auto f(begin(input)), l(end(input));
    
        parser<It, qi::space_type> p;
        data_t data;
    
        try
        {
            bool ok = qi::phrase_parse(f,l,p,qi::space,data);
            if (ok)   
            {
                std::cout << "parse success\n";
                std::cout << "data: " << karma::format_delimited(karma::auto_, ' ', data) << "\n";
            }
            else      std::cerr << "parse failed: '" << std::string(f,l) << "'\n";
    
            if (f!=l) std::cerr << "trailing unparsed: '" << std::string(f,l) << "'\n";
            return ok;
        } catch(const qi::expectation_failure<It>& e)
        {
            std::string frag(e.first, e.last);
            std::cerr << e.what() << "'" << frag << "'\n";
        }
    
        return false;
    }
    
    int main()
    {
        assert(doParse("range(fibonacci(13, 14))"));
    }
    

    【讨论】:

    • 这很酷,我看得出来。不过我需要一些时间来吸收它
    • @gsf 真的很小,整个“技巧”在phx::bind(_1,...) 中调用_functions '注册'的函数。
    • 现在,这又快又脏。如果您有一些更高级的东西,请参阅this answer,它解析包含函数评估并使用 AST 表示的表达式语法。有关跳过 AST 创建的方法,请参阅 the other answer there(如在此答案中)
    • 如果宏从宏类型返回一个属性怎么办。你能用 attr_cast 触发从宏类型到 std::vector 的转换吗
    • 你知道,我看不出这增加了什么,但是是的,你完全可以。
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2021-12-18
    相关资源
    最近更新 更多