4

我正在学习boost::spirit，我正在尝试阅读一些文本并将其解析为结构。

例如，在我的下面"2: 4.6"被解析为 int2和 double ：4.6TestStruct

#include <iostream>
#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;

struct TestStruct {
  int myint;
  double mydouble;
  TestStruct() {}
  TestStruct(std::pair<int,double> p) : myint(p.first), mydouble(p.second) {}
};

template <typename Iterator, typename Skipper>
struct MyGrammar : qi::grammar<Iterator, TestStruct(), Skipper> {
  MyGrammar() : MyGrammar::base_type(mystruct) {
    mystruct0 = qi::int_ >> ":" >> qi::double_;
    mystruct = mystruct0;
  }
  qi::rule<Iterator, std::pair<int,double>(), Skipper> mystruct0;
  qi::rule<Iterator, TestStruct(), Skipper> mystruct;
};

int main() {
  typedef boost::spirit::istream_iterator It;
  std::cin.unsetf(std::ios::skipws);
  It it(std::cin), end; // input example: "2: 3.4"                                                                              

  MyGrammar<It, qi::space_type> gr;
  TestStruct ts;
  if (qi::phrase_parse(it, end, gr, qi::space, ts) && it == end)
    std::cout << ts.myint << ", " << ts.mydouble << std::endl;
  return 0;
}

它工作得很好，但我想知道如何简化这段代码？

例如，我想摆脱mystruct0语法规则，该规则仅用于标记类型std::pair<int,double>，然后用于从规则中自动构造TestStruct对象。mystruct

如果可能的话，我还希望能够摆脱TestStruct构造函数std::pair。

那么，下面的代码可以以某种方式进行编译吗？那将是一个更好的解决方案：

struct TestStruct {
  int myint;
  double mydouble;
  TestStruct() {}
  TestStruct(int i, double d) : myint(i), mydouble(d) {}
};

template <typename Iterator, typename Skipper>
struct MyGrammar : qi::grammar<Iterator, TestStruct(), Skipper> {
  MyGrammar() : MyGrammar::base_type(mystruct) {
    mystruct = qi::int_ >> ":" >> qi::double_;
  }
  qi::rule<Iterator, TestStruct(), Skipper> mystruct;
};

int main() {
  typedef boost::spirit::istream_iterator It;
  std::cin.unsetf(std::ios::skipws);
  It it(std::cin), end; // input example: "2: 3.4"                                                                              

  MyGrammar<It, qi::space_type> gr;
  TestStruct ts;
  if (qi::phrase_parse(it, end, gr, qi::space, ts) && it == end)
    std::cout << ts.myint << ", " << ts.mydouble << std::endl;
  return 0;
}

不幸的是，编译器说：

boost_1_49_0/include/boost/spirit/home/qi/detail/assign_to.hpp:123: 
error: no matching function for call to ‘TestStruct::TestStruct(const int&)’
4

2 回答 2

3

为了能够将值“按顺序”解析为结构，您需要将其转换为元组，如此处fusion所述。

在您的情况下，这意味着您需要

  1. 包括必要的标题

    #include <boost/fusion/adapted/struct/adapt_struct.hpp>

  2. 使用 fusion-adapt 结构宏。最好把它放在声明之后TestStruct：

    BOOST_FUSION_ADAPT_STRUCT(
        TestStruct,
        (int,myint)
        (double,mydouble)
     )

通过这两个更改，您的简化版本可以编译并产生所需的结果。不确定它现在是否真的简单得多——但如果您打算向结构添加更多成员，这是一个很好的起点，因为它可能有助于将来简化事情。

我看不到您可以进行任何其他重大更改以使程序更简单。

于 2012-05-05T12:09:26.837 回答
2

是的，可以编译代码。事实上，你可以不用构造函数：默认的（编译器生成的）构造函数就可以了。

您需要做的就是将您的结构调整为融合序列。（作为奖励，这也适用于业力。）
这正是std::pair最初产生作用的魔力。

#include <iostream>
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/adapted/struct.hpp>
namespace qi = boost::spirit::qi;

struct TestStruct {
    int myint;
    double mydouble;
};

BOOST_FUSION_ADAPT_STRUCT(TestStruct, (int, myint)(double, mydouble));

template <typename Iterator, typename Skipper>
struct MyGrammar : qi::grammar<Iterator, TestStruct(), Skipper> {
    MyGrammar() : MyGrammar::base_type(mystruct) {
        mystruct = qi::int_ >> ":" >> qi::double_;
    }
    qi::rule<Iterator, TestStruct(), Skipper> mystruct;
};

int main() {
    typedef std::string::const_iterator It;
    const std::string input("2: 3.4");
    It it(input.begin()), end(input.end());

    MyGrammar<It, qi::space_type> gr;
    TestStruct ts;

    if (qi::phrase_parse(it, end, gr, qi::space, ts) && it == end)
        std::cout << ts.myint << ", " << ts.mydouble << std::endl;

    return 0;
}
于 2012-05-05T14:25:51.390 回答