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 butter_scotch

应该读得很好并且被接受。像

这样的字符串

“45 Apple apple apple”

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

感谢任何人都能给我的帮助！

编辑：在进一步研究之后，我实际上认为我的船长出于某种原因是问题所在。我理解它的方式，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"?

提升精神istream迭代器给出误报

1 个答案: