使用带有 Boost::Spirit Grammars 的迭代器解析

Question

当我尝试使用迭代器形式解析 Spirit 语法时，出现从迭代器类型到 const char* 的参数传递转换错误。 我该如何解决？

有一些限制。 我在大输入上使用迭代器适配器，因此转换为 C 样式字符串对我来说是不可行的。

以下是演示该问题的示例代码：

#include <boost/spirit/core.hpp>
#include <boost/spirit/iterator/file_iterator.hpp>
#include <vector>
#include <string>
using std;
using boost::spirit;
struct ex : public grammar<route_grammar> {
  template <typename ScannerT> struct defintion {
    definition(ex const& self) {
      expression = real_p; 
    }
    rule<ScannerT> expression;
    rule<ScannerT> const& start() const { return expression; }
};

int main() {
  file_iterator<char> first;
  file_iterator<char> last = first.make_end();
  ex ex_p;
  parse_info<file_iterator<char> > info = parse(first, last, ex_p, space_p);
  return 0;
}

此代码中断：错误：无法转换 const boost::spirit::file_iterator; > 到 const char* 参数传递

Answer 1

编译错误不在提供的示例中。 在上面的语法中，我没有语义操作，而在我简化的代码中，我做了。

这些操作的回调使用 char* 而不是我使用的迭代器类型。

Answer 2

您可以尝试确保您的语义操作在参数类型上是多态的。 准确地说，在代码中，您需要这样的操作：

struct my_action {
  template <class ParamType>
  void operator()(ParamType const & parameter) const {
    // deal with parameter
  }
};

您将使用如下所示的一元语义操作：

real_p[my_action()]

或者，如果您需要二元语义操作，您将执行以下操作：

struct binary_action {
  template <class ParamType>
  void operator()(ParamType const & param1, ParamType const & param2) const {
    // deal with either parameter
  }
};

(*char_p)[binary_action()]

Answer 3

很难从发布的代码中看出，因为它包含一些基本错误。
修正这些之后，它在我的机器上编译良好（使用 MSVC++7.1）：

#include <boost/spirit/core.hpp>
#include <vector>
#include <string>
using namespace std;
using namespace boost::spirit;
struct ex : public grammar<ex> {
template <typename ScannerT> 
struct definition {
    definition(ex const& self)
    {
    expression = real_p; 
    }
    rule<ScannerT> expression;
    rule<ScannerT> const& start() const { return expression; }
};
};

int main() {
vector<char> v;
v.push_back('3'); v.push_back('.'); v.push_back('2');
ex ex_p;
parse_info<vector<char>::iterator> info = parse(v.begin(), v.end(), ex_p, space_p);
return 0;
}

Answer 4

这是让 char * 指向与迭代器相同的元素的一种方法：

&v.front() // v.begin()
&v.back() + 1 // v.end()

我不确定如何编译它：

vector<char> v;
v.push_back("3.2");