Question

我正在使用一个跳过空白的解析器。在某一时刻，我不想跳过，所以我想使用qi::lexeme。但是，这不能编译或弄乱我的结果。我尤其不明白最后一点。 lexeme的属性如何处理？

以下是我要执行的操作的示例：

#include <iostream>
#include <iomanip>
#include <string>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/include/vector.hpp>

namespace qi = boost::spirit::qi;
namespace fu = boost::fusion;

struct printer_type
{
    void operator() (int i) const
    {
        std::cout << i << ' ';
    }

    void operator() (std::string s) const
    {
        std::cout << '"' << s << '"' << ' ';
    }

} printer;

int main() {
    for (std::string str : { "1foo 13", "42 bar 13", "13cheese 8", "101pencil13" }) {
        auto iter = str.begin(), end = str.end();

        qi::rule<std::string::iterator, qi::blank_type, fu::vector<int, std::string, int>()> parser = qi::int_ >> +qi::alpha >> qi::int_;

        fu::vector<int, std::string, int> result;
        bool r = qi::phrase_parse(iter, end, parser, qi::blank, result);

        std::cout << " --- " << std::quoted(str) << " --- ";
        if (r) {
            std::cout << "parse succeeded: ";
            fu::for_each(result, printer);
            std::cout << '\n';
        } else {
            std::cout << "parse failed.\n";
        }

        if (iter != end) {
            std::cout << " Remaining unparsed: " << std::string(iter, str.end()) << '\n';
        }
    }
}

注意此行：

qi::rule<std::string::iterator, qi::blank_type, fu::vector<int, std::string, int>()> parser = 
                      qi::int_ >> +qi::alpha >> qi::int_;

好的，所以我们要一个int，然后是一个字符串，然后再一个int。但是，我不想在第一个int和字符串之间跳过空格，这里必须没有空格。如果我使用lexeme，则综合属性会混乱。

没有lexeme的运行将得到以下结果：

--- "1foo 13" --- parse succeeded: 1 "foo" 13 
 --- "42 bar 13" --- parse succeeded: 42 "bar" 13 
 --- "13cheese 8" --- parse succeeded: 13 "cheese" 8 
 --- "101pencil13" --- parse succeeded: 101 "pencil" 13

所以一切都很好，这很好。但是，第二个示例（42 bar 13）无法成功解析，因此这是第一个int和字符串（lexeme）周围带有qi::lexeme[qi::int_ >> +qi::alpha] >> qi::int_;的结果：

" 0  "1foo 13" --- parse succeeded: 1 "
 --- "42 bar 13" --- parse failed.
 Remaining unparsed: 42 bar 13
 --- "13cheese 8" --- parse succeeded: 13 " 0 
" 0  "101pencil13" --- parse succeeded: 101 "

什么！？我丝毫不知道发生了什么，我很高兴得到启发：）

侧面问题：我想完全省略lexeme并定义一个不跳过的子规则。在这种情况下如何指定属性？

子规则则具有属性fusion::vector<int, std::string>()，但是我仍然希望主规则将fusion::vector<int, std::string, int>()作为属性，而不是fusion::vector<fusion::vector<int, std::string>, int>()（仍然无法编译）。

Answer 1

使用no_skip指令：qi::int_ >> qi::no_skip[+qi::alpha] >> qi::int_

 --- "1foo 13" --- parse succeeded: 1 "foo" 13 
 --- "42 bar 13" --- parse failed.
 Remaining unparsed: 42 bar 13
 --- "13cheese 8" --- parse succeeded: 13 "cheese" 8 
 --- "101pencil13" --- parse succeeded: 101 "pencil" 13

https://wandbox.org/permlink/PdS14l0b3qjJwz5S

Sooo ....什么！？我丝毫不知道发生了什么，我很高兴得到启发：）

正如@llonesmiz所述，qi::lexeme[qi::int_ >> +qi::alpha] >> qi::int_解析器绑定到tuple<tuple<int,std::string>,int>，您已经触发了 trac 8013这里有两次错误/错误（第一次是整个序列解析器，第二次是lexeme内部的序列）。

增强精神表情素及其属性

1 个答案: