我只使用Boost.Spirit(来自Boost 1.44)三天,试图通过RFC2822中的确切语法解析原始电子邮件。我以为我开始理解它并到达某个地方,但后来我遇到了一个问题:
#include <iostream>
#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;
using qi::omit;
using qi::repeat;
using std::cout;
using std::endl;
typedef qi::rule<std::string::const_iterator, std::string()> strrule_t;
void test(const std::string input, strrule_t rule) {
std::string target;
std::string::const_iterator i = input.begin(), ie = input.end();
if (qi::parse(i, ie, rule, target)) {
cout << "Success: '" << target << "'" << endl;
} else {
cout << "Failed to match." << endl;
}
}
int main() {
strrule_t obsolete_year = omit[-qi::char_(" \t")] >> repeat(2)[qi::digit] >>
omit[-qi::char_(" \t")];
strrule_t correct_year = repeat(4)[qi::digit];
test("1776", correct_year | repeat(2)[qi::digit]); // 1: Works, reports 1776.
test("76", obsolete_year); // 2: Works, reports 76.
test("76", obsolete_year | correct_year); // 3: Works, reports 76.
test(" 76", correct_year | obsolete_year); // 4: Works, reports 76.
test("76", correct_year | obsolete_year); // 5: Fails.
test("76", correct_year | repeat(2)[qi::digit]); // 6: Also fails.
}
如果测试#3有效,那么为什么测试#5 - 完全相同的测试与两个替代方案相反 - 失败?
出于同样的原因,如果您原谅表达式:如果测试#4工作,并且开头的空间被标记为可选,那么为什么测试#5(具有完全相同输入的完全相同的测试,保存输入中没有前导空格?失败?
最后,如果这是Boost.Spirit中的一个错误(我怀疑它一定是这样),我该怎样解决它?
答案 0 :(得分:7)
那是因为你在Spirit的指令repeat[]
中遇到了一个错误。感谢您的报告,我在SVN(版本[66167])修复了这个问题,它将在Boost V1.45中提供。同时我想将您的小测试作为回归测试添加到Spirit的测试套件中。我希望你不介意我这样做。