Bug boost.spirit Ao misturar "alternantes" com "opcionais"?

Question

Eu só trabalhei com o Boost.Spirit (do Boost 1.44) há três dias, tentando analisar mensagens de email cruas por meio da gramática exata na RFC2822. Eu pensei que estava começando a entender e chegar a algum lugar, mas depois encontrei um 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 o teste nº 3 funcionar, então por que o teste nº 5 - exatamente o mesmo teste com as duas alternativas revertidas - falha?

Da mesma forma, se você perdoar a expressão: se o teste nº 4 funcionar, e o espaço no começo é marcado como opcional, então por que o teste nº 5 (exatamente o mesmo teste com a mesma entrada, exceto que existe nenhum espaço líder na entrada) falha?

E, finalmente, se isso é um bug no boost.spirit (como eu suspeito que deve ser), como posso contornar isso?

Answer 1

Isso é porque você bate um bug na diretiva do espírito repeat[]. Obrigado pelo relatório, corrigi esse problema no SVN (rev. [66167]) e ele estará disponível no Boost v1.45. Ao mesmo tempo, gostaria de adicionar seu pequeno teste como teste de regressão à suíte de teste da Spirit. Espero que você não se importe que eu faça isso.