Разбор пары строк не удается. Плохой дух x3 грамматика
Я хотел бы проанализировать пары ключ-значение, отображая строки в строки. Так как я хочу поддерживать блоки { ... }
для правой части я придумал простую грамматику, чтобы начать с
#include <boost/spirit/home/x3.hpp>
#include <boost/fusion/include/std_pair.hpp>
namespace grammar::map
{
using namespace boost::spirit::x3;
auto expression = rule<class expression, std::pair<std::string, std::string>>{"expression"};
auto lhs = *(~char_('='));
auto rest = *(~char_(';'));
auto block = '{' >> *expression >> '}';
auto expression_def = lhs >> '=' >> (block | rest) >> ';';
BOOST_SPIRIT_DEFINE(expression)
}
Но он не может скомпилировать в комбинации, если я не изменю атрибут выражения на std::string
,
//! Transform a string into a key-value map of strings.
template <class M, class R>
requires InputRange<R>() && _ContainerLike<M>
&& Same<value_type_t<M>, std::pair<const std::string, std::string>>()
// && Assignable<std::pair<std::string, std::string>, value_type_t<M>>()
M parse(R&& range)
{
auto begin = rng::begin(range);
auto end = rng::end(range);
auto map = M{};
auto ret = x3::phrase_parse(begin, end, *grammar::map::expression, x3::space, map);
if (!ret)
throw std::runtime_error{"parse error"};
return map;
}
Я получаю ошибку
boost/spirit/home/x3/support/traits/move_to.hpp:62:18: error: cannot convert ‘std::remove_reference<std::pair<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char> >&>::type {aka std::pair<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char> >}’ to ‘char’ in assignment
dest = std::move(src);
расположен от
boost/spirit/home/x3/support/traits/move_to.hpp: In instantiation of ‘void boost::spirit::x3::traits::detail::move_to_plain(Source&&, Dest&, mpl_::false_) [with Source = std::pair<std::__cxx11::basic_string<char>, std::__cxx11::basic_string<char> >; Dest = char; mpl_::false_ = mpl_::bool_<false>]’:
То же самое происходит, если попробуйте следующие выражения
auto pair = std::pair<std::string, std::string>{};
auto ret = x3::phrase_parse(begin, end, grammar::map::expression, x3::space, map);
Я прихожу к этому уже пару дней и не могу узнать, как это сделать правильно. Я ценю любую помощь...:^)
Протестировал его с boost-1.60{-62} и gcc 6.1.1, 6.2 и более новой версией магистрали.
1 ответ
Ваша проблема в том, что вы определили expression
иметь атрибут pair<string,string>
, но синтезированный атрибут lhs >> '=' >> (block|rest) >> ';'
является synt_attr=tuple<string,variant<vector<synt_attr>,string>>
что в основном synt_attr=pair<string,variant<map_of_value_type_synt_attr,string>>
, Таким образом, у вас есть как минимум два варианта в зависимости от желаемого результата:
Измените синтезированный атрибут на
pair<string,string>
, Это довольно легко, используяx3::raw
директива (работает на WandBox):auto expression_def = lhs >> '=' >> (raw[block] | rest) >> ';';
Измените свое определение
expression
иметь атрибут, совместимый с синтезированным атрибутом. Это требует использования рекурсивного варианта и усложняет способ доступа к данным на анализируемой карте, поскольку вам необходимо создать посетителя (работающего на WandBox).//A value is either a `string` or a `map<string,Value>` using Value = boost::make_recursive_variant<std::string,std::map<std::string,boost::recursive_variant_>>::type; ... struct printer : boost::static_visitor<void> { printer(int indent) :indent(indent) {} void operator()(const std::string& val) const { std::cout << std::string(indent, ' ') << val << std::endl; } void operator()(const std::map<std::string,Value>& val) const { for (const auto& pair : val) { std::cout << std::string(indent, ' ') << pair.first << ':' << std::endl; boost::apply_visitor(printer(indent + 4), pair.second); std::cout << std::string(indent, ' ') << std::endl; } } int indent; }; void print_map(const Value& val) { boost::apply_visitor(printer(0), val); }