boost :: spirit :: qi и исключение нарушения доступа

Question

в следующем простом коде. Я получаю исключение «нарушение прав доступа». Почему так происходит? Я не могу понять причину.

#define BOOST_SPIRIT_DEBUG 
#include <boost/fusion/adapted/struct.hpp> 
#include <boost/spirit/include/qi.hpp> 

namespace qi = boost::spirit::qi; 
typedef boost::spirit::ascii::space_type TSkipper; 

struct MyField 
{ 
    bool isConst; 
    std::string mtype; 
    std::string name; 
}; 

BOOST_FUSION_ADAPT_STRUCT 
    (
    MyField, 
    (bool, isConst) 
    (std::string, mtype) 
    (std::string, name) 
    ) 

template<typename Iterator, typename TSkipper = boost::spirit::ascii::space_type> 
struct field_grammar : qi::grammar < Iterator, Field(), TSkipper > 
{ 
    field_grammar() : field_grammar::base_type(field, "field_grammar") 
    { 
     // must parse values such as: int, list, i, j9_ 
     valid_symbols %= lexeme[qi::char_("a-zA-Z") > *(qi::char_("a-zA-Z0-9_"))]; 
     valid_symbols.name("valid_symbols"); 

     field %= qi::matches["const"] >> valid_symbols >> valid_symbols; 
     field.name("field"); 

     BOOST_SPIRIT_DEBUG_NODES((valid_symbols)(field)); 
    } 

    boost::spirit::qi::rule<Iterator, std::string(), TSkipper> valid_symbols; 
    boost::spirit::qi::rule<Iterator, Field(), TSkipper> field; 
}; 

И я использую эту грамматику следующим способом:

void SpiritTestSimple() 
{ 
    std::string mdata = "int destroyWindow"; 

    std::string::const_iterator first = mdata.begin(), last = mdata.end(); 
    field_grammar<std::string::const_iterator> test_grammar; 

    Field parsed; 
    bool is_parsed; 
    try 
    { 
     is_parsed = qi::phrase_parse(first, last, test_grammar, 
            boost::spirit::ascii::space, parsed); 
    } 
    catch (const qi::expectation_failure<std::string::const_iterator>& e) 
    { 
     std::string frag(e.first, e.last); 
     std::cout << e.what() << "'" << frag << "'" << std::endl; 
    } 

    BOOST_ASSERT(is_parsed && "the example not parsed"); 
} 

я получаю исключение при выполнении функции «ци :: phrase_parse». Почему это происходит? И как это исправить? Я использую msvs2013.

Answer 1

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

• вы должны квалифицироваться qi::lexeme (со мной, что приведет к ошибке компиляции)
• у вас есть Field ссылка, вероятно, нужно должен быть MyField (это тоже должно привести к ошибке компиляции)
• технически, ваша программа имеет неопределенное поведение, так как is_parsed может быть неинициализирован в макросе ASSERT.

Вы можете попробовать следующий вариант: Live On Coliru

#define BOOST_SPIRIT_DEBUG 
#include <boost/fusion/adapted/struct.hpp> 
#include <boost/spirit/include/qi.hpp> 

namespace qi = boost::spirit::qi; 

struct MyField 
{ 
    bool  isConst = false; 
    std::string mtype = ""; 
    std::string name = ""; 

    friend std::ostream& operator<<(std::ostream& os, MyField const& mf) 
    { 
     return os << "MyField[" 
         << "isConst:" << std::boolalpha << mf.isConst 
         << "\nmtype:" << mf.mtype 
         << "\nname: " << mf.name << "]"; 
    } 
}; 

BOOST_FUSION_ADAPT_STRUCT 
    (
    MyField, 
    (bool, isConst) 
    (std::string, mtype) 
    (std::string, name) 
    ) 

template<typename Iterator, typename TSkipper = boost::spirit::ascii::space_type> 
struct field_grammar : qi::grammar <Iterator, MyField(), TSkipper> 
{ 
    field_grammar() : field_grammar::base_type(field, "field_grammar") 
    { 
     // must parse values such as: int, list, i, j9_ 
     valid_symbols = qi::char_("a-zA-Z") >> *(qi::char_("a-zA-Z0-9_")); 
     field   = qi::matches["const"] >> valid_symbols >> valid_symbols; 

     BOOST_SPIRIT_DEBUG_NODES((valid_symbols)(field)); 
    } 

    boost::spirit::qi::rule<Iterator, std::string()> valid_symbols; 
    boost::spirit::qi::rule<Iterator, MyField(), TSkipper> field; 
}; 

void SpiritTestSimple() 
{ 
    std::string const mdata = "int destroyWindow"; 

    std::string::const_iterator first = mdata.begin(), last = mdata.end(); 
    field_grammar<std::string::const_iterator> test_grammar; 

    try 
    { 
     MyField parsed; 
     if (qi::phrase_parse(first, last, test_grammar, 
            boost::spirit::ascii::space, parsed)) 
     { 
      std::cout << "Parsed: " << parsed << "\n"; 
     } else 
     { 
      std::cout << "Failed to parse '" << std::string(first, last) << "'\n"; 
     } 
    } 
    catch (const qi::expectation_failure<std::string::const_iterator>& e) 
    { 
     std::string frag(e.first, e.last); 
     std::cout << e.what() << "'" << frag << "'" << std::endl; 
    } 

} 

int main() 
{ 
    SpiritTestSimple(); 
} 

Если это не WorksForYou (TM) пришло время посмотреть на патч-уровнях, библиотеки версии, архитектуре, флаги оптимизации и все это джаз.