ブーストスピリットの関数からexpectation_failureを投げる方法は？

Question

Boost :: Spiritでは、Boost::Bindにバインドされた関数からexpectation_failureをどのようにトリガーできますか？

背景：複雑なエントリを含む大きなファイルを解析します。エントリが前のエントリと矛盾するとき、私は失敗し、expectation_failure（適切な解析位置情報を含む）を投げたい。エントリを解析するとき、そのエントリが前に見たものと矛盾しているかどうかを判断する関数をバインドします。

私はポイントを示す小さなおもちゃの例を作りました。ここで私は単純にintが10で割り切れないときexpectation_failureをスローするようにしたい：

#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; 
} 

expectation_failureを投げることは、私が10で割り切れない整数で、このようなエラーメッセージが表示されますことを意味する：

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

Answer 1

私は確信していませんが、私は_passフェニックスのプレースホルダを使用して解析に失敗すると思います。このようなものは、はでなければなりません。後半とにかく

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

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

Answer 2

年：あなたは絶対に例外をスローしたいとon_errorはそれをキャッチしたい場合

は、エラーハンドラon_errorがキャッチ何もしないので、qi名前空間からexpectation_exceptionをスローする必要がありますelse。

これは、セマンティックアクションまたはカスタムパーサーの実装に適用される場合があります。

Exceptionは qi::expactation_exception何もないです

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

：

は次のようになります。

セマンティックアクションのように手元にコンポーネントがない場合は、component.what(..)の代わりに独自のqi::infoオブジェクトを指定する必要があります。

on_errorによって保護されたコンテキスト内のどこからでも投げることができます。