Следуя образцу в классическом FAQ по устранению левой рекурсии, я не могу определить правильные заполнители для семантических действий Phoenix. Моя нерабочая грамматика показана ниже:
template <typename It, typename Skipper = qi::space_type>
struct parser : qi::grammar<It, expr(), Skipper>
{
parser() : parser::base_type(expression)
{
using namespace qi;
expression =
term [_val = _1]
>> *( (char_('+') >> term) [_val = phx::construct<binop<op_add>>(_1, _2)]
| (char_('-') >> term) [_val = phx::construct<binop<op_sub>>(_1, _2)]
) ;
term =
factor [_val = _1]
>> *( (char_('*') >> factor) [_val = phx::construct<binop<op_mul>>(_1, _2)]
| (char_('/') >> factor) [_val = phx::construct<binop<op_div>>(_1, _2)]
);
factor =
uint_ [_val = _1]
| var_ [_val = _1]
| ('(' >> expression >> ')') [_val = _1]
| (char_('-') > factor) [_val = phx::construct<unop<op_uminus>>(_1)]
| (char_('+') > factor) [_val = _1]
;
var_ = qi::lexeme[ +alpha ];
BOOST_SPIRIT_DEBUG_NODE(expression);
BOOST_SPIRIT_DEBUG_NODE(term);
BOOST_SPIRIT_DEBUG_NODE(factor);
BOOST_SPIRIT_DEBUG_NODE(var_);
}
private:
qi::rule<It, var() , Skipper> var_;
qi::rule<It, expr(), Skipper> expression, term, factor;
};
Любая помощь в правильном способе обработки атрибутов будет принята с благодарностью.
Спасибо.