Используйте указатель как синтезированный атрибут в анализаторе буст-спирита

Question

Я хочу написать анализатор духа для дерева объектов, которые я не могу изменить. Чтобы упростить код, я могу использовать пример Expression:

class Expr
{
public:
    virtual ~Expr() = 0;
};
Expr::~Expr() {}

class Plus : public Expr
{
public:
    Plus (Expr* e1, Expr* e2) : _e1(e1), _e2(e2) {}
    ~Plus () {}
private:
    Expr* _e1;
    Expr* _e2;
};

class Num : public Expr
{
public:
    Num(double n) : _n(n) {}
private:
    double _n;
};

Я проверил документацию и нашел полезный BOOST_ADAPT_STRUCT, но используя правило, объявленное как:

qi::rule<Iterator, Expr()> r;

Я нарежу объект, когда правило вернет, например, объект Plus. Итак, я пытаюсь так:

template <typename Iterator>
struct ExprParser : qi::grammar<Iterator, Expr*(), ascii::space_type>
{

    ExprParser()
      : ExprParser::base_type (start, "expr")
    {
        expr = qi::double_    [ qi::_val = phoenix::new_<Num>(::_1) ]
                | '('
                    >> expr
                    >> '+'
                    >> expr
                  >> ')'      [ qi::_val = phoenix::new_<Plus>(::_1, ::_2) ]
                ;

        start %= expr;
    }

    qi::rule<Iterator, Expr*(), ascii::space_type> expr;
    qi::rule<Iterator, Expr*(), ascii::space_type> start;
};

Но я получаю ошибку компиляции в присвоении внутри семантических действий. Что я делаю неправильно?

редактировать

Ответ Сехе хорош! Там где пропущены круглые скобки и неправильное использование заполнителей. Но как насчет утечек памяти при возникновении ошибки синтаксического анализа?

Answer 1

Как указано в документации

• http://www.boost.org/doc/libs/1_48_0/libs/spirit/doc/html/spirit/qi/tutorials/semantic_actions.html

в разделе "Важно" необходимо использовать заполнители ци с Phoenix. Я проверил исправленный код. Вы можете увидеть это в прямом эфире на http://liveworkspace.org/code/48dbfb55a0b7cbd4783b2f9f9a66d6d1.

Обратите внимание, что для компиляции второго семантического действия потребовались дополнительные скобки:

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
namespace phoenix = boost::phoenix;

class Expr
{
    public:
        virtual ~Expr() = 0;
};
Expr::~Expr() {}

class Plus : public Expr
{
    public:
        Plus (Expr* e1, Expr* e2) : _e1(e1), _e2(e2) {}
        ~Plus () {}
    private:
        Expr* _e1;
        Expr* _e2;
};

class Num : public Expr
{
    public:
        Num(double n) : _n(n) {}
    private:
        double _n;
};

template <typename Iterator>
struct ExprParser : qi::grammar<Iterator, Expr*(), ascii::space_type>
{

    ExprParser()
      : ExprParser::base_type (start, "expr")
    {
        expr = qi::double_     [ qi::_val = phoenix::new_<Num>(qi::_1) ]
                | ('('
                    >> expr
                    >> '+'
                    >> expr
                  >> ')')      [ qi::_val = phoenix::new_<Plus>(qi::_1, qi::_2) ]
                ;

        start %= expr;
    }

    qi::rule<Iterator, Expr*(), ascii::space_type> expr;
    qi::rule<Iterator, Expr*(), ascii::space_type> start;
};

int main(int argc, const char *argv[])
{
    char input[] = "3.14 + 39";
    ExprParser<const char*> p;

    const char *f = std::begin(input);
    const char *l = std::end(input);
    qi::phrase_parse(f, l, p, ascii::space);
}