制作一个来自Spirit Qi的共享指针向量

时间：2015-06-10 17:23:34

标签： c++ shared-ptr boost-spirit boost-spirit-qi

这是来自a previous question的后续问题。

我可以解析我的语法中的字符串向量，但我似乎无法解析为字符串共享指针的向量;即std::vector<std::shared_ptr<std::string> >，需要一些帮助。

我的编译标题：

#define BOOST_SPIRIT_USE_PHOENIX_V3 1


#include <boost/spirit/include/qi_core.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <iostream>
#include <string>


#include <boost/spirit/include/phoenix_stl.hpp>

#include <boost/phoenix/bind/bind_member_function.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>



// this solution for lazy make shared comes from the SO forum, user sehe.
// https://stackoverflow.com/questions/21516201/how-to-create-boost-phoenix-make-shared
//    post found using google search terms `phoenix construct shared_ptr`
// changed from boost::shared_ptr to std::shared_ptr
namespace {
    template <typename T>
    struct make_shared_f
    {
        template <typename... A> struct result
        { typedef std::shared_ptr<T> type; };

        template <typename... A>
        typename result<A...>::type operator()(A&&... a) const {
            return std::make_shared<T>(std::forward<A>(a)...);
        }
    };

    template <typename T>
    using make_shared_ = boost::phoenix::function<make_shared_f<T> >;
}




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


template<typename Iterator, typename Skipper = ascii::space_type>
struct SystemParser : qi::grammar<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper>
{


    SystemParser() : SystemParser::base_type(variable_group_)
    {
        namespace phx = boost::phoenix;
        using qi::_1;
        using qi::_val;
        using qi::eps;
        using qi::lit;


        var_counter = 0;

        declarative_symbols.add("variable_group",0);

        variable_group_ = "variable_group" > genericvargp_ > ';';
        genericvargp_ = new_variable_ % ','; //
        new_variable_ = unencountered_symbol_ [_val = make_shared_<std::string>() (_1)];
        unencountered_symbol_ = valid_variable_name_ - ( encountered_variables | declarative_symbols );
        valid_variable_name_ = +qi::alpha >> *(qi::alnum | qi::char_("[]_") );



//      debug(variable_group_); debug(unencountered_symbol_); debug(new_variable_); debug(genericvargp_);
//      BOOST_SPIRIT_DEBUG_NODES((variable_group_) (valid_variable_name_) (unencountered_symbol_) (new_variable_) (genericvargp_))
    }


    // rule declarations.  these are member variables for the parser.
    qi::rule<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper > variable_group_;
    qi::rule<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper > genericvargp_;
    qi::rule<Iterator, std::shared_ptr<std::string()> >  new_variable_;
    qi::rule<Iterator, std::string()> unencountered_symbol_;
    qi::rule<Iterator, std::string()> valid_variable_name_;


    unsigned var_counter;
    qi::symbols<char,int> encountered_variables;
    qi::symbols<char,int> declarative_symbols;
};

带有驱动程序代码：

int main(int argc, char** argv)
{

    std::vector<std::shared_ptr<std::string> > V;
    std::string str = "variable_group x, y, z; ";


    std::string::const_iterator iter = str.begin();
    std::string::const_iterator end = str.end();


    SystemParser<std::string::const_iterator> S;


    bool s = phrase_parse(iter, end, S, boost::spirit::ascii::space, V);

    if (s)
    {
        std::cout << "Parse succeeded: " << V.size() << " variables\n";
        for (auto& s : V)
            std::cout << " - '" << s << "'\n";
    }
    else
        std::cout << "Parse failed\n";

    if (iter!=end)
        std::cout << "Remaining unparsed: '" << std::string(iter, end) << "'\n";


    return 0;
}

正确解析文本，但结果向量的长度为0，而长度为3.不知何故，std::shared_ptr<string>不会被推到由{{1}引起的向量的背面}}。

我尝试了很多东西，包括从测试解析中读取所有调试信息，以及为规则定义放置genericvargp_符号，这些符号应该用于存在语义操作的规则除非我弄错了，否则不要指定%=。我还用_val手动推到phx::bind的背面，整天都在玩，但是无处可去。我进一步验证了sehe在另一个答案中提供的_val实际上对于std :: shared_ptr是懒惰的。

顺便说一句，我也一直在努力将make_shared_的结果添加到unencountered_symbol_以强制执行变量名称的唯一性......

问题似乎是encountered_variables规则的结果传播到new_variable_规则中所需的共享指针向量。

1 个答案:

答案 0 :(得分：4)

此声明

qi::rule<Iterator, std::shared_ptr<std::string()> > new_variable_;

与所需类型不匹配：

qi::rule<Iterator, std::shared_ptr<std::string>() > new_variable_;

可悲的是，在旧的SpiritV2中，这个属性被默默地忽略，并且没有进行任何属性传播。这也解释了为什么它在编译时没有出错。

<强> Live On Coliru 

#define BOOST_SPIRIT_USE_PHOENIX_V3 1
#define BOOST_SPIRIT_DEBUG 1

#include <boost/spirit/include/qi_core.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <iostream>
#include <string>

#include <boost/spirit/include/phoenix_stl.hpp>

#include <boost/phoenix/bind/bind_member_function.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>

// this solution for lazy make shared comes from the SO forum, user sehe.
// https://stackoverflow.com/questions/21516201/how-to-create-boost-phoenix-make-shared
//    post found using google search terms `phoenix construct shared_ptr`
// changed from boost::shared_ptr to std::shared_ptr
namespace {
    template <typename T> struct make_shared_f {
        template <typename... A> struct result { typedef std::shared_ptr<T> type; };

        template <typename... A> typename result<A...>::type operator()(A &&... a) const {
            return std::make_shared<T>(std::forward<A>(a)...);
        }
    };

    template <typename T> using make_shared_ = boost::phoenix::function<make_shared_f<T> >;
}

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

template <typename Iterator, typename Skipper = ascii::space_type>
struct SystemParser : qi::grammar<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper> {

    SystemParser() : SystemParser::base_type(variable_group_) {
        namespace phx = boost::phoenix;
        using qi::_1;
        using qi::_val;
        using qi::eps;
        using qi::lit;

        var_counter = 0;

        declarative_symbols.add("variable_group", 0);

        variable_group_       = "variable_group" > genericvargp_ > ';';
        genericvargp_         = new_variable_ % ',';                                                                                      //
        new_variable_         = unencountered_symbol_ [_val = make_shared_<std::string>()(_1)];
        unencountered_symbol_ = valid_variable_name_ - (encountered_variables | declarative_symbols);
        valid_variable_name_  = +qi::alpha >> *(qi::alnum | qi::char_("[]_"));

        BOOST_SPIRIT_DEBUG_NODES((variable_group_) (valid_variable_name_) (unencountered_symbol_) (new_variable_) (genericvargp_))
    }

    // rule declarations.  these are member variables for the parser.
    qi::rule<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper> variable_group_;
    qi::rule<Iterator, std::vector<std::shared_ptr<std::string> >(), Skipper> genericvargp_;
    qi::rule<Iterator, std::shared_ptr<std::string>() > new_variable_;
    qi::rule<Iterator, std::string()> unencountered_symbol_;
    qi::rule<Iterator, std::string()> valid_variable_name_;

    unsigned var_counter;
    qi::symbols<char, qi::unused_type> encountered_variables;
    qi::symbols<char, qi::unused_type> declarative_symbols;
};

int main()
{
    std::vector<std::shared_ptr<std::string> > V;
    std::string str = "variable_group x, y, z; ";

    std::string::const_iterator iter = str.begin();
    std::string::const_iterator end = str.end();

    SystemParser<std::string::const_iterator> S;

    bool s = phrase_parse(iter, end, S, boost::spirit::ascii::space, V);

    if (s)
    {
        std::cout << "Parse succeeded: " << V.size() << " variables\n";
        for (auto& s : V)
            std::cout << " - '" << *s << "'\n";
    }
    else
        std::cout << "Parse failed\n";

    if (iter!=end)
        std::cout << "Remaining unparsed: '" << std::string(iter, end) << "'\n";
}

打印

Parse succeeded: 3 variables
 - 'x'
 - 'y'
 - 'z'

以及许多调试信息

相关问题
最新问题