BOOST_FUSION_ADAPT_ADT взрывается при использовании с boost::karma

Question

BOOST_FUSION_ADAPT_ADT взрывается при использовании с boost::karma

Я не уверен, связано ли это с ошибкой при адаптации класса с помощью BOOST_FUSION_ADAPT_ADT, но даже если это так, вопрос, стоящий за ним, до сих пор не получен / все еще не найден, см. Комментарий автора Ошибка при адаптации класса с помощью BOOST_FUSION_ADAPT_ADT. (Я использовал boost 1.69)

У меня есть структура

#include <string>
#include <cstdint>
namespace rtsp {
    struct request {
    };
    struct response {
        uint_fast16_t rtsp_version_major;
        uint_fast16_t rtsp_version_minor;
        uint_fast16_t status_code;
        std::string reason_phrase;
    };
    using message = boost::variant<request, response>;
}

Который я смог использовать boost::spirit::qi с помощью

BOOST_FUSION_ADAPT_STRUCT(
        rtsp::response,
        (uint_fast16_t, rtsp_version_major)
        (uint_fast16_t, rtsp_version_minor)
        (uint_fast16_t, status_code)
        (std::string, reason_phrase)

но так как я теперь также хочу генерировать, а не только анализировать структуру, используя boost:: spirit:: karma, я должен использовать

BOOST_FUSION_ADAPT_ADT(
        rtsp::response,
(uint_fast16_t,const uint_fast16_t&,obj.rtsp_version_major, obj.rtsp_version_major = val)
(uint_fast16_t,const uint_fast16_t&,obj.rtsp_version_minor, obj.rtsp_version_minor = val)
(uint_fast16_t,const uint_fast16_t&,obj.status_code, obj.status_code = val)
(std::string,const std::string&,obj.reason_phrase, obj.reason_phrase = val)
)

Но он взрывается с несколькими ошибками, от ошибок шаблона до синтаксических ошибок, например, с

В файл включен из /Users/markus/Entwicklung/HTW/RTSP-Streaming/src/streaming_lib/include/rtsp_request.hpp:11: В файл включен из /Users/markus/include/boost/spirit/include/qi.hpp:16: в файле, включенном в /Users/markus/include/boost/spirit/home/qi.hpp:14: в файле, включенном в /Users/markus/include/boost/spirit/home/qi/action.hpp:14: В файл включены из /Users/markus/include/boost/spirit/home/qi/action/action.action.hpp:16: /Users/markus/include/boost/spirit/home/qi/detail/attributes.hpp:153:9: ошибка: неоднозначные частичные специализации 'transform_attribute, unsigned short, boost::spirit::qi::domain, void>': transform_attribute

Так как это уже терпит неудачу в #include <boost/spirit/include/qi.hpp> линия, может кто знает как исправить BOOST_FUSION_ADAPT_ADT фраза?

Весь код: /*! @file rtsp_request.hpp * */

#ifndef RTSP_GUI_RTSP_PARSER_HPP
#define RTSP_GUI_RTSP_PARSER_HPP

#include <string>
#include <cstdint>

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/karma.hpp>
#include <boost/fusion/include/adapt_adt.hpp>
#include <boost/fusion/adapted/adt/adapt_adt.hpp>
#include <boost/spirit/include/support_adapt_adt_attributes.hpp>



namespace rtsp {
    struct request {
    };
    struct response {
        uint_fast16_t rtsp_version_major;
        uint_fast16_t rtsp_version_minor;
        uint_fast16_t status_code;
        std::string reason_phrase;
    };
    using message = boost::variant<request, response>;
}
BOOST_FUSION_ADAPT_ADT(
        rtsp::response,
(uint_fast16_t,const uint_fast16_t&,obj.rtsp_version_major, obj.rtsp_version_major = val)
(uint_fast16_t,const uint_fast16_t&,obj.rtsp_version_minor, obj.rtsp_version_minor = val)
(uint_fast16_t,const uint_fast16_t&,obj.status_code, obj.status_code = val)
(std::string,const std::string&,obj.reason_phrase, obj.reason_phrase = val)
)
/*
BOOST_FUSION_ADAPT_STRUCT(
        rtsp::response,
        (uint_fast16_t, rtsp_version_major)
        (uint_fast16_t, rtsp_version_minor)
        (uint_fast16_t, status_code)
        (std::string, reason_phrase)
)*/
namespace rtsp {

    template<typename Iterator>
    struct rtsp_response_grammar
            : ::boost::spirit::qi::grammar<Iterator, response()> {
        rtsp_response_grammar() : rtsp_response_grammar::base_type(start) {
            namespace ns = ::boost::spirit::standard;
            using ::boost::spirit::qi::uint_parser;
            using ::boost::spirit::qi::lexeme;
            using ::boost::spirit::qi::lit;
            using boost::spirit::qi::omit;
            using ::boost::spirit::qi::repeat;
            quoted_string %= lexeme['"' >> +(ns::char_ - '"') >> '"'];
            status_code = uint_parser<uint_fast16_t, 10, 3, 3>();
            at_least_one_digit = uint_parser<uint_fast16_t, 10, 1>();

            start %= lit("RTSP/") >> at_least_one_digit >> "." >> at_least_one_digit >> omit[+ns::space]
                    >> status_code >> omit[+ns::space]
                    >> *(ns::char_ - (lit("\r") | lit("\n")))
                    >> lit("\r\n");
        }

        boost::spirit::qi::rule<Iterator, std::string()> quoted_string;
        boost::spirit::qi::rule<Iterator, uint_fast16_t()> status_code;
        boost::spirit::qi::rule<Iterator, uint_fast16_t()> at_least_one_digit;
        boost::spirit::qi::rule<Iterator, response()> start;

    };

    template <typename OutputIterator>
    bool generate_response(OutputIterator sink, const response& reponse)
    {
        using ::boost::spirit::karma::lit;

        return boost::spirit::karma::generate(sink, lit("RTSP/"), reponse);
    }
}


#endif //RTSP_GUI_RTSP_PARSER_HPP
/*! @file rtsp_request.cpp
 *
 */

#include "rtsp_request.hpp"

#include <iterator>

template
struct rtsp::rtsp_response_grammar<std::string::const_iterator>;

template
bool rtsp::generate_response<std::back_insert_iterator<std::string>>(std::back_insert_iterator<std::string> sink, const response& reponse);

Кстати, попытка просто использовать BOOST_FUSION_ADAPT_STRUCT с функцией генератора кармы также потерпит неудачу с:

В файл включен из /Users/markus/Entwicklung/HTW/RTSP-Streaming/src/streaming_lib/src/rtsp_request.cpp:5: В файл включен из / Users / markus / Entwicklung / HTW / RTSP-Streaming / src / streaming_lib / include / rtsp_request.hpp: 11: в файле, включенном в /Users/markus/include/boost/spirit/include/qi.hpp:16: в файле, включенном в / Users / markus / include / boost / spirit / home / qi. hpp: 14: в файл включен из /Users/markus/include/boost/spirit/home/qi/action.hpp:14: в файл включен из /Users/markus/include/boost/spirit/home/qi/action/action.hpp:14: В файл включен из /Users/markus/include/boost/spirit/home/qi/meta_compiler.hpp:15: В файл включен из /Users/markus/include/boost/spirit/home/qi/domain.hpp:18: в файл включен из /Users/markus/include/boost/spirit/home/support/context.hpp:18: в файл включен из / Users / markus / include / boost / spirit / home / support / нетерминальный /expand_arg.hpp:20: /Users/markus/include/boost/spirit/home/support/string_traits.hpp:156:26: ошибка: неявное создание экземпляра неопределенный шаблон 'boost::spirit::traits::char_type_of' typedef typename char_type_of::type char_type; ^ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:242:14: note: при создании экземпляра класса шаблона 'boost::spirit::traits::extract_c_string', запрашиваемого здесь typename extract_c_string::char_type const* ^ /Users/markus/include/boost/spirit/home/karma/string/lit.hpp:180:21: note: при замене выведенных аргументов шаблона в шаблон функции 'get_c_string' [with String = rtsp::response] get_c_string( ^ /Users/markus/include/boost/spirit/home/karma/generate.hpp:69:45: note: в реализации специализации шаблона функции 'boost:: spirit:: karma:: literal_string:: generate
, mpl _:: int_ <0>, boost:: spirit:: unused_type>, boost:: spirit:: context, boost:: spirit:: locals>, boost:: spirit:: unused_type, rtsp:: response> 'запрошено здесь возвращаем compile(expr).generate(сток, контекст, не используется, attr); ^ /Users/markus/include/boost/spirit/home/karma/generate.hpp:91:23: примечание: в реализации специализации шаблона функции 'boost::spirit::karma::generate, mpl_::int_<0>, boost::proto::exprns_::expr > >, 0>, rtsp::response>'запрошено здесь return karma::generate(sink, expr, attr); ^ /Users/markus/Entwicklung/HTW/RTSP-Streaming/src/streaming_lib/include/rtsp_request.hpp:69:38: note: в экземпляре специализации шаблона функции 'boost::spirit::karma::generate, boost::proto::exprns_::expr > >, 0>, rtsp::response>'здесь запрашивается return boost::spirit::karma::generate(сток, горит ("RTSP/"), ответ); ^ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:96:12: примечание: шаблон объявлен здесь struct char_type_of; ^ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:179:20: ошибка: нет соответствующей функции для вызова 'call' return extract_c_string::call(str); ^~~~~~~~~~~~~~~~~~~~~~~~~ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:238:42: note: в экземпляре функции-члена 'boost::spirit::traits::extract_c_string::call', запрашиваемой здесь return return_c_string::call(str); ^ /Users/markus/include/boost/spirit/home/karma/string/lit.hpp:180:21: примечание: в экземпляре шаблона функции специализация 'boost::spirit::traits::get_c_string' запрашивается здесь get_c_string (^ /Users/markus/include/boost/spirit/home/karma/generate.hpp:69:45: note: при реализации специализации шаблона функции 'boost::spirit::karma::literal_string::generate, mpl_::int_<0>, boost::spirit::unused_type>, boost::spirit::context, boost::spirit::locals >, boost::spirit::unused_type, rtsp::response>', запрошенный здесь return compile(expr).generate(сток, контекст, неиспользуемый, attr); ^ /Users/markus/include/boost/spirit/home/karma/generate.hpp:91:23: note: при реализации специализации шаблона функции 'boost:: Spirit:: karma:: generate, mpl _:: int_ <0>, boost:: proto:: exprns _:: expr>>, 0>, rtsp:: response> 'запрошенный здесь return karma:: generate (сток, expr, attr); ^ /Users/markus/Entwicklung/HTW/RTSP-Streaming/src/streaming_lib/include/rtsp_request.hpp:69:38: примечание: в экземпляре веселья Требуется здесь специализация шаблона ction 'boost::spirit::karma::generate, boost::proto::exprns_::expr > >, 0>, rtsp::response>', возвращаемая здесь boost:: spirit:: karma:: generate (раковина, горит ("РЦП /"), ответ); ^ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:159:25: примечание: шаблон-кандидат проигнорирован: не удалось сопоставить 'T ' со статическим T-константным вызовом 'rtsp:: response' (T* str) ^ /Users/markus/include/boost/spirit/home/support/string_traits.hpp:165:25: примечание: шаблон кандидата проигнорирован: не удалось сопоставить const T с статическим вызовом const статического ответа rtsp:: response (T const* str)

1

boost boost-spirit boost-spirit-qi boost-fusion boost-spirit-karma

Источник

user3537677 07 сен '18 в 14:55

1 ответ

Решение

Другие вопросы по тегам boost boost-spirit boost-spirit-qi boost-fusion boost-spirit-karma

user3621421 07 сен '18 в 15:43 2018-09-07 15:43 · Accepted Answer · 2018-09-07 15:43

Четко определенные грамматические ручки либо BOOST_FUSION_ADAPT_STRUCT или же BOOST_FUSION_ADAPT_ADT без проблем.

Пример:

namespace rtsp {
    ...

    template <typename OutputIterator>
    bool generate_response(OutputIterator sink, const response& reponse)
    {
        using ::boost::spirit::karma::lit;
        using ::boost::spirit::karma::uint_;
        using ::boost::spirit::karma::string;

        return boost::spirit::karma::generate(sink,
            lit("RTSP/") << uint_ << "." << uint_ << " " << uint_ << " " << string
          , reponse);
    }
}

int main()
{
    std::string s;
    generate_response(std::back_inserter(s), rtsp::response{ 1, 0, 200, "OK" });
    std::cout << s;
}

Печать: RTSP/1.0 200 OK

Обновление: ошибка ци с участием BOOST_FUSION_ADAPT_ADT подтверждено и сообщено.