5

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

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

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。1.4但是，如果在此示例输入之后有空格，则会出现错误：

12 1.4
63 13.2

空间不匹配是有道理的，no_skip但我无法找到解决方案。

4

2 回答 2

6

这是我的看法。

  • 您可能想知道qi::blank（qi::space除了qi::eol）。这将消除对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;
}
于 2012-05-20T01:34:24.130 回答
1

好的，我发现这很好用：

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

所以直接的问题就解决了。

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’
于 2012-05-20T00:46:35.900 回答