2

文字列を文字列にマッピングして、キーと値のペアを解析したいと思います。右手側のブロックをサポートしたいので{ ... }、最初に簡単な文法を考え出しました

#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)
}

しかし、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、およびそれよりも新しいバージョンのトランクでテストしました。

4

1 に答える 1

2

あなたの問題は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>>です。したがって、必要な結果に応じて、少なくとも 2 つのオプションがあります。

  • 合成属性を に変更します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);
}
于 2016-09-30T08:10:15.470 に答える