Boost Spirit, как получить доступ к дочерним узлам (листьям) из родительских узлов

Вы смотрели на другие перегрузки оценки для существующих операторов? Вы заметили, как они получили значение своих операндов (которые на самом деле могут быть подвыражениями)?

Возьмем для примера двоичный код или:

bool operator()(const binop<op_or>& b) const
{
    return recurse(b.oper1) || recurse(b.oper2);
}

Как видите, он просто применяет || к значению обоих операндов. Это значение не найдено в AST ^[1]. Итак, мы рассматриваем каждый операнд как выражение и просто рекурсивно вызываем для него метод eval.

Поскольку тип выражения является вариантом, вызов eval фактически применяет посетителя к варианту, а я уже написал полезную оболочку, которая делает это, поэтому recurse легко:

private:
template<typename T>
    bool recurse(T const& v) const 
    { return boost::apply_visitor(*this, v); }

Итак, не зная остальной части вашей грамматики, но предполагая, что вы расширили ее в том же духе, что и существующая грамматика:

bool operator()(const binop<op_equal>& u) const {
    return recurse(b.oper1) == recurse(b.oper2);
}

было бы примерно правильно. Обратите внимание, что с помощью умного макроса вы можете сделать это очень быстро:

struct eval : boost::static_visitor<value> {

    // terminal
    value operator()(const var& v) const {
        std::cout<<"feuille:\n"<<v<<std::endl;
        return true; // TODO get value from var
    }

    // unary operator
    value operator()(const unop<op_not>& u) const { return !recurse(u.oper1); }

    /*
     * binary operators
     */
#define EXPR_DEF_BINOP(tag, op) \
    value operator()(const binop<tag>& u) const { \
        return recurse(b.oper1) op recurse(b.oper2); \
    }

    EXPR_DEF_BINOP(op_and,           &&)
    EXPR_DEF_BINOP(op_equal,         ==)
    EXPR_DEF_BINOP(op_greater,       >)
    EXPR_DEF_BINOP(op_greater_equal, >=)
    EXPR_DEF_BINOP(op_less,          <)
    EXPR_DEF_BINOP(op_less_equal,    <=)
    EXPR_DEF_BINOP(op_not_equal,     !=)
    EXPR_DEF_BINOP(op_or,            ||)

#undef EXPR_DEF_BINOP

  private:
    template<typename T>
        value recurse(T const& v) const 
        { return boost::apply_visitor(*this, v); }
};

Еще несколько примечаний:

• Я добавил TODO к функции оценки листового узла

• Я поменял тип на value (с bool). Это потому, что ваша грамматика поддерживает небулевы выражения, иначе операторы <= и >= не имели бы смысла. ^[2], поэтому у вас будут значения разных типов (тоже ):

  using value = variant<bool, int32_t>;
  

  Остальное я оставлю тебе

^[1] Помните, что AST = абстрактное синтаксическое дерево: это представление источника 1: 1. («Половина исключения» будут литералами, хотя вы все равно должны указать оценщику, как использовать значение литерала.)

^[2] возможно

• a<b может означать !a && b
• a>b может означать !b && a
• a!=b может означать a XOR b
• a==b может означать !(a XOR b)