Как связать / вызвать boost :: function, хранящуюся в fusion :: vector из духа семантического правила?
Я пытаюсь отобразить некоторые обработчики ключевых слов (методы) через символы qi :: со значениями типа boost :: function. Поэтому, если ключевое слово найдено, я хочу вызвать метод. Но я не мог связать метод с этой карты. Сбой компилятора с кучей ошибок в phoenix :: bind. Что я делаю не так?
Часть кода ниже:
template <typename Iterator>
struct Grammar : qi::grammar<Iterator, AST::FunctionCall(), ascii::space_type>
{
Grammar():
Grammar::base_type(query),
{
...
operand =
predicate [phoenix::bind(phoenix::at_c<0>(qi::_1), this, phoenix::at_c<1>(qi::_1))]; // **Compiler fails here**
...
predicate =
(pred_tbl > '(')
> -(primary_expr % ',')
> ')';
...
pred_tbl.add
("composing", &RQL::composing)
);
}
qi::rule<Iterator, fusion::vector<Predicate, PredicateArgList>(), ascii::space_type> predicate;
typedef std::vector<AST::Value> PredicateArgList;
typedef boost::function<void (Grammar*, const PredicateArgList& args)> Predicate;
qi::symbols<char, Predicate> pred_tbl;
void composing(const PredicateArgList& args);
};
Ошибки компилятора:
error C2903: 'result' : symbol is neither a class template nor a function template c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 115
error C2039: 'result' : is not a member of 'boost::function<Signature>' c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 115
error C2059: syntax error : '<' c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 115
error C2238: unexpected token(s) preceding ';' c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 116
error C2065: 'function_apply' : undeclared identifier c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 124
error C2955: 'boost::mpl::eval_if' : use of class template requires template argument list c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 125
error C2146: syntax error : missing ';' before identifier 'type' c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
error C3254: 'boost::phoenix::detail::function_eval<2>::result<Env,F,A0,A1>' : class contains explicit override 'type' but does not derive from an interface that contains the function declaration c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
error C2838: 'type' : illegal qualified name in member declaration c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
error C4430: missing type specifier - int assumed. Note: C++ does not support default-int c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
error C2602: 'boost::phoenix::detail::function_eval<2>::result<Env,F,A0,A1>::type' is not a member of a base class of 'boost::phoenix::detail::function_eval<2>::result<Env,F,A0,A1>' c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
error C2868: 'boost::phoenix::detail::function_eval<2>::result<Env,F,A0,A1>::type' : illegal syntax for using-declaration; expected qualified-name c:\work\include\boost-1_41\boost\spirit\home\phoenix\core\detail\function_eval.hpp 126
Решение
Я полагаю, что недостающее звено могло быть
#define BOOST_SPIRIT_USE_PHOENIX_V3
Смотрите это в прямом эфире http://liveworkspace.org/code/3uvyb4$1
Это печатает
Hello world from 'Grammar::composing(PredicateArgList const&)' args:3
как и ожидалось.
ОБНОВИТЬ PS. Вероятно, я бы предпочел написать вызов связывания следующим образом:
Grammar(): Grammar::base_type(predicate)
{
using phx::bind;
using namespace qi;
as<PredicateArgList> coerce;
predicate =
(pred_tbl > '('
> coerce [ -(primary_expr % ',') ]
> ')')
[ phx::bind(_1, this, _2)]
;
// ...
Я думаю, что это намного понятнее с _1 а также _2 вместо at_c<n> вызовы.
Вот код для справки:
#define BOOST_SPIRIT_USE_PHOENIX_V3
#include <boost/function.hpp>
#include <boost/phoenix/fusion.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;
namespace fusion = boost::fusion;
namespace ascii = boost::spirit::ascii;
namespace phx = boost::phoenix;
namespace AST
{
struct FunctionCall {};
using Value = int;
}
template <typename Iterator>
struct Grammar : qi::grammar<Iterator, AST::FunctionCall(), ascii::space_type>
{
Grammar(): Grammar::base_type(predicate)
{
using phx::bind;
using namespace qi;
as<PredicateArgList> coerce;
predicate =
(pred_tbl > '('
> coerce [ -(primary_expr % ',') ]
> ')')
[ phx::bind(_1, this, _2)]
;
pred_tbl.add
("composing", &Grammar::composing)
;
primary_expr = qi::int_;
}
typedef std::vector<AST::Value> PredicateArgList;
typedef boost::function<void (Grammar*, PredicateArgList const&)> Predicate;
qi::symbols<char, Predicate> pred_tbl;
qi::rule<Iterator, AST::Value(), ascii::space_type> primary_expr;
qi::rule<Iterator, AST::FunctionCall(), ascii::space_type> predicate;
void composing(const PredicateArgList& args)
{
std::cout << "Hello world from 'Grammar::composing(PredicateArgList const&)' args:" << args.size() << "\n";
}
};
int main()
{
const std::string input("composing (1, 2, 3)");
auto f = begin(input), l = end(input);
Grammar<decltype(f)> p;
bool ok = qi::phrase_parse(f,l,p,ascii::space);
return ok?0:255;
}
Другие решения
Других решений пока нет …
detector