1

我已经阅读了关于boost::spirt::qi::rule 的复制或引用语义的其他线程。我正在使用 Boost 1.42。

using boost::spirit::qi::phrase_parse;
typedef boost::spirit::qi::rule < std::string::const_iterator, boost::spirit::ascii::space_type > rule_type;
std::list < rule_type > ruleList;
std::string const s("abcdef");
std::string::const_iterator iter = s.begin(), end = s.end();
std::cout << typeid(char_).name() << std::endl;
ruleList.push_back(char_);
ruleList.push_back(*ruleList.back());
assert(phrase_parse(iter, s.end(), ruleList.back(), boost::spirit::ascii::space));
assert(iter == s.end());

这失败了...... 

Assertion `phrase_parse(iter, s.end(), ruleList.back(), traits::space())' failed.
Aborted (core dumped)

有没有办法将规则存储在 STL 列表或双端队列中？（引用在删除之前不会消失）。

4

2 回答 2

2

使用 Boost V1.45，这（基本上是您上面的代码）可以正常工作（MSVC2010，g++ 4.5.1）：

#include <list>
#include <string>
#include <iostream>
#include <boost/spirit/include/qi.hpp>

using namespace boost::spirit; 

int main()
{
    typedef qi::rule<std::string::const_iterator, ascii::space_type> rule_type; 
    std::list<rule_type> ruleList; 

    std::string const s("abcdef"); 
    std::string::const_iterator iter = s.begin(), end = s.end(); 
    std::cout << typeid(qi::char_).name() << std::endl; 

    ruleList.push_back(qi::char_); 
    ruleList.push_back(*ruleList.back()); 

    assert(qi::phrase_parse(iter, s.end(), ruleList.back(), ascii::space)); 
    assert(iter == s.end());

    return 0;
}

因此，我认为这是您正在使用的 Spirit 版本中的错误。

于 2010-12-10T14:03:18.183 回答
0

我无法编译您的示例。除了来自using的类型不正确之外...::qi，您还()向trait::space类型添加了 a。

这对我来说没有问题（提升 1.44）

#include <boost/spirit/include/qi.hpp>
#include <string>
#include <vector>
#include <cassert>

using boost::spirit::qi::phrase_parse;

typedef boost::spirit::qi::rule < std::string::const_iterator, boost::spirit::qi::space_type > rule_type;

int main() {

std::list < rule_type > ruleList;
std::string const s("abcdef");
std::string::const_iterator iter = s.begin(), end = s.end();
ruleList.push_back(*boost::spirit::qi::char_);
assert(phrase_parse(iter, s.end(), ruleList.back(), boost::spirit::qi::space));
assert(iter == s.end());

}

~>g++ test.cpp && ./a.out
~>

请注意我使用qi::space_typeand`qi::space而不是ascii命名空间。我不知道trait命名空间是什么/在哪里。

于 2010-12-10T13:07:08.457 回答