Boost Spirit получить все совпадение в виде струны

Я пытаюсь определить свою собственную грамматику, используя структуру духа ускорения, и я определяю такое правило сопоставления:

value = (
        char_('"') >>
        (*qi::lexeme[
                char_('\\') >> char_('\\') |
                char_('\\') >> char_('"')  |
                graph - char_('"') |
                char_(' ')
        ])[some_func] >>
        char_('"')
);

Я хотел бы применить действие some_func к его части и передать всю соответствующую строку в качестве параметра. Но, к сожалению, я получу что-то вроде vector<boost::variant<boost::fusion::vector2 ..a lot of stuff...)...>. Могу ли я каким-то образом получить все данные в виде char *, std :: string или даже void * с размером?


person Dejwi    schedule 21.02.2013    source источник
comment
что не так с вектором?   -  person Öö Tiib    schedule 21.02.2013
comment
Я описываю его как вектор ‹foo‹ bar ‹another‹ boost ‹stuff› ›››, но он был отредактирован sehe.   -  person Dejwi    schedule 21.02.2013


Ответы (1)


См. qi :: as_string:

Вывод демонстрационной программы:

DEBUG: 'some\\"quoted\\"string.'
parse success

Если честно, похоже, что вы действительно пытаетесь разобрать "дословные" строки с возможными escape-символами. В этом отношении использование lexeme кажется неправильным (пробелы съедаются). Если вы хотите увидеть примеры синтаксического анализа экранированной строки, см., Например,

Простая перестановка, которую, я думаю, можно было бы сделать, по крайней мере, она могла бы выглядеть так:

  value = qi::lexeme [ 
          char_('"') >>
          qi::as_string [
           *(
                 string("\\\\") 
               | string("\\\"") 
               | (graph | ' ') - '"'
            )
          ] [some_func(_1)] >>
          char_('"')
      ];

Однако обратите внимание, что вы можете просто объявить правило без шкипера и полностью отказаться от lexeme: http://liveworkspace.org/code/1oEhei$0

Код (доступен на liveworkspace)

#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

namespace qi    = boost::spirit::qi;
namespace phx   = boost::phoenix;

struct some_func_t 
{
    template <typename> struct result { typedef void type; };
    template <typename T> 
        void operator()(T const& s) const
        {
            std::cout << "DEBUG: '" << s << "'\n";
        }
};

template <typename It, typename Skipper = qi::space_type>
    struct parser : qi::grammar<It, Skipper>
{
    parser() : parser::base_type(value)
    {
        using namespace qi;
        // using phx::bind; using phx::ref; using phx::val;

        value = (
                 char_('"') >>
                     qi::as_string
                     [
                         (*qi::lexeme[
                          char_('\\') >> char_('\\') |
                          char_('\\') >> char_('"')  |
                          graph - char_('"') |
                          char_(' ')
                          ])
                     ] [some_func(_1)] >>
                 char_('"')
            );
        BOOST_SPIRIT_DEBUG_NODE(value);
    }

  private:
    qi::rule<It, Skipper> value;
    phx::function<some_func_t> some_func;
};

bool doParse(const std::string& input)
{
    typedef std::string::const_iterator It;
    auto f(begin(input)), l(end(input));

    parser<It, qi::space_type> p;

    try
    {
        bool ok = qi::phrase_parse(f,l,p,qi::space);
        if (ok)   
        {
            std::cout << "parse success\n";
        }
        else      std::cerr << "parse failed: '" << std::string(f,l) << "'\n";

        if (f!=l) std::cerr << "trailing unparsed: '" << std::string(f,l) << "'\n";
        return ok;
    } catch(const qi::expectation_failure<It>& e)
    {
        std::string frag(e.first, e.last);
        std::cerr << e.what() << "'" << frag << "'\n";
    }

    return false;
}

int main()
{
    bool ok = doParse("\"some \\\"quoted\\\" string.\"");
    return ok? 0 : 255;
}
person sehe    schedule 21.02.2013
comment
+1 Я собирался ответить as_string раньше, но не мог найти его в документации - 'parser directives', да! - person ildjarn; 21.02.2013
comment
Добавлена ​​конкретная иллюстрация того, что, по моему мнению, необходимо исправить при использовании lexeme. - person sehe; 21.02.2013