boost::spirit и генерация разных узлов

Question

привет.

мне было интересно, как заставить boost::spirit создавать узлы разных классов при анализе грамматики и генерации AST.скажем, я хочу иметь разные узлы, такие как VariableNode (который имеет имя переменной в качестве своего члена), ValueNode (который имеет значение в качестве своего члена) и т. д.

это было бы очень полезно при работе с лесоходом.в этом случае мы бы написали базовый абстрактный класс для обхода всех различных узлов (применяя шаблон «посетитель») и расширили его при работе с этапом проверки семантики, этапом генерации кода и тому подобным.

boost::spirit позволяет нам параметризовать фабрику, используемую для деревьев, но мне не удалось найти правильный способ настройки ее поведения.

есть идеи, код?заранее спасибо.

Answer 1

Я не уверен, что понимаю ваш вопрос, вы имеете в виду что-то подобное?:

typedef boost::variant<VariableNode, ValueNode> AbstractNode;

template <typename Iterator>
struct NodeGrammar: public boost::spirit::qi::grammar<Iterator, AbstractNode(), boost::spirit::ascii::space_type>
{
    NodeGrammar: NodeGrammar::base_type(start)
    {
        start %= variableNode | valueNode >> eps;

        variableNode %= /*something*/;
        valueNode %= /*something*/;
    }

    //start
    boost::spirit::qi::rule<Iterator, AbstractNode(), boost::spirit::ascii::space_type> start;

    boost::spirit::qi::rule<Iterator, VariableNode(), boost::spirit::ascii::space_type> variableNode;
    boost::spirit::qi::rule<Iterator, ValueNode(), boost::spirit::ascii::space_type> valueNode;
};

Затем вы можете использовать boost::apply_visitor (см. документацию boost::variant) с классом посетителя, чтобы добиться желаемого поведения.

Answer 2

Чтобы ответить на ваш комментарий (возможно, вы захотите создать для этого новый вопрос):идентификаторы, вероятно, должны храниться в классе, производном от qi::symbols, а ключевые слова будут в других ваших правилах qi::symbols.

Что касается 2), то это будет примерно так (не проверялось):

class ScriptNodes
{
   //this will  enable fusion_adapt_struct to access your private members
   template < typename, int>
   friend struct boost::fusion::extension::struct_member;

private:
   typdef std::vector<boost::shared_ptr<UserFuncNode> > Nodes
   Nodes nodes;
};

//when using fusion_adapt_struct, try to typedef any type that contain a ,
//since it will confuse the macro (ex std::pair<int, int>)
BOOST_FUSION_ADAPT_STRUCT(
    ScriptNode,
    (ScriptNodes::Nodes, nodes)
)

..

using boost::spirit::qi::grammar;
using boost::spirit::ascii::space_type;

template <typename Iterator>
struct NodeGrammar: public grammar<Iterator, ScriptNodes(), space_type>
{
    NodeGrammar: NodeGrammar::base_type(start)
    {
        using namespace boost::spirit::arg_names;
        using boost::spirit::arg_names::_1;

        //the %= should automatically store the user_func nodes in start
        //for more complex rules you might need to do the push_back manually
        //using phoenix::push_back
        start %= *user_func >> eps;

        //this should parse a double and create a new UserFuncNode with the
        //parsed argument and the result will be assigned in the shared_ptr
        //variable stored in a user_func
        user_func = double_[_val = new UserFuncNode(_1)];
    }

    using boost::spirit::qi::rule;
    using boost::shared_ptr;

    //start
    rule<Iterator, ScriptNodes(), space_type> start;

    rule<Iterator, shared_ptr<UserFuncNode>(), space_type> user_func;
};

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

Ваше здоровье