Search code examples
c++boost-spiritboost-spirit-qi

Passing arguments to boost spirit custom parser


I am trying to create a custom parser following instructions from here: http://boost-spirit.com/home/articles/qi-example/creating-your-own-parser-component-for-spirit-qi/. In this article the parser doesn't have arguments, i.e. I cannot write something like qi::parse(first, input.end(), +qi::alpha >> custom_parser::iter_pos("my argument"));. How can I modify the example to pass arguments? I tried this:

using namespace boost::spirit;

namespace parsernm { BOOST_SPIRIT_TERMINAL(aparser); }

namespace boost { namespace spirit {
    template <typename A0>
    struct use_terminal<
        qi::domain
      , terminal_ex<
            parsernm::tag::aparser
          , fusion::vector1<A0>
          >
      > : mpl::true_
    {};
}}

namespace parsernm
{
    struct aparser_impl : boost::spirit::qi::primitive_parser<aparser_impl>
    {
        aparser_impl(int _param)
          : param(_param)
        {}

        template <typename Iterator, typename Context, typename Skipper, typename Attribute>
        bool parse(Iterator& first, Iterator const& last, Context&,
                   Skipper const& skipper, Attribute& attr) const
        {
            return true;
        }

        template <typename Context>
        boost::spirit::info what(Context&) const {
            return boost::spirit::info("aparser");
        }

        int param;
    };
}

namespace boost { namespace spirit { namespace qi {
    template <typename Modifiers>
    struct make_primitive<parsernm::tag::aparser, Modifiers>
    {
        typedef parsernm::aparser_impl result_type;

        template <typename Terminal>
        result_type operator()(Terminal const& term, unused_type) const
        {
            return result_type(fusion::at_c<0>(term.args));
        }
    };
}}}

int main(int argc, char* argv[])
{
    std::string input("");
    std::string::iterator first = input.begin();
    bool result = qi::parse(first, input.end(), parsernm::aparser(10));

    return 0;
}

The result is boost\spirit\home\qi\detail\parse.hpp(32): error C2338: error_invalid_expression.


Solution

  • I got it. BOOST_SPIRIT_TERMINAL has to be changed to BOOST_SPIRIT_TERMINAL_EX. And make_primitive should look like following:

    namespace boost { namespace spirit { namespace qi {
        template <typename Modifiers, typename A0>
        struct make_primitive<
            terminal_ex<
                parsernm::tag::aparser
              , fusion::vector1<A0>
              >
          , Modifiers
          >
        {
            typedef parsernm::aparser_impl result_type;
    
            template <typename Terminal>
            result_type operator()(Terminal const& term, unused_type) const
            {
                return result_type(fusion::at_c<0>(term.args));
            }
        };
    }}}