如何解析条目后跟分号或换行符（boost :: spirit）？

Question

在Boost :: Spirit中，我该如何解析后跟分号或带有可选分号的换行符的条目？

示例输入，其中每个条目是一个int和双：

12 1.4; 
63 13.2 
2423 56.4 ; 5 8.1 

下面是示例代码只是解析条目随后空白：

#include <iostream> 
#include <boost/foreach.hpp> 
#include <boost/spirit/include/qi.hpp> 
#include <boost/spirit/include/support_istream_iterator.hpp> 
#include <boost/fusion/include/std_pair.hpp> 
namespace qi = boost::spirit::qi; 

typedef std::pair<int, double> Entry; 

template <typename Iterator, typename Skipper> 
struct MyGrammar : qi::grammar<Iterator, std::vector<Entry>(), Skipper> { 
    MyGrammar() : MyGrammar::base_type(entries) { 
    entry = qi::int_ >> qi::double_; 
    entries = +entry; 
    } 
    qi::rule<Iterator, Entry(), Skipper> entry; 
    qi::rule<Iterator, std::vector<Entry>(), Skipper> entries; 
}; 

int main() { 
    typedef boost::spirit::istream_iterator It; 
    std::cin.unsetf(std::ios::skipws); 
    It it(std::cin), end; 

    MyGrammar<It, qi::space_type> entry_grammar; 
    std::vector<Entry> entries; 
    if (qi::phrase_parse(it, end, entry_grammar, qi::space, entries) 
     && it == end) { 
    BOOST_FOREACH(Entry const& entry, entries) { 
     std::cout << entry.first << " and " << entry.second << std::endl; 
    } 
    } 
    else { 
    std::cerr << "FAIL" << std::endl; 
    exit(1); 
    } 
    return 0; 
} 

现在，来解析方式予想要（每个条目后面跟着分号或换行符，可选择分号），我将其替换为：

entries = +entry; 

通过这样的：

entries = +(entry >> (qi::no_skip[qi::eol] || ';')); 

其中boost::spirit操作者||指：（a后跟可选B）或b。

12 1.4 
63 13.2 

这是有道理的，因为no_skip的空间不匹配，但我没能找到一个解决办法：但是如果在这个例子中输入1.4后空间给出了一个错误。

Answer 1

好吧，我发现这工作得很好：

entries = +(entry >> (qi::no_skip[*qi::lit(' ') >> qi::eol] || ';')); 

所以随之而来的问题就解决了。

但是，如果一个选项卡来ofter的1.4在

12 1.4 
63 13.2 

这将是更好还是会失败，但它不会编译：

entries = +(entry >> (qi::no_skip[*qi::space >> qi::eol] || ';')); 

错误：

error: invalid static_cast from type ‘const std::pair<int, double\ 
>’ to type ‘int’ 

Answer 2

这是我的要求。

• 你可能想知道qi::blank（这是除了qi::eolqi::space）。这将消除对no_skip的需求。

• 核心语法变为：

  entry = qi::int_ >> qi::double_; 
      entries = entry % +qi::char_("\n;") >> qi::omit[*qi::space]; 
  

• 使用BOOST_SPIRIT_DEBUG来了解解析失败，为什么失败（如回溯）

输出：

12 and 1.4 
63 and 13.2 
2423 and 56.4 
5 and 8.1 

全码：

//#define BOOST_SPIRIT_DEBUG 
#include <iostream> 
#include <boost/foreach.hpp> 
#include <boost/spirit/include/qi.hpp> 
#include <boost/spirit/include/support_istream_iterator.hpp> 
#include <boost/fusion/include/std_pair.hpp> 
namespace qi = boost::spirit::qi; 

typedef std::pair<int, double> Entry; 

template <typename Iterator, typename Skipper> 
struct MyGrammar : qi::grammar<Iterator, std::vector<Entry>(), Skipper> { 
    MyGrammar() : MyGrammar::base_type(entries) { 
     entry = qi::int_ >> qi::double_; 
     entries = 
      entry % +qi::char_("\n;")   // the data 
      >> qi::omit[*qi::space] > qi::eoi; // trailing whitespace 
     BOOST_SPIRIT_DEBUG_NODE(entry); 
     BOOST_SPIRIT_DEBUG_NODE(entries); 
    } 
    qi::rule<Iterator, Entry(), Skipper> entry; 
    qi::rule<Iterator, std::vector<Entry>(), Skipper> entries; 
}; 

int main() { 
    typedef boost::spirit::istream_iterator It; 
    std::cin.unsetf(std::ios::skipws); 
    It it(std::cin), end; 

    MyGrammar<It, qi::blank_type> entry_grammar; 
    std::vector<Entry> entries; 
    if (qi::phrase_parse(it, end, entry_grammar, qi::blank, entries) 
      && it == end) { 
     BOOST_FOREACH(Entry const& entry, entries) { 
      std::cout << entry.first << " and " << entry.second << std::endl; 
     } 
    } 
    else { 
     std::cerr << "FAIL" << std::endl; 
     exit(1); 
    } 
    return 0; 
}