c++ - ブーストスピリットコンパイラエラーを理解するにはどうすればよいですか

Question

ディレクティブを使用しno_skipてフォームの入力を解析しようとしています:

state PASS
<tab> state FAIL

ascii::blankスキッパーとして使用しています。no_skip[ trans_assign_expr ]タブを解析するためにラップすると、コンパイルエラーが発生します。

このエラーを修正するにはどうすればよいですか? また、一般的に、将来エラーを修正できるようにこれらのエラーを理解するにはどうすればよいですか? ブーストスピリットのドキュメントは、スピリットを使用することのこの側面をカバーしていません:(

これがエラーです

/usr/include/boost/spirit/home/qi/nonterminal/grammar.hpp:18:0 からインクルードされたファイルで、
                 /usr/include/boost/spirit/include/qi_grammar.hpp:16 から、
                 ../src/RJstate.cpp:9 から:
/usr/include/boost/spirit/home/qi/nonterminal/rule.hpp: メンバー関数内 'bool boost::spirit::qi::rule::parse(Iterator&, const Iterator&, Context&, const Skipper&, Attribute&) const [with Context = boost::spirit::context, boost::fusion::vector0 >, Skipper = boost::spirit::qi::detail::unused_skipper > >, 属性 = const boost::spirit::unused_type 、イテレータ = __gnu_cxx::__normal_iterator >、T1 = boost::proto::exprns_::expr >、0l>、T2 = boost::spirit::unused_type、T3 = boost::spirit::unused_type、T4 = boost: :spirit::unused_type]':
/usr/include/boost/spirit/home/qi/reference.hpp:43:71: 'bool boost::spirit::qi::reference::parse(Iterator&, const Iterator&, Context&, const Skipper&, Attribute& からインスタンス化) const [with Iterator = __gnu_cxx::__normal_iterator >, Context = boost::spirit::context, boost::fusion::vector0 >, Skipper = boost::spirit::qi::detail::unused_skipper > >, 属性= const boost::spirit::unused_type、Subject = const boost::spirit::qi::rule >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost: :spirit::unused_type, boost::spirit::unused_type>]'
/usr/include/boost/spirit/home/qi/directive/no_skip.hpp:64:63: 'bool boost::spirit::qi::no_skip_directive::parse(Iterator&, const Iterator&, Context&, const Skipper& からインスタンス化, Attribute&) const [with Iterator = __gnu_cxx::__normal_iterator >, Context = boost::spirit::context, boost::fusion::vector0 >, Skipper = boost::spirit::qi::char_class >, 属性 = const boost::spirit::unused_type、Subject = boost::spirit::qi::reference >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit: :unused_type, boost::spirit::unused_type> >]'
/usr/include/boost/spirit/home/qi/detail/fail_function.hpp:45:74: 'bool boost::spirit::qi::detail::fail_function::operator()(const Component&) const からインスタンス化[with Component = boost::spirit::qi::no_skip_directive >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boost:: Spirit::unused_type> > >、Iterator = __gnu_cxx::__normal_iterator >、Context = boost::spirit::context、boost::fusion::vector0 >、Skipper = boost::spirit::qi::char_class >]'
/usr/include/boost/fusion/algorithm/query/detail/any.hpp:42:83: [8 つのインスタンス化コンテキストをスキップ]
/usr/include/boost/function/function_template.hpp:132:42: 'static R boost::detail::function::function_obj_invoker4::invoke(boost::detail::function::function_buffer&, T0, T1 からインスタンス化、T2、T3) [FunctionObj = boost::spirit::qi::detail::parser_binder >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost:: Spirit::unused_type、boost::spirit::unused_type> >、boost::fusion::cons >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost:: Spirit::unused_type、boost::spirit::unused_type> > >、boost::fusion::nil> > > >、mpl_::bool_ >、R = bool、T0 = __gnu_cxx::__normal_iterator >&、T1 = const __gnu_cxx::__normal_iterator >&、T2 = boost::spirit::context、boost::fusion::vector0 >&、T3 = const boost::spirit::qi::char_class >&]'
/usr/include/boost/function/function_template.hpp:913:60: 'void boost::function4::assign_to(Functor) からインスタンス化 [Functor = boost::spirit::qi::detail::parser_binder で >, boost::proto::exprns_::expr >, 0l>, boost::spirit::unused_type, boost::spirit::unused_type, boost::spirit::unused_type> >, boost::fusion::cons >, boost::proto::exprns_::expr >, 0l>, boost::spirit::unused_type, boost::spirit::unused_type, boost::spirit::unused_type> > >, boost::fusion::nil> > > >、mpl_::bool_ >、R = bool、T0 = __gnu_cxx::__normal_iterator >&、T1 = const __gnu_cxx::__normal_iterator >&、T2 = boost::spirit::context、boost::fusion::vector0 >&, T3 = const boost::spirit::qi::char_class >&]'
/usr/include/boost/function/function_template.hpp:722:7: 'boost::function4::function4(Functor, typename boost::enable_if_c::value>::value, int>::type) からインスタンス化 [ Functor = boost::spirit::qi::detail::parser_binder >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boostで::spirit::unused_type> >、boost::fusion::cons >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boost ::spirit::unused_type> > >, boost::fusion::nil> > > >, mpl_::bool_ >, R = bool, T0 = __gnu_cxx::__normal_iterator >&, T1 = const __gnu_cxx::__normal_iterator >& 、T2 = boost::spirit::context、boost::fusion::vector0 >&、T3 = const boost::spirit::qi::char_class >&、typename boost::enable_if_c::value>::値、int>::type = int]'
/usr/include/boost/function/function_template.hpp:1064:16: 'boost::function::function(Functor, typename boost::enable_if_c::value>::value, int>::type) からインスタンス化されました [ Functor = boost::spirit::qi::detail::parser_binder >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boostで::spirit::unused_type> >、boost::fusion::cons >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boost ::spirit::unused_type> > >, boost::fusion::nil> > > >, mpl_::bool_ >, R = bool, T0 = __gnu_cxx::__normal_iterator >&, T1 = const __gnu_cxx::__normal_iterator >& 、T2 = boost::spirit::context、boost::fusion::vector0 >&、T3 = const boost::spirit::qi::char_class >&、typename boost::enable_if_c::value>::値、int>::type = int]'
/usr/include/boost/function/function_template.hpp:1105:5: 'typename boost::enable_if_c::value>::value, boost::function&>::type boost::function::operator=( からインスタンス化ファンクター) [with Functor = boost::spirit::qi::detail::parser_binder >, boost::proto::exprns_::expr >, 0l>, boost::spirit::unused_type, boost::spirit::未使用のタイプ、boost::spirit::unused_type> >、boost::fusion::cons >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::未使用のタイプ、boost::spirit::unused_type> > >、boost::fusion::nil> > > >、mpl_::bool_ >、R = bool、T0 = __gnu_cxx::__normal_iterator >&、T1 = const __gnu_cxx:: __normal_iterator >&、T2 = boost::spirit::context、boost::fusion::vector0 >&、T3 = const boost::spirit::qi::char_class >&、typename boost::enable_if_c::value>::value, boost::function&>::type = boost::function >&, const __gnu_cxx::__normal_iterator >&, boost::spirit::context, boost::fusion::vector0 >& , const boost::spirit::qi::char_class >&)>&]'
/usr/include/boost/spirit/home/qi/nonterminal/rule.hpp:198:13: 'boost::spirit::qi::rule& boost::spirit::qi::rule::operator= からインスタンス化(const Expr&) [with Expr = boost::proto::exprns_::expr >, boost::proto::exprns_::expr >, 0l>, boost::spirit::unused_type, boost::spirit::unused_type 、boost::spirit::unused_type>&、const boost::proto::exprns_::expr、0l>&>、2l>&、const boost::proto::exprns_::expr、0l>&、boost: :spirit::qi::rule >, boost::proto::exprns_::expr >, 0l>, boost::spirit::unused_type, boost::spirit::unused_type, boost::spirit::unused_type>& >, 2l>&>, 2l>, イテレータ = __gnu_cxx::__normal_iterator >, T1 = boost::proto::exprns_::expr >, 0l>, T2 = boost::spirit::unused_type, T3 = boost::スピリット::unused_type、T4 = ブースト::スピリット::unused_type、ブースト::spirit::qi::rule = boost::spirit::qi::rule >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type 、boost::spirit::unused_type>]'
../src/RJstate.cpp:49:7: 'fsm_grammar::fsm_grammar() [with Iterator = __gnu_cxx::__normal_iterator >, Skipper = boost::proto::exprns_::expr >, 0l>]' からインスタンス化
../src/RJstate.cpp:112:50: ここからインスタンス化
/usr/include/boost/spirit/home/qi/nonterminal/rule.hpp:277:17: エラー: '(const function_type {aka const boost::function >&, const __gnu_cxx::__normal_iterator > の呼び出しに一致しません&, boost::spirit::context, boost::fusion::vector0 >&, const boost::spirit::qi::char_class >&)>}) (__gnu_cxx::__normal_iterator >&, const __gnu_cxx::__normal_iterator >&、boost::spirit::qi::rule >、boost::proto::exprns_::expr >、0l>、boost::spirit::unused_type、boost::spirit::unused_type、boost::spirit ::unused_type>::context_type&, const boost::spirit::qi::detail::unused_skipper > >&)'
/usr/include/boost/function/function_template.hpp:1043:7: 注: 候補は:
/usr/include/boost/function/function_template.hpp:1006:1: 注意: boost::function4::result_type boost::function4::operator()(T0, T1, T2, T3) const [with R = bool , T0 = __gnu_cxx::__normal_iterator >&, T1 = const __gnu_cxx::__normal_iterator >&, T2 = boost::spirit::context, boost::fusion::vector0 >&, T3 = const boost::spirit::qi ::char_class >&, boost::function4::result_type = bool]
/usr/include/boost/function/function_template.hpp:1006:1: 注: 引数 4 の「const boost::spirit::qi::detail::unused_skipper > >」から「const boost::」への既知の変換はありません。 Spirit::qi::char_class >&'

これは私のコードです

#define BOOST_SPIRIT_DEBUG

#include <iostream>
#include <vector>
#include <iterator>
#include <fstream>

// forwards to <boost/spirit/home/qi/nonterminal/grammar.hpp>
#include <boost/spirit/include/qi_grammar.hpp>
// forwards to <boost/spirit/home/qi/nonterminal/rule.hpp>
#include <boost/spirit/include/qi_rule.hpp>

#include <boost/spirit/include/qi.hpp>

#include <boost/spirit/include/qi_char_class.hpp>
#include <boost/spirit/include/qi_no_skip.hpp>

#include <boost/spirit/include/phoenix.hpp>

#include "TestParser.hpp"

///////////////////////////////////////////////////////////////////////////////

namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;

template <typename Iterator, typename Skipper=qi::space_type>
struct fsm_grammar : qi::grammar<Iterator, Skipper>
{
   fsm_grammar() : fsm_grammar::base_type(script)
   {
      using boost::spirit::double_;
      using boost::spirit::ascii::char_;
      using boost::spirit::ascii::alnum;
      using boost::spirit::ascii::alpha;
      using boost::spirit::lit;
      using boost::spirit::qi::eol;
      using boost::spirit::qi::eoi;
      using boost::spirit::lexeme;
      using boost::spirit::qi::no_skip;
      using boost::spirit::qi::_1;
      using boost::spirit::qi::_val;

      //id = char_("a-zA-Z")[_val += _1] >> *char_("a-zA-Z_0-9")[_val += _1];
      id = lexeme[ alpha[_val += _1] >> *alnum[_val += _1] >> !alnum ];
      state_id = "state" >> id;
      start_expr = "start" >> id;
      trans_assign_expr = lit("\t") >> state_id >> +(char_('a','z'));
      trans_expr = state_id >> eol >> no_skip[ trans_assign_expr ];
      assign_expr = char_("a-zA-Z");
      states_list = "states" >> +(id);
      expr = (trans_expr | start_expr | states_list) >> +eol;
      script = *expr >> eoi;

      BOOST_SPIRIT_DEBUG_NODE(script);
      BOOST_SPIRIT_DEBUG_NODE(states_list);
      BOOST_SPIRIT_DEBUG_NODE(expr);
      BOOST_SPIRIT_DEBUG_NODE(start_expr);
      BOOST_SPIRIT_DEBUG_NODE(assign_expr);
      BOOST_SPIRIT_DEBUG_NODE(trans_expr);
      BOOST_SPIRIT_DEBUG_NODE(trans_assign_expr);
      BOOST_SPIRIT_DEBUG_NODE(state_id);
      BOOST_SPIRIT_DEBUG_NODE(id);

      std::string val = "PASS";
      //test_parser("  ",+char_("a-zA-Z"));
   }

   qi::rule<Iterator, Skipper> script;
   qi::rule<Iterator, Skipper> states_list;
   qi::rule<Iterator, Skipper> expr;
   qi::rule<Iterator, Skipper> trans_expr;
   qi::rule<Iterator, Skipper> trans_assign_expr;
   qi::rule<Iterator, Skipper> assign_expr;
   qi::rule<Iterator, Skipper> start_expr;
   qi::rule<Iterator, Skipper> state_id;
   qi::rule<Iterator, std::string()> id;
};

score 5 · Accepted Answer

llonesmiz が非常に適切に指摘したように:

静的アサートを探します ( ****** like this in the error 'novel' ******)
「失敗した」行のすぐ上のコメントを探します。これには、テンプレートのインスタンス化がトリガーされたポイントが含まれます。

ここで、4 番目のパラメーターを必要なターゲット型に変換できないというコンパイルエラーが表示される場合は、互換性のないスキッパー型のルールまたは文法を使用しようとしている可能性があります。

この場合、スキッパーなしで使用したいのでtrans_assign_expr、スキッパーなしで宣言する必要があります。
```
// no skippers
qi::rule<Iterator, std::string()> id;
qi::rule<Iterator> state_id;
qi::rule<Iterator> trans_assign_expr;
```

これにより、コンパイルされます。ただし、出力は /work/ ではないことを示唆しています。

これがあなたのやりたいことだとは確信していません。とにかく、lexemeここではより良いオプションのようです。idルールを単純化します。

id = lexeme [ alpha >> *alnum ];

lexeme使用中のスキッパーをローカルで無効にするプロパティが既にあります。

これは文法のわずかな変更ですhttp://liveworkspace.org/code/70f3319342c567854b9f785ac13508d6

trans_assign_expr = state_id >> +(char_('a','z'));
trans_expr        = state_id >> no_skip [ eol >> '\t' ] >> trans_assign_expr;

ご覧のとおりeol、no_skip に with を含めています (スキッパーがタブを食べないようにするため)。このようにして、スキッパーは引き続き有効trans_assign_exprです。これにより、余分なスペースを受け入れることができます。入力を考えると

const char input[]="state PASS\n\t state FAIL more";

出力は現在

<script>
  <try>state PASS\n\t state F</try>
  <expr>
    <try>state PASS\n\t state F</try>
    <trans_expr>
      <try>state PASS\n\t state F</try>
      <state_id>
        <try>state PASS\n\t state F</try>
        <id>
          <try> PASS\n\t state FAIL m</try>
          <success>\n\t state FAIL more\n</success>
          <attributes>[[P, A, S, S]]</attributes>
        </id>
        <success>\n\t state FAIL more\n</success>
        <attributes>[]</attributes>
      </state_id>
      <trans_assign_expr>
        <try> state FAIL more\n</try>
        <state_id>
          <try> state FAIL more\n</try>
          <id>
            <try> FAIL more\n</try>
            <success> more\n</success>
            <attributes>[[F, A, I, L]]</attributes>
          </id>
          <success> more\n</success>
          <attributes>[]</attributes>
        </state_id>
        <success>\n</success>
        <attributes>[]</attributes>
      </trans_assign_expr>
      <success>\n</success>
      <attributes>[]</attributes>
    </trans_expr>
    <success></success>
    <attributes>[]</attributes>
  </expr>
  <expr>
    <try></try>
    <trans_expr>
      <try></try>
      <state_id>
        <try></try>
        <fail/>
      </state_id>
      <fail/>
    </trans_expr>
    <start_expr>
      <try></try>
      <fail/>
    </start_expr>
    <states_list>
      <try></try>
      <fail/>
    </states_list>
    <fail/>
  </expr>
  <success></success>
  <attributes>[]</attributes>
</script>
true

c++ - ブーストスピリットコンパイラエラーを理解するにはどうすればよいですか

1 に答える 1

Related

Reference