Ошибка Boost.Spirit при смешивании «альтернативных вариантов» с «дополнительными»?

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 (rev.[66167]), и он будет доступен в Boost V1.45.В то же время я хотел бы добавить ваш небольшой тест в качестве регрессионного теста в набор тестов Spirit.Надеюсь, вы не возражаете против того, чтобы я это сделал.