Boost中的复合语法:: Spirit

Question

我有以下语法，它按预期工作。

struct query_term { 
    std::string term; 
    bool is_tag; 

    query_term(const std::string &a, bool tag = false): term(a), is_tag(tag) { } }; 

template<typename Iterator> struct query_grammar: grammar<Iterator, std::vector<query_term>(), space_type> { 
    query_grammar(): 
     query_grammar::base_type(query) { 

     word %= +alnum; 
     tag = (omit[word >> ':'] >> word[_val = phoenix::construct<query_term>(_1, true)]); 
     non_tag = word[_val = phoenix::construct<query_term>(_1, false)]; 
     query = (
        (omit[word >> ':'] >> word[push_back(_val, phoenix::construct<query_term>(_1, true))]) 
       | 
        word[push_back(_val, 
          phoenix::construct<query_term>(_1)) 
        ] 
       ) % space; 
    }; 

    qi::rule<Iterator, std::string(), space_type> word; 
    qi::rule<Iterator, query_term, space_type> tag; 
    qi::rule<Iterator, query_term, space_type> non_tag; 
    qi::rule<Iterator, std::vector<query_term>(), space_type> query; }; 

但是，当我与

query = (
      tag[phoenix::push_back(_val, _1)] 
     | 
      word[push_back(_val, 
        phoenix::construct<query_term>(_1)) 
      ] 
     ) % space; 

代码不编译替代查询。基本上我试图将语法分解成可以在更大的语法中重用的组件。当解析单词或标签时，创建一个带有适当标志的query_term对象，其标签为标签和单词规则。在查询规则中重用这些属性。

在以前的版本中，标记和单词规则在查询语法中内联。

我不知道我在这里错过了什么。任何帮助将不胜感激。

供参考：这不是最终的代码。在生产代码中使用它之前，我正在尝试使用这些规则。

感谢名单， - baliga

Answer 1

真正的问题是，你定义为query_term（而不是query_term()）为标记/ non_tag规则的属性。

一些小问题似乎是：

• 使用word代替non_tag（公开为std :: string不转换为query_type）使用% space用空格船长不
• 真的很有道理
• 你可能想在word规则lexeme规则，因为否则，它将只是保持'吃'字符无论空格

其他建议：

• 避免using namespace过量范围（或完全避免的话）。你将遇到难以发现或难以修复的冲突（例如boost :: cref与std :: cref，std :: string与qi :: string等）。

• 尽量保持低凤凰使用率。在这种情况下，我认为使用qi::attr来修改结构会更容易。

• 使用BOOST_SPIRIT_DEBUG_ *宏来获得洞察力解析器

下面是完整的语法，我建议的方式：

template<typename Iterator> struct query_grammar: qi::grammar<Iterator, std::vector<query_term>(), qi::space_type> 
{ 
    query_grammar() : query_grammar::base_type(query) 
    { 
     using namespace qi; 

     word = lexeme[ +alnum ]; 

     tag  = omit[word >> ':'] >> word >> attr(true); 

     non_tag = word >> attr(false); 

     query = *(tag | non_tag); 
    }; 

    qi::rule<Iterator, std::string()   , qi::space_type> word; 
    qi::rule<Iterator, query_term()    , qi::space_type> tag, non_tag; 
    qi::rule<Iterator, std::vector<query_term>(), qi::space_type> query; 
}; 

与输出工作的完整示例（使用业力普通onelined）：

// #define BOOST_SPIRIT_DEBUG 
#include <boost/fusion/adapted/struct.hpp> 
#include <boost/spirit/include/qi.hpp> 
#include <boost/spirit/include/karma.hpp> 

namespace qi = boost::spirit::qi; 
namespace karma = boost::spirit::karma; 

struct query_term { 
    std::string term; 
    bool is_tag; 
}; 

BOOST_FUSION_ADAPT_STRUCT(query_term, (std::string,term)(bool,is_tag)); 

template<typename Iterator> struct query_grammar: qi::grammar<Iterator, std::vector<query_term>(), qi::space_type> 
{ 
    query_grammar() : query_grammar::base_type(query) 
    { 
     using namespace qi; 

     word = lexeme[ +alnum ]; 

     tag  = omit[word >> ':'] >> word >> attr(true); 

     non_tag = word >> attr(false); 

     query = *(tag | non_tag); 

     BOOST_SPIRIT_DEBUG_NODE(word); 
     BOOST_SPIRIT_DEBUG_NODE(tag); 
     BOOST_SPIRIT_DEBUG_NODE(non_tag); 
     BOOST_SPIRIT_DEBUG_NODE(query); 
    }; 

    qi::rule<Iterator, std::string()   , qi::space_type> word; 
    qi::rule<Iterator, query_term()    , qi::space_type> tag, non_tag; 
    qi::rule<Iterator, std::vector<query_term>(), qi::space_type> query; 
}; 


int main() 
{ 
    const std::string input = "apple tag:beer banana grape"; 
    typedef std::string::const_iterator It; 

    query_grammar<It> parser; 
    std::vector<query_term> data; 

    It f(input.begin()), l(input.end()); 
    bool ok = qi::phrase_parse(f, l, parser, qi::space, data); 

    if (ok) 
     std::cout << karma::format(karma::delimit [ karma::auto_ ] % karma::eol, data) << '\n'; 
    if (f!=l) 
     std::cerr << "Unparsed: '" << std::string(f,l) << "'\n"; 

    return ok? 0 : 255; 
} 

输出：

apple false 
beer true 
banana false 
grape false