Улучшения в директиве повторения с переменным фактором для X3 - PullRequest
Новая
       30

Улучшения в директиве повторения с переменным фактором для X3

0 голосов
/ 24 января 2019

Мне нужно проанализировать последовательность элементов, где есть первое число, указывающее, сколько элементов должно быть проанализировано следующим.

В качестве упрощения того, что мне нужно: [3 10 20 30] следует проанализировать, как показано ниже: 

- Number of elements: 3
- Vector of elements: {10, 20, 30}

Привыкнув к Qi и его синтаксису "repeat directive + phoenix", я попробовал то же самое для X3, но не смог скомпилировать. Я искал в сети ту же проблему, и нашел следующую ссылку в переполнении стека: Boost Spirit X3 не может скомпилировать директиву повтора с переменным фактором

Я шокирован тем, как что-то столь элегантно решаемое в Ци может быть таким уродливым и громоздким в X3 (личное мнение, пожалуйста, никто не обиделся). Конечно, я получаю причины отказа от Phoonix из-за замены C ++ 14.

Но мне интересно, есть ли какие-либо дальнейшие улучшения в этой теме в связи с этим постом с 2015 года. Я искал, но ничего не нашел. Любой совет?

ПРИМЕЧАНИЕ. Код не указан, поскольку это тот же регистр / код, что и размещенная ссылка.

Спасибо.

1 Ответ

0 голосов
/ 24 января 2019

Обычно это означает, что не было PR для этой функции (или было, но есть некоторые проблемы). У repeat также есть проблемы с дизайном. Например, вы можете анализировать {10 20 30} с ним, но не {10, 20, 30} (требуется своего рода list анализатор).

Я не могу согласиться с тем, что у Ци есть элегантный способ сделать это, потому что вы должны использовать правило с локальной переменной или передать ссылку на внешнее значение. Кажется, что естественный путь - repeat(len_parser)[item_parser], но у него есть дополнительные проблемы с дизайном у шкиперов (или у шкиперов есть проблемы с дизайном, которые ограничивают гибкость сложных директив).

К счастью, Spirit X3 намного проще в написании собственных комбинаторов синтаксического анализа. 

#include <boost/spirit/home/x3.hpp>

namespace x3e {

namespace x3 = boost::spirit::x3;

template <typename LenParser, typename Subject>
struct vlrepeat_directive : x3::unary_parser<Subject, vlrepeat_directive<LenParser, Subject>>
{
    using base_type = x3::unary_parser<Subject, vlrepeat_directive<LenParser, Subject>>;
    static bool const handles_container = true;

    vlrepeat_directive(LenParser const& lp_, Subject const& subject)
        : base_type(subject), lp(lp_) {}

    template<typename Iterator, typename Context, typename RContext, typename Attribute>
    bool parse(Iterator& first, Iterator const& last
      , Context const& context, RContext& rcontext, Attribute& attr) const
    {
        static_assert(x3::traits::has_attribute<LenParser, Context>::value, "must syntesize an attribute");

        Iterator iter = first;
        typename x3::traits::attribute_of<LenParser, Context>::type len;
        if (!lp.parse(iter, last, context, rcontext, len))
            return false;

        for (; len; --len) {
            if (!x3::detail::parse_into_container(
                    this->subject, iter, last, context, rcontext, attr))
                return false;
        }

        first = iter;
        return true;
    }

    LenParser lp;
};

template <typename LenParser>
struct vlrepeat_gen
{
    template <typename Subject>
    vlrepeat_directive<LenParser, typename x3::extension::as_parser<Subject>::value_type>
    operator[](Subject const& p) const
    {
        return { lp, x3::as_parser(p) };
    }

    LenParser lp;
};

template <typename Parser>
vlrepeat_gen<Parser> vlrepeat(Parser const& p)
{
    static_assert(x3::traits::is_parser<Parser>::value, "have to be a parser");
    return { p };
}

}

template <typename LenParser, typename Subject, typename Context>
struct boost::spirit::x3::traits::attribute_of<x3e::vlrepeat_directive<LenParser, Subject>, Context>
    : build_container<typename attribute_of<Subject, Context>::type> {};

И используйте это: 

#include <iostream>
#include <vector>

int main()
{
    namespace x3 = boost::spirit::x3;

    auto s = "5: 1 2 3 4 5", e = s + std::strlen(s);
    std::vector<int> v;
    if (phrase_parse(s, e, x3e::vlrepeat(x3::uint_ >> ':')[x3::int_], x3::space, v)) {
        std::cout << "Result:\n";
        for (auto x : v)
            std::cout << x << '\n';
    }
    else
        std::cout << "Failed!\n";
}

Выход: 

Result:
1
2
3
4
5

https://wandbox.org/permlink/K572K0BMEqA8lMJm

(он вызывает detail::parse_into_container, который не является публичным API)

...