Разобрать наддува с помощью наддува - PullRequest
Новая
       43

Разобрать наддува с помощью наддува

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

Я пытаюсь написать boost::uuids::uuid синтаксический анализатор с boost::spirit::qi, чтобы использовать его хорошо с другими qi синтаксическими анализаторами и получить хороший унифицированный API синтаксического анализатора.

Моей первой идеей было написать пользовательский qi::grammar, который бы использовал boost::conversion::try_lexical_convert<boost::uuids::uuid &, const std::string &>, однако при этом возникла бы проблема с правильной установкой начального итератора в занятую позицию, поскольку boost::conversion::try_lexical_convert<boost::uuids::uuid &, const std::string &> не только соответствовал бы вводу длиной 16 символов но также с закрывающими скобками или без черточек.

Мой второй подход - использовать boost::spirit::qi::rule (или CRTP грамматики, полученный из boost::spirit::qi::grammar::base_type, если хотите), но затем я получил ошибки компиляции, вероятно, из выражения BOOST_FUSION_ADAPT_STRUCT: 

    #include <iostream>
    #include <string>
    #include <cstdint>
    #include <boost/uuid/uuid.hpp>
    #include <boost/spirit/include/qi.hpp>


    BOOST_FUSION_ADAPT_STRUCT(
            boost::uuids::uuid,
            (uint8_t, data[0])
            (uint8_t, data[1])
            (uint8_t, data[2])
            (uint8_t, data[3])
            (uint8_t, data[4])
            (uint8_t, data[5])
            (uint8_t, data[6])
            (uint8_t, data[7])
            (uint8_t, data[8])
            (uint8_t, data[9])
            (uint8_t, data[10])
            (uint8_t, data[11])
            (uint8_t, data[12])
            (uint8_t, data[13])
            (uint8_t, data[14])
            (uint8_t, data[15])
    )

    template<typename Iterator>
    boost::spirit::qi::rule<Iterator, boost::uuids::uuid>
            uuid_internal_{
            boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    //time-low
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> -boost::spirit::qi::lit("-")
                    //time-mid
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> -boost::spirit::qi::lit("-")
                    //time-high-and-version
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> -boost::spirit::qi::lit("-")
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>() //clock-seq-and-reserved
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>() //clock-seq-low
                    >> -boost::spirit::qi::lit("-")
                    //node
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                    >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
    };

    template<typename Iterator>
    struct uuid_
            : ::boost::spirit::qi::grammar<Iterator, boost::uuids::uuid()>{
        uuid_() : uuid_::base_type(start) {

            start %= (boost::spirit::qi::lit("{") >> uuid_internal_ >> boost::spirit::qi::lit("}")) |
                     uuid_internal_ ;
        }

        boost::spirit::qi::rule<Iterator, boost::uuids::uuid()> start;

        boost::spirit::qi::rule<Iterator, boost::uuids::uuid()>
                uuid_internal_{
                boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        //time-low
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> -boost::spirit::qi::lit("-")
                        //time-mid
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> -boost::spirit::qi::lit("-")
                        //time-high-and-version
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> -boost::spirit::qi::lit("-")
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>() //clock-seq-and-reserved
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>() //clock-seq-low
                        >> -boost::spirit::qi::lit("-")
                        //node
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
                        >> boost::spirit::qi::uint_parser<uint8_t, 16, 1, 1>()
        };

    };

    int main() {
        std::string input;
        std::cin >> input;
        uuid_<std::string::const_iterator> uuid_{};
        boost::uuids::uuid uuid{};
        auto begin = input.begin(), end = input.end();

        const bool success = boost::spirit::qi::parse(begin, end, uuid_, uuid);
        if (!success || begin != end)
            throw std::runtime_error("Parsing failed");

        return 0;


    }

/ opt / local / include / boost / spirit / home / support / container.hpp: 292: 15: ошибка: нет элемента с именем 'insert' в 'boost :: uuids :: uuid' c.insert (c.end (), val);

Кажется, что был выпущен сгенерированным boost::spirit::qi::detail::pass_through_container, однако мой подход с BOOST_FUSION_ADAPT_ADT в сочетании с *(obj.begin()+n) также не удался с несколькими ошибками.

1 Ответ

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

Вы можете использовать встроенную директиву qi::stream, чтобы получить 90% пути: 

uuid_ = qi::stream;
start = '{' >> uuid_ >> '}' | uuid_;

Посмотреть Live On Coliru 

#include <boost/spirit/include/qi.hpp>
#include <boost/uuid/uuid_io.hpp>
#include <iomanip>

namespace qi = boost::spirit::qi;

template <typename Iterator> struct uuid_type : ::qi::grammar<Iterator, boost::uuids::uuid()> {
    uuid_type() : uuid_type::base_type(start) {

        start = '{' >> uuid_ >> '}' | uuid_;
        uuid_ = qi::stream;
    }
  private:
    qi::rule<Iterator, boost::uuids::uuid()> start, uuid_;
};

int main() {
    uuid_type<std::string::const_iterator> uuid_{};

    for (std::string const input : {
            "2bc69ead-4aba-4a39-92c0-9565f4d464b4",
            "2BC69EAD-4ABA-4A39-92C0-9565F4D464B4",
            "{2bc69ead-4aba-4a39-92c0-9565f4d464b4}",
            "{2BC69EAD-4ABA-4A39-92C0-9565F4D464B4}",
            //"{2bc69ead--4aba--4a39----92c0--9565f4d464b4}",
            //"{2BC69EAD--4ABA--4A39----92C0--9565F4D464B4}",
            })
    {
        boost::uuids::uuid uuid{};

        std::cout << "==== Input " << std::quoted(input) << "\n";

        if (qi::parse(input.begin(), input.end(), uuid_ >> qi::eoi, uuid))
            std::cout << "Parsed " << uuid << "\n";
        else
            std::cout << "Parsing failed\n";
    }
}

Печать 

==== Input "2bc69ead-4aba-4a39-92c0-9565f4d464b4"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "2BC69EAD-4ABA-4A39-92C0-9565F4D464B4"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2bc69ead-4aba-4a39-92c0-9565f4d464b4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2BC69EAD-4ABA-4A39-92C0-9565F4D464B4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4

Оставшиеся 10%

В соответствии с модифицированным принципом Парето оставшиеся 10% являются тяжелой частью.

Я даже не уверен, что вы этого хотите, но +qi::lit("-") подразумевает, что закомментированные тестовые примеры также должны быть приняты (?!): 

        //"{2bc69ead--4aba--4a39----92c0--9565f4d464b4}",
        //"{2BC69EAD--4ABA--4A39----92C0--9565F4D464B4}",

Если это / действительно / то, что вы хотите, я бы действительно предложил двухэтапную операцию разбора с реализацией лексического преобразования:

Хорошо, поскольку сейчас прошло больше часа, это означает, что это больше похоже на то, что «10% функциональности займет 900% усилий» - надеюсь, вы действительно этого хотели:)

Live On Coliru 

#include <boost/spirit/include/qi.hpp>
#include <boost/lexical_cast.hpp>
#include <boost/uuid/uuid_io.hpp>
#include <iomanip>

using Uuid = boost::uuids::uuid;

namespace boost::spirit::traits {
    template <> struct is_container<Uuid> : mpl::false_ {};

    template <> struct assign_to_attribute_from_value<Uuid, std::string> {
        static void call(std::string const& s, Uuid& v) { v = lexical_cast<Uuid>(s); }
    };
}

namespace qi = boost::spirit::qi;

template <typename Iterator> struct uuid_type : qi::grammar<Iterator, Uuid()> {
    uuid_type() : uuid_type::base_type(start) {
        using namespace qi;

        auto sep_  = copy(+lit('-') >> qi::attr('-'));
        auto hex2_ = copy(xdigit >> xdigit >> xdigit >> xdigit);
        auto hex4_ = copy(hex2_ >> hex2_);
        auto hex6_ = copy(hex4_ >> hex2_);
        auto fmt_  = copy(
            hex4_ >> sep_ >> hex2_ >> sep_ >> hex2_ >> sep_ >> hex2_ >> sep_ >> hex6_
        );

        start = as_string['{' >> fmt_ >> '}' | fmt_];
    }
  private:
    qi::rule<Iterator, Uuid()> start;
};

int main() {
    uuid_type<std::string::const_iterator> uuid_{};

    for (std::string const input : {
            "2bc69ead-4aba-4a39-92c0-9565f4d464b4",
            "2BC69EAD-4ABA-4A39-92C0-9565F4D464B4",
            "{2bc69ead-4aba-4a39-92c0-9565f4d464b4}",
            "{2BC69EAD-4ABA-4A39-92C0-9565F4D464B4}",
            "{2bc69ead--4aba--4a39----92c0--9565f4d464b4}",
            "{2BC69EAD--4ABA--4A39----92C0--9565F4D464B4}",
            })
    {
        Uuid uuid{};

        std::cout << "==== Input " << std::quoted(input) << "\n";

        auto f = input.begin(), l = input.end();
        if (qi::parse(f, l, uuid_ >> qi::eoi, uuid))
            std::cout << "Parsed " << uuid << "\n";
        else
            std::cout << "Parsing failed\n";
    }
}

печать 

==== Input "2bc69ead-4aba-4a39-92c0-9565f4d464b4"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "2BC69EAD-4ABA-4A39-92C0-9565F4D464B4"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2bc69ead-4aba-4a39-92c0-9565f4d464b4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2BC69EAD-4ABA-4A39-92C0-9565F4D464B4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2bc69ead--4aba--4a39----92c0--9565f4d464b4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
==== Input "{2BC69EAD--4ABA--4A39----92C0--9565F4D464B4}"
Parsed 2bc69ead-4aba-4a39-92c0-9565f4d464b4
...