bug Boost.Spirit lors du mélange « alterne » avec « optionals »?

Question

Je n'ai travaillé avec Boost.Spirit (de Boost 1,44) pendant trois jours, en essayant d'analyser les messages électroniques premières par le biais de la grammaire exacte à RFC2822. Je pensais que je commençais à comprendre et aller quelque part, mais je suis tombé sur un problème:

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

Si le test # 3 œuvres, alors pourquoi le test # 5 - le même test exact avec les deux alternatives renversées - échec

De même, si vous me permettez l'expression: si le test # 4 œuvres, et l'espace au début est marqué en option, alors pourquoi le test # 5 (le même test exact avec la même entrée exacte, sauf que il n'y a pas de place de premier plan dans l'entrée) échouer?

Et enfin, si cela est un bogue dans Boost.Spirit (comme je le soupçonne qu'il doit être), comment puis-je travailler autour d'elle?

Answer 1

C'est parce que vous frappez un bug dans la directive de l'Esprit de repeat[]. Merci pour le rapport, je fixe ce problème dans SVN (rev. [66167]) et il sera disponible dans Boost v1.45. En même temps, je voudrais ajouter votre petit test comme un test de régression à la suite de tests de l'Esprit. J'espère que vous ne me dérange pas de le faire.