我创建了一个测试应用程序来说明我的问题。它会解析以"a="或"b="开头并以"\r\n"分隔的整数列表。该列表包含任意顺序的多个字段出现次数。
实际上,有更多不同类型的字段需要解析。我对这种方法的反对意见在于以下表达式: [push_back(at_c<0>(_val), _1)] 在此处存在“隐藏的依赖”于赋值和MyStruct的第一个元素之间。这使得代码对更改变得脆弱。如果结构体被更改,它可能仍然可以编译,但不再执行预期的操作。
我希望有一种类似于以下结构的构造方式: [push_back(at_c<0>bind(&MyStruct::aList, arg1)(_val), _1)] 请参见this. 因此,它真正地通过名称绑定。
这种方法可行吗?还是我应该采取完全不同的方法?
#include <string>
#include <vector>
#include <iostream>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
typedef std::vector<unsigned int> uint_vector_t;
std::ostream& operator<<(std::ostream& out, const uint_vector_t &data)
{
for (unsigned int i(0); i < data.size(); i++)
{
out << data[i] << '\n';
}
return out;
}
struct MyStruct
{
uint_vector_t m_aList;
uint_vector_t m_bList;
};
BOOST_FUSION_ADAPT_STRUCT
(
MyStruct,
(uint_vector_t, m_aList)
(uint_vector_t, m_bList)
)
;
template<typename Iterator>
struct MyParser : public boost::spirit::qi::grammar<Iterator,
MyStruct()>
{
MyParser() :
MyParser::base_type(Parser, "Parser")
{
using boost::spirit::qi::uint_;
using boost::spirit::qi::_val;
using boost::spirit::qi::_1;
using boost::phoenix::at_c;
using boost::phoenix::push_back;
Parser =
*(
aParser [push_back(at_c<0>(_val), _1)]
|
bParser [push_back(at_c<1>(_val), _1)]
);
aParser = "a=" >> uint_ >> "\r\n";
bParser = "b=" >> uint_ >> "\r\n";
}
boost::spirit::qi::rule<Iterator, MyStruct()> Parser;
boost::spirit::qi::rule<Iterator, unsigned int()> aParser, bParser;
};
int main()
{
using boost::spirit::qi::phrase_parse;
std::string input("a=0\r\nb=7531\r\na=2\r\na=3\r\nb=246\r\n");
std::string::const_iterator begin = input.begin();
std::string::const_iterator end = input.end();
MyParser<std::string::const_iterator> parser;
MyStruct result;
bool succes = phrase_parse(begin, end, parser, "", result);
assert(succes);
std::cout << "===A===\n" <<result.m_aList << "===B===\n" << result.m_bList << std::endl;
}
实际上,有更多不同类型的字段需要解析。我对这种方法的反对意见在于以下表达式: [push_back(at_c<0>(_val), _1)] 在此处存在“隐藏的依赖”于赋值和MyStruct的第一个元素之间。这使得代码对更改变得脆弱。如果结构体被更改,它可能仍然可以编译,但不再执行预期的操作。
我希望有一种类似于以下结构的构造方式: [push_back(at_c<0>bind(&MyStruct::aList, arg1)(_val), _1)] 请参见this. 因此,它真正地通过名称绑定。
这种方法可行吗?还是我应该采取完全不同的方法?