Использование дополнительного парсера в духе ци

Я пытаюсь разобрать либо аддитивное выражение формы «A + C», либо только «A». После нескольких тестов я понял, что проблема, по-видимому, заключается в том, что я использую дополнительный синтаксический анализатор, поэтому для примера:

qi::rule<string::iterator, string()> Test;

Test =
(
    qi::string("A")[qi::_val= qi::_1]
    >> -(
            qi::string("B")[qi::_val += qi::_1]
            >> qi::string("C")[qi::_val += qi::_1]
        )
)
;

string s1, s2;
s1 = "AB";
bool a= qi::parse(s1.begin(), s1.end(), Test, s2);

Идея состоит в том, чтобы проанализировать «A» или «ABC», но если значение s1 равно «AB» без «C», значение a истинно. Я считаю, что хотя я ставлю скобки после оператора '-', а затем использую оператор ">>", часть 'C' считается необязательной, а не B>>C в целом. Есть идеи?


c++ boost boost-spirit-qi
person kaladin    schedule 28.09.2015    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Атрибуты контейнера не возвращаются.

Это выбор производительности. Вам необходимо явно контролировать распространение, используя, например. qi::hold:

Прямой эфир на Coliru

#include <boost/spirit/include/qi.hpp>

namespace qi = boost::spirit::qi;

int main() {
    using It = std::string::const_iterator;
    qi::rule<It, std::string()> Test;

    Test =
        (
         qi::char_('A')
         >> -qi::hold [
                qi::char_('B')
            >> qi::char_('C')
         ]
        )
        ;

    for (std::string const input : { "A", "AB", "ABC" })
    {
        std::cout << "-------------------------\nTesting '" << input << "'\n";
        It f = input.begin(), l = input.end();

        std::string parsed;
        bool ok = qi::parse(f, l, Test, parsed);
        if (ok)
            std::cout << "Parsed success: " << parsed << "\n";
        else
            std::cout << "Parsed failed\n";

        if (f != l)
            std::cout << "Remaining unparsed: '" << std::string(f,l) << "'\n";
    }
}

Отпечатки:

-------------------------
Testing 'A'
Parsed success: A
-------------------------
Testing 'AB'
Parsed success: A
Remaining unparsed: 'B'
-------------------------
Testing 'ABC'
Parsed success: ABC

Обратите внимание, что я сделал ряд упрощений.

Смотрите также:

person sehe    schedule 28.09.2015