我用精神写了一个简单的解析器,类似于json(但更简单,更专业)。通过遵循here中的建议,我尝试通过跟踪错误位置来实现错误处理。特别是,我的解析功能如下
bool parse_properties(std::istream& is, const std::string &filename, PropertyList &pset)
{
namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
namespace classic = boost::spirit::classic;
typedef std::istreambuf_iterator<char> base_iterator_type;
base_iterator_type in_begin(is);
// convert input iterator to forward iterator, usable by spirit parser
typedef boost::spirit::multi_pass<base_iterator_type> forward_iterator_type;
forward_iterator_type fwd_begin = boost::spirit::make_default_multi_pass(in_begin);
forward_iterator_type fwd_end;
// wrap forward iterator with position iterator, to record the position
typedef classic::position_iterator2<forward_iterator_type> pos_iterator_type;
pos_iterator_type position_begin(fwd_begin, fwd_end, filename);
pos_iterator_type position_end;
qi::rule<pos_iterator_type> skipper = ascii::space |
'#' >> *(ascii::char_ - qi::eol) >> qi::eol;
property_set_grammar<pos_iterator_type, qi::rule<pos_iterator_type> > g;
bool r = false;
try {
r = phrase_parse(position_begin,
position_end,
g, skipper, pset);
}
catch(const qi::expectation_failure<pos_iterator_type>& e) {
const classic::file_position_base<std::string>& pos = e.first.get_position();
std::stringstream msg;
msg <<
"parse error at file " << pos.file <<
" line " << pos.line << " column " << pos.column << std::endl <<
"'" << e.first.get_currentline() << "'" << std::endl <<
std::setw(pos.column) << " " << "^- here";
throw std::runtime_error(msg.str());
}
return r;
}
不幸的是,它不起作用。函数phrase_parse
总是立即返回false,无论是正确文件还是错误文件,都不会引发任何异常。
但是,当我修改上面的代码以使用简单的forward_iterator
代替classic::position_iterator2
时,它可以正常工作,但当然它不会跟踪错误位置。非常奇怪的是here中的原始示例运行正常。所以问题可能与我的语法有关。以下是:
template <typename Iterator, typename Skipper>
struct property_set_grammar : qi::grammar<Iterator, PropertyList(),
Skipper>
{
qi::rule<Iterator, Property(), Skipper> prop;
qi::rule<Iterator, std::string(), Skipper> name;
qi::rule<Iterator, std::string(), Skipper> type;
qi::rule<Iterator, std::string(), Skipper> value;
qi::rule<Iterator, std::string(), Skipper> value_simple;
qi::rule<Iterator, std::string(), Skipper> value_quoted;
qi::rule<Iterator, PropertyList(), Skipper> plist;
property_set_grammar() :
property_set_grammar::base_type(plist, "Set of Properties") {
using qi::lit;
using qi::alpha;
using qi::alnum;
using qi::lexeme;
using qi::char_;
name = lexeme[alpha >> *alnum];
type = lexeme[alpha >> *alnum];
value_simple = lexeme[*(alnum - lit('"'))];
value_quoted = lit('"') > lexeme[*(char_ - lit('"'))] > lit('"');
value = (value_quoted | value_simple);
prop = name >> '=' > value > ';';
plist = type >> '(' > name > ')' > '{' >> *(prop | plist) > '}' > ';';
}
};
我正在使用g ++(Ubuntu / Linaro 4.7.2-2ubuntu1)4.7.2和版本1.50的boost库。
我忽略了什么愚蠢的东西吗?如果需要,我可以提供完整的代码(它只是几个文件)。
答案 0 :(得分:2)
看来boost :: spirit :: position_iterator被窃听了。
您可以按照答案here中的建议编辑position_iterator
的标题。
或者你可以实现自己的position_iterator,我通过基本上复制并粘贴boost::spirit::position_iterator
的原始代码,然后删除一些不需要的东西来做到这一点。
此外,从 istream
解析时,请务必设置noskipws
操作:
//is >> std::noskipws;
编辑: istreambuf_iterator不需要