Boost.Spirit bug quando si mescolano "alternati" con "optionals"?

Question

Ho lavorato solo con Boost.Spirit (da Boost 1.44) per tre giorni, cercando di analizzare i messaggi di posta elettronica non elaborati tramite la grammatica esatta in RFC2822. Ho pensato che stavo iniziando a capire e arrivare da qualche parte, ma poi mi sono imbattuto in un problema:

#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. 
} 

Se il test # 3 opere, allora perché prova # 5 - lo stesso test esatto con le due alternative invertiti -- fallire?

Per lo stesso motivo, se perdonerai l'espressione: se il test n. 4 funziona e lo spazio all'inizio è contrassegnato come facoltativo, allora perché il test n. 5 (lo stesso identico test con lo stesso identico input , salvo che non vi è spazio principale nell'input) fallire?

E infine, se questo è un bug in Boost.Spirit (come sospetto che debba essere), come posso aggirarlo?

Answer 1

Questo perché si è verificato un errore nella direttiva di Spirit repeat[]. Grazie per il rapporto, ho risolto questo problema in SVN (rev. [66167]) e sarà disponibile in Boost V1.45. Allo stesso tempo vorrei aggiungere il tuo piccolo test come test di regressione alla suite di test di Spirit. Spero che non ti dispiaccia farlo.