X3:这个解析器是*(char - eol),消耗所有行吗?

时间:2017-08-11 00:29:06

标签: c++ parsing boost-spirit boost-spirit-x3

我将我的应用程序基于此示例,并获得完全相同的结果。由于某种原因,输入字符串的内容都被解析为融合结构' comments',并且没有任何内容被解析为融合结构'数字'。所以不确定我在哪里出错。

namespace client { 
    namespace ast {

        struct number {
            int num1;
            int num2;  
        };

        struct comment {
            std::string text;
            bool dummy;
        };

        struct input {
            std::vector<comment> comments;  
            std::vector<number> numbers;
        };
    } 
}

BOOST_FUSION_ADAPT_STRUCT(client::ast::comment, text, dummy)
BOOST_FUSION_ADAPT_STRUCT(client::ast::number, num1, num2)
BOOST_FUSION_ADAPT_STRUCT(client::ast::input, comments, numbers)

namespace client {      
    namespace parser {

        namespace x3 = boost::spirit::x3;
        using namespace x3;

        x3::attr_gen dummy;

        typedef std::string::const_iterator It;

        using namespace x3;

        auto const comment = *(char_ - eol) >> dummy(false);
        auto const number = int_ >> int_;

        auto lines = [](auto p) { return *(p >> eol); };

        auto const input = 
            lines(comment) >> 
            lines(number);
   }
}

int main()
{
    namespace x3 = boost::spirit::x3;

    std::string const iss("any char string here\n1 2\n");

    auto iter = iss.begin(), eof = iss.end();

    client::ast::input types;

    bool ok = parse(iter, eof, client::parser::input, types);

    if (iter != eof) {
        std::cout << "Remaining unparsed: '" << std::string(iter, eof) << "'\n";
    }
    std::cout << "Parsed: " << (100.0 * std::distance(iss.begin(), iter) / iss.size()) << "%\n";
    std::cout << "ok = " << ok << std::endl;

    // This range loop prints all contents if input.
    for (auto& item : types.comments)    { std::cout << "comment: " << boost::fusion::as_deque(item) << "\n"; }

    // This loop prints nothing.
    for (auto& item : types.numbers)    { std::cout << "number: " << boost::fusion::as_deque(item) << "\n"; }
}  

我的大型应用程序使用大型输入文件和几个AST来做同样的事情,但似乎我的所有示例都被评论解析器使用。

这是完整的运行示例。

http://coliru.stacked-crooked.com/a/f983b26d673305a0

思想?

1 个答案:

答案 0 :(得分:1)

你从我的答案中得到了语法的想法:X3, how to populate a more complex AST?

之所以有效,是因为线条格式不明确。实际上&#34;变体&#34;你需要特别注意的方法,我注意到在这个子弹中:

  
      
  • 部门需要在团队之前订购,或者你得到&#34;团队&#34;匹配而不是部门
  •   

你的语法中存在同样的含糊之处。 *(char_ - eol)匹配"1 2"就好了,显然它会被添加为评论。您将不得不消除歧义语法或以某种方式强制切换到现在解析数字行&#34;模式。

如果您完全不关心数字行之前的内容,请使用x3::seek [ lines(number) ]