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的測試套件中。我希望你不介意我這樣做。