Boost.Spirit错误混合“交替”与“optionals”？

Question

我只使用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中的错误（因为我怀疑它一定是），我该如何解决它？

Answer 1

这是因为你在Spirit的指令repeat[]中遇到了一个错误。感谢您的报告，我在SVN中修复了这个问题（修订版[66167]），它将在Boost V1.45中提供。同时我想将你的小测试作为回归测试添加到Spirit的测试套件中。我希望你不介意我这样做。