提升精神:解析列表到结构的不同字段
Boost-Spirit: Parsing lists into different fields of a struct
我要开始使用boost-spirit,但是我卡住了,错误消息并不容易理解。
首先,我有以下文本格式:
(111, 222, 333, ...) {
X 231
Y 227
X 54
Z 41156
Y 1112
...
}
一个包含INT列表的标头和一个包含(x | y | Z)的无序序列的主体,然后每个数字。我想将其解析为以下结构:
struct my_struct {
std::vector<int> head;
std::vector<int> X;
std::vector<int> Y;
std::vector<int> Z;
};
到目前为止,我已经有这个解析器:
BOOST_FUSION_ADAPT_STRUCT(
my_struct,
(std::vector<int>, head)
(std::vector<int>, X)
(std::vector<int>, Y)
(std::vector<int>, Z)
)
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
template<typename Iterator, typename Skipper = ascii::space_type>
struct my_parser : qi::grammar<Iterator, my_struct(), Skipper> {
my_parser() : my_parser::base_type(start) {
start %= '(' >> head >> ')' >> '{' >> body >> '}';
head = int_ % ',';
body = +(X | Y | Z);
X = 'X' >> int_;
Y = 'Y' >> int_;
Z = 'Z' >> int_;
}
qi::rule<Iterator, my_struct(), Skipper> start;
qi::rule<Iterator, std::vector<int>(), Skipper> head;
qi::rule<Iterator, std::vector<int>(), Skipper> body;
qi::rule<Iterator, std::vector<int>(), Skipper> X;
qi::rule<Iterator, std::vector<int>(), Skipper> Y;
qi::rule<Iterator, std::vector<int>(), Skipper> Z;
};
到目前为止,这很好地编译了,但是结果显然是错误的。使用上面的示例,结果是:
my_struct {
header = [ 111, 222, 333 ]
X = [ 231, 227, 54, 41156, 1112 ]
Y = []
Z = []
}
我很确定我需要的是以下内容,但是我无法编译,我不明白为什么。
template<typename Iterator, typename Skipper = ascii::space_type>
struct my_parser : qi::grammar<Iterator, my_struct(), Skipper> {
my_parser() : my_parser::base_type(start) {
start %= '(' >> head >> ')' >> '{' >> body(_val) >> '}';
head = int_ % ',';
body = +( X(bind(&my_struct::X, _r1))
| Y(bind(&my_struct::Y, _r1))
| Z(bind(&my_struct::Z, _r1))
);
X = 'X' >> int_[push_back(_r1, _1)];
Y = 'Y' >> int_[push_back(_r1, _1)];
Z = 'Z' >> int_[push_back(_r1, _1)];
}
qi::rule<Iterator, my_struct(), Skipper> start;
qi::rule<Iterator, std::vector<int>(), Skipper> head;
qi::rule<Iterator, void(my_struct), Skipper> body;
qi::rule<Iterator, void(std::vector<int>), Skipper> X;
qi::rule<Iterator, void(std::vector<int>), Skipper> Y;
qi::rule<Iterator, void(std::vector<int>), Skipper> Z;
};
我真的不喜欢使用语义动作,但是考虑到AST和输入的选择,我认为没有什么选择。
我会简化语法:
rule = '(' >> (int_[head_(_val, _1)] % ',') >> ')'
>> '{' >> +(
'X' >> int_[X_(_val, _1)]
| 'Y' >> int_[Y_(_val, _1)]
| 'Z' >> int_[Z_(_val, _1)]
)
>> '}';
我会创建凤凰函数来推动元素:
template <std::vector<int> my_struct::*m> struct push {
void operator()(my_struct& ms, int v) const { (ms.*m).push_back(v); }
};
现在,这很简单:
px::function<push<&my_struct::head> > head_;
px::function<push<&my_struct::X> > X_;
px::function<push<&my_struct::Y> > Y_;
px::function<push<&my_struct::Z> > Z_;
demo
活在coliru
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
namespace qi = boost::spirit::qi;
namespace px = boost::phoenix;
struct my_struct {
std::vector<int> head;
std::vector<int> X;
std::vector<int> Y;
std::vector<int> Z;
};
template<typename Iterator>
struct my_parser : qi::grammar<Iterator, my_struct()> {
my_parser() : my_parser::base_type(start) {
using namespace qi;
using px::push_back;
rule = '(' >> (int_[head_(_val, _1)] % ',') >> ')'
>> '{' >> +(
'X' >> int_[X_(_val, _1)]
| 'Y' >> int_[Y_(_val, _1)]
| 'Z' >> int_[Z_(_val, _1)]
)
>> '}';
start = skip(space) [rule];
}
private:
template <std::vector<int> my_struct::*m> struct push {
void operator()(my_struct& ms, int v) const { (ms.*m).push_back(v); }
};
px::function<push<&my_struct::head> > head_;
px::function<push<&my_struct::X> > X_;
px::function<push<&my_struct::Y> > Y_;
px::function<push<&my_struct::Z> > Z_;
qi::rule<Iterator, my_struct()> start;
qi::rule<Iterator, my_struct(), qi::space_type> rule;
};
int main() {
using It = boost::spirit::istream_iterator;
It f(std::cin >> std::noskipws), l;
my_struct data;
if (parse(f, l, my_parser<It>{}, data)) {
std::cout << "Parsed:";
std::copy(data.head.begin(), data.head.end(), std::ostream_iterator<int>(std::cout << "nhead: ", " " ));
std::copy(data.X.begin(), data.X.end(), std::ostream_iterator<int>(std::cout << "nX: ", " " ));
std::copy(data.Y.begin(), data.Y.end(), std::ostream_iterator<int>(std::cout << "nY: ", " " ));
std::copy(data.Z.begin(), data.Z.end(), std::ostream_iterator<int>(std::cout << "nZ: ", " " ));
std::cout << "n";
} else {
std::cout << "Parse failedn";
}
if (f != l)
std::cout << "Remaining unparsed input: '" << std::string(f,l) << "'n";
}
对于输入(111, 222, 333) { X 231 Y 227 X 54 Z 41156 Y 1112 }
打印:
Parsed:
head: 111 222 333
X: 231 54
Y: 227 1112
Z: 41156
Remaining unparsed input: '
'
相关文章:
- 将结构字段的类型展开为可变模板参数
- 结构字段名称与 GDB 中的 STL 数组冲突
- 初始化派生结构的基部分/意外打包派生结构字段以对齐基结构的间隙
- 如何为结构字段动态分配字符空间
- 实例化时结构字段中的默认值
- 如何使用函数的输出初始化 const 数组结构字段?
- 无法访问 Arduino 结构字段。错误"退出状态 1。xxxx 不命名类型"
- 列出常量和数组结构字段的初始化
- 如何使用 gtest 构造检查存储在向量中的结构(字段)?
- 将带有结构字段的结构从C 返回到C#PINVOKE
- 嵌套结构字段的 clang 格式规则
- 如何匹配通过引用传递给模拟函数的结构字段
- 在C 中获得相反的结构字段
- 如何为我的 Vulkan 类创建此通用数据结构字段
- 如何初始化结构字段 std::map<std::string, std::string>称为参数
- 在编译时使用模板在跨结构字段中迭代
- 正在取消引用自定义结构字段的迭代器
- 结构字段上的智能指针
- 使用C预处理器在结构字段上进行迭代
- 结构字段的默认初始化行为