c++ - boost spirit istream 迭代器给出误报

Question

因此，我正努力振作起来，在输入文件时解析该文件中的字符。如果可能的话，我宁愿不将完整的字符串读入内存。

这是我当前的相关代码，Rosters_Grammar 是一个语法文件，我用它来指定我想要的语法。

#include "StdAfx.h"
#include "Interpreter.h"
#include "Rosters_Grammar.h"
#include <boost\spirit\include\qi.hpp>
#include <fstream>

bool Interpreter::invoke(std::string path)
{
  //Define our parser type and iterator types.
  typedef boost::spirit::istream_iterator iter_type;
  typedef Rosters_Grammar<iter_type> parser_type;

  //Create an instance of our grammar parser and pass it an appropriate project.
  parser_type grammar_parser(project);

  //Open the target file and wrap ifstream into the iterator.
  std::ifstream in = std::ifstream(path);
  if(in.is_open()){

    //Disable Whitespace Skipping
    in.unsetf(std::ios::skipws);

    iter_type begin(in);
    iter_type end;

    //Phrase parse the grammar
    return boost::spirit::qi::phrase_parse(begin,
                                             end, 
                                       qi::int_ , 
                                       boost::spirit::qi::space);
  }
  else{
    return false;
  }
}

出现的问题是我的解析由于某种原因总是成功。鉴于花名册语法，我可以说它正在读取输入的一部分，因为它正在相应地执行操作，并且完全按照正确输入的预期工作。然而，解析器不会因输入错误而失败，它只是在文件中途停止并返回 true。

我当前的文件内容是整数和字符串的重复，这样

45布里干酪 23 黄油_糖果

应该被很好地阅读和接受。像这样的字符串

“45苹果苹果苹果”

不应该。然而，考虑到这个问题，解析器应该会失败。相反，它对“45 Apple”执行操作，然后为解析返回 true。我认为这与我的迭代器有关，但我不能确定。在上面发布的代码中，我将 qi::int_ 作为我的解析器，无论输入数据如何，它总是成功。所以我不相信我的语法文件不应该与这里的问题相关。到目前为止，我获得失败数据的唯一方法是使用 !qi::eps 作为我的解析器输入。

感谢任何人能给我的帮助!

编辑:在进一步研究之后，我实际上认为我的 skipper 出于某种原因是问题所在。按照我的理解，phrase_parse 传递了 2 个迭代器、某种语法和一个跳过解析器。它根据跳过解析器对输入进行标记，并在语法中使用这些标记。

在没有为迭代器类型禁用空格跳过的情况下，我的结果解析出“45 appleappleapple”，并且它成功地只解析出“45 apple”。

Answer 1

我们看不到语法，因为你没有发布它。

我可以看到你没有检查输入是否已经完全消耗:

    return boost::spirit::qi::phrase_parse(
           begin, end,
           grammar_parser ,
           qi::space);

你可以通过要求 qi::eoi 来解决这个问题:

    return boost::spirit::qi::phrase_parse(
           begin, end,
           grammar_parser >> qi::eoi,
           qi::space);

或者您可以检查迭代器:

    bool ok = boost::spirit::qi::phrase_parse(
           begin, end,
           grammar_parser ,
           qi::space);

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

    return ok && (begin == end);

最后，请注意，在回溯的情况下，语义操作 的副作用永远无法消除。另见:

• Boost Spirit: "Semantic actions are evil"?