Ошибка компиляции при построении оценщика математических выражений с Boost.Spirit

Question

Я пытаюсь разобрать математическое выражение в дерево и оценить его позже с указанными c переменными (char). Вот моя грамматика:

#include <boost/spirit/include/qi.hpp>
#include <boost/variant/recursive_variant.hpp>

struct Expression;
struct SubFunction;
using OperandVariant = boost::variant<double, char, boost::recursive_wrapper<SubFunction>, boost::recursive_wrapper<Expression>>;

struct SubFunction
{
    std::string name;
    std::vector<OperandVariant> arguments;
};

struct Operation
{
    std::string type;
    OperandVariant operand;
};

struct Expression
{
    OperandVariant operand;
    std::vector<Operation> operations;
};

BOOST_FUSION_ADAPT_STRUCT(
        SubFunction,
        (std::string, name)
        (std::vector<OperandVariant>, arguments)
        )

BOOST_FUSION_ADAPT_STRUCT(
        Operation,
        (std::string, type)
        (OperandVariant, operand)
        )

BOOST_FUSION_ADAPT_STRUCT(
        Expression,
        (OperandVariant, operand)
        (std::vector<Operation>, operations)
        )

template <typename Iterator>
struct FunctionGrammar : boost::spirit::qi::grammar<Iterator, Expression(), boost::spirit::ascii::space_type>
{
    FunctionGrammar() : FunctionGrammar::base_type(logic)
    {
        using boost::spirit::qi::string;
        using boost::spirit::qi::double_;
        using boost::spirit::qi::lexeme;
        using boost::spirit::qi::char_;
        using boost::spirit::qi::lit;
        using boost::spirit::qi::attr;

        logic = relation >> *(string("&&") >> relation
                              | string("^^") >> relation
                              | string("||") >> relation);
        relation = addition >> *(string("<=") >> addition
                                 | string(">=") >> addition
                                 | string("!=") >> addition
                                 | string("==") >> addition
                                 | char_('>') >> addition
                                 | char_('<') >> addition);
        addition = multiplication >> *(char_('+') >> multiplication
                                       | char_('-') >> multiplication);
        multiplication = value >> *(char_('*') >> value
                                    | char_('/') >> value);
        value = '(' >> logic >> ')'
                 | +(char_ - '(') >> '(' >> value % ',' >> ')'
                 | double_
                 | char_;
    }

    boost::spirit::qi::rule<Iterator, Expression(), boost::spirit::ascii::space_type> logic;
    boost::spirit::qi::rule<Iterator, Expression(), boost::spirit::ascii::space_type> relation;
    boost::spirit::qi::rule<Iterator, Expression(), boost::spirit::ascii::space_type> addition;
    boost::spirit::qi::rule<Iterator, Expression(), boost::spirit::ascii::space_type> multiplication;
    boost::spirit::qi::rule<Iterator, OperandVariant(), boost::spirit::ascii::space_type> value;
};

Я сделал это на основе примера из официальной документации, и это работает. Но я хочу добавить возможность использовать +, -, * et c. внутри Subfunction аргументов (которые разделены на ,). Если я заменю эту часть

+(char_ - '(') >> '(' >> value % ',' >> ')'

на эту:

+(char_ - '(') >> '(' >> logic % ',' >> ')'

, код не скомпилируется. Что я делаю не так?

Answer 1

+(char_ - '(') >> '(' >> value % ',' >> ')' синтаксический анализатор имеет тип атрибута fusion::vector<std::string, std::vector<OperandVariant> >, его можно преобразовать в SubFunction и сохранить в OperandVariant (атрибут правила value), в то время как +(char_ - '(') >> '(' >> logic % ',' >> ')' синтаксический анализатор имеет тип атрибута fusion::vector<std::string, std::vector<Expression> > и не может быть преобразован в любой тип, который может содержать OperandVariant.

Это объяснение также может быть расшифровано из этой части вывода Clang:

/opt/wandbox/boost-1.72.0/clang-head/include/boost/spirit/home/qi/detail/assign_to.hpp:153:20: error: no matching conversion for static_cast from 'const boost::fusion::vector<std::__1::vector<char, std::__1::allocator<char> >, std::__1::vector<Expression, std::__1::allocator<Expression> > >' to 'boost::variant<double, char, boost::recursive_wrapper<SubFunction>, boost::recursive_wrapper<Expression> >'
            attr = static_cast<Attribute>(val);
                   ^~~~~~~~~~~~~~~~~~~~~~~~~~~