Обработка исключений в семантических действиях

Question

Рассмотрим следующий парсер:

class test
{
public:
  static test from_string(const string &str); //throws!
};

template <typename Iterator = string::const_iterator>
struct test_parser : grammar<Iterator, test(), blank_type>
{
  test_parser() : test_parser::base_type(query)
  {
    query = id[_val = phx::bind(&test::from_string, qi::_1)];
    id = lexeme[*char_("a-zA-Z_0-9")];
  }
  rule<Iterator, test(), blank_type> query;
  rule<Iterator, string(), blank_type> id;
};

Я хотел бы поймать исключения, которые test::from_string может бросить и провалить матч по исключению. Я не мог найти прямой способ сделать это, поэтому я пытаюсь использовать функцию "адаптера", которая бы явно принимала контекст. Но как получить доступ к контексту и как прикрепить такое действие к грамматике? Пожалуйста, смотрите вопросы в коде:

template<class Context>
void match_test(const string &attr, Context &context, bool &mFlag)
{
  try
  {
    test t = test::from_string(attr);
    // how do I access the context to put t into _val?
  }
  catch(...)
  {
    mFlag = false;
  }
}

//...
test_parser() : test_parser::base_type(query)
{
  query = id[?match_test<?>? /*how to instantiate and use the above semantic action?*/];
  id = lexeme[*char_("a-zA-Z_0-9")];
}

Answer 1

Как сказал комментатор, используйте

    query = id[
            phx::try_ [
                qi::_val = phx::bind(&test::from_string, qi::_1)
            ].catch_all [ 
                qi::_pass = false 
            ]
        ];

Посмотреть это в прямом эфире на Coliru

Версия, которая компилируется даже с BOOST_SPIRIT_USE_PHOENIX_V3: Жить на Coliru

    query = id[
            phx::try_ [
                qi::_val = phx::bind(&test::from_string, qi::_1)
            ].catch_all [ 
                qi::_pass = false 
            ],
            qi::_pass = qi::_pass // to appease the spirit expression compilation gods
        ];