增强：：精神：：齐性能

Question

我有下面的代码片段。

#include <iostream>
#include <sstream>
#include <chrono>

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/classic.hpp>

namespace qi = boost::spirit::qi;
namespace classic = boost::spirit::classic;

template<typename T>
void output_time(const T& end, const T& begin)
{
   std::cout << std::chrono::duration_cast<std::chrono::seconds>(
         end - begin).count() << std::endl;
}

template<typename Iter>
struct qi_grammar : public qi::grammar<Iter>
{
   qi_grammar():qi_grammar::base_type(rule_)
   {
      rule_ = *string_;
      string_ = qi::char_('"') >> *(qi::char_ - '"') >> qi::char_('"');
   }
   qi::rule<Iter> rule_;
   qi::rule<Iter> string_;
};

template<typename Iter>
struct classic_grammar : public classic::grammar<classic_grammar<Iter>>
{
   template<typename ScannerT>
   struct definition
   {
      definition(const classic_grammar&)
      {
         rule = *string_;
         string_ = classic::ch_p('"') >> *(classic::anychar_p - '"') >> classic::ch_p('"');
      }
      classic::rule<ScannerT> rule, string_;
      const classic::rule<ScannerT>& start() const { return rule; }
   };
};

template<typename Iter>
void parse(Iter first, Iter last, const qi_grammar<Iter>& prs)
{
   auto start = std::chrono::system_clock::now();
   for (int i = 0; i < 100; ++i)
   {
      Iter next = first;
      if (!qi::parse(next, last, prs) || next != last)
      {
         assert(false);
      }
   }
   auto finish = std::chrono::system_clock::now();
   output_time(finish, start);
}

template<typename Iter>
void parse_c(Iter first, Iter last, const classic_grammar<Iter>& prs)
{
   auto start = std::chrono::system_clock::now();
   for (int i = 0; i < 100; ++i)
   {
      auto info = classic::parse(first, last, prs);
      if (!info.hit) assert(false);
   }
   auto finish = std::chrono::system_clock::now();
   output_time(finish, start);
}

int main()
{
   qi_grammar<std::string::const_iterator> qi_lexeme;
   classic_grammar<std::string::const_iterator> classic_lexeme;
   std::stringstream ss;
   for (int i = 0; i < 1024 * 500; ++i)
   {
      ss << "\"name\"";
   }
   const std::string s = ss.str();
   std::cout << "Size: " << s.size() << std::endl;
   std::cout << "Qi" << std::endl;
   parse(s.begin(), s.end(), qi_lexeme);
   std::cout << "Classic" << std::endl;
   parse_c(s.begin(), s.end(), classic_lexeme);
}

结果是

forever@pterois:~/My_pro1/cpp_pro$ ./simple_j 
Size: 3072000
Qi
0
Classic
1

因此，qi的解析速度比经典的要快。但是当我将string_规则的属性更改为std::string() (即qi::rule<Iter, std::string()> string_;)时，

forever@pterois:~/My_pro1/cpp_pro$ ./simple_j 
Size: 3072000
Qi
19
Classic
1

它非常-非常慢。我做错了什么？谢谢。

编译:gcc 4.6.3。boost - 1.48.0。标志：-std=c++0x -O2。在LWS上，结果是相同的。

char_的语义动作的用法，即

string_ = qi::char_('"') >> *(qi::char_[boost::bind(&some_f, _1)] - '"')
 >> qi::char_('"')[boost::bind(&some_clear_f, _1)];

提高性能，但我也在寻找另一种解决方案，如果它存在的话。

Answer 1

我想我之前回答了一个非常相似的问题。遗憾的是，我找不到它。

简而言之，您可能更喜欢在源数据中使用迭代器，而不是在每次匹配时分配(和复制)字符串。

在使用时

qi::rule<Iter, boost::iterator_range<Iter>()> string_;
string_ = qi::raw [ qi::char_('"') >> *(qi::char_ - '"') >> qi::char_('"') ];

我得到了(相当大的(16倍)数据集)：

Size: 49152000
Qi
12
Classic
11

实际上，在将规则本身更改为

  string_ = qi::raw [ qi::lit('"') >> *~qi::char_('"') >> '"' ];

我得到了

Size: 49152000
Qi
7
Classic
11

所以..。我想，这是相当不错的。在LWS上查看：http://liveworkspace.org/code/opA5s$0

为了完整性，显然您可以通过执行以下操作从iterator_range中获取字符串

const std::string dummy("hello world")；auto r=boost：：make_iterator_range(begin(虚拟)，end(虚拟))；std::string asstring(r.begin()，r.end());

诀窍是将实际的字符串构造延迟到需要的时候。您可能想让此技巧自动发生。这就是Spirit Lex对令牌属性所做的事情。你可能会想要调查一下。