¿Cómo arrojar un expectation_failure de una función en Boost Spirit?

Question

En Boost :: Spirit, ¿cómo puedo disparar un expectation_failure desde una función vinculada con Boost::Bind?

Antecedentes: analizo un archivo grande que contiene entradas complejas. Cuando una entrada es inconsistente con una entrada anterior, quiero fallar y lanzar un expectation_failure (que contiene la información de posición de análisis correcta). Cuando analizo una entrada, ato una función que decide si la entrada es inconsistente con algo visto anteriormente.

Inventé un pequeño ejemplo de juguete que muestra el punto. Aquí simplemente quiero lanzar una expectation_failure cuando el int no es divisible por 10:

#include <iostream> 
#include <iomanip> 
#include <boost/spirit/include/qi.hpp> 
#include <boost/bind.hpp> 
#include <boost/spirit/include/classic_position_iterator.hpp> 
namespace qi = boost::spirit::qi; 
namespace classic = boost::spirit::classic; 

void checkNum(int const& i) { 
    if (i % 10 != 0) // >> How to throw proper expectation_failure? << 
    std::cerr << "ERROR: Number check failed" << std::endl; 
} 

template <typename Iterator, typename Skipper> 
struct MyGrammar : qi::grammar<Iterator, int(), Skipper> { 
    MyGrammar() : MyGrammar::base_type(start) { 
    start %= qi::eps > qi::int_[boost::bind(&checkNum, _1)]; 
    } 
    qi::rule<Iterator, int(), Skipper> start; 
}; 

template<class PosIter> 
std::string errorMsg(PosIter const& iter) { 
    const classic::file_position_base<std::string>& pos = iter.get_position(); 
    std::stringstream msg; 
    msg << "parse error at file " << pos.file 
     << " line " << pos.line << " column " << pos.column << std::endl 
     << "'" << iter.get_currentline() << "'" << std::endl 
     << std::setw(pos.column) << " " << "^- here"; 
    return msg.str(); 
} 

int main() { 
    std::string in = "11"; 
    typedef std::string::const_iterator Iter; 
    typedef classic::position_iterator2<Iter> PosIter; 
    MyGrammar<PosIter, qi::space_type> grm; 
    int i; 
    PosIter it(in.begin(), in.end(), "<string>"); 
    PosIter end; 
    try { 
    qi::phrase_parse(it, end, grm, qi::space, i); 
    if (it != end) 
     throw std::runtime_error(errorMsg(it)); 
    } catch(const qi::expectation_failure<PosIter>& e) { 
    throw std::runtime_error(errorMsg(e.first)); 
    } 
    return 0; 
} 

Lanzar un expectation_failure significaría que aparece un mensaje de error como este en un int que no es divisible por 10:

parse error at file <string> line 1 column 2 
'11' 
    ^- here 

Answer 1

No estoy seguro, pero creo que puede usar el marcador de posición _pass en phoenix para aplicar un error de análisis. Algo así debería funcionar.

bool myfunc(int i) {return i%10 == 0;} 

... 
_int [ _pass = phoenix::bind(myfunc,_1)] 

Answer 2

años de retraso, pero de todos modos:

Si a pesar de todo quiere lanzar una excepción y desea que el on_error para cogerlo, hay que tirar la expectation_exception del qi espacio de nombres debido a que el controlador de errores on_error hace capturas nada más.

Esto podría aplicarse a una acción semántica o a una implementación de analizador personalizado.

se vería así:

boost::throw_exception(Exception(first, last, component.what(context))); 

donde Exception es una nada qi::expactation_exception y demás.

Si no tiene un componente a mano como en una acción semántica, debe proporcionar su propio objeto qi::info en lugar de component.what(..).

Puede lanzar desde cualquier lugar dentro de un contexto protegido por on_error.