从 stream 中提取消息并使用 boost::spirit 解析器忽略消息之间的数据

Question

我正在尝试使用 boost::spirit::qi 创建一个（非常简单的）解析器来从 stream 中提取消息。每条消息都从一个短标记开始，以\r\n结束。 消息正文是用逗号分隔的 ASCII 文本（字母和数字）。 例如：

!START,01,2.3,ABC\r\n
!START,456.2,890\r\n

我正在使用单元测试来检查解析器，当我只一条一条地传递正确的消息时，一切正常。 但是当我尝试模拟一些无效输入时，例如：

!START,01,2.3,ABC\r\n
trash-message
!START,456.2,890\r\n

解析器在意外文本后看不到以下消息。

我是 boost::spirit 的新手，我想知道基于 boost::spirit::qi::grammar 的解析器应该如何工作。

我的问题是：解析器是否应该在输入 stream 中滑动并尝试找到消息的开头？ 或者调用者应该检查解析结果并在失败的情况下移动迭代器然后再次调用解析器？

非常感谢您考虑我的请求。

Answer 1

我的问题是：解析器是否应该在输入 stream 中滑动并尝试找到消息的开头？

只有当你告诉它时。 它叫做qi::parse ，而不是qi::search 。 但显然你可以让语法忽略一些东西。

生活在 Coliru

//#define BOOST_SPIRIT_DEBUG
#include <boost/fusion/adapted.hpp>
#include <boost/spirit/include/qi.hpp>
#include <iomanip>
#include <iostream>

namespace qi = boost::spirit::qi;

struct Command {
    enum Type { START, QUIT, TRASH } type = TRASH;
    std::vector<std::string> args;
};
using Commands = std::vector<Command>;
BOOST_FUSION_ADAPT_STRUCT(Command, type, args)

template <typename It> struct CmdParser : qi::grammar<It, Commands()> {
    CmdParser() : CmdParser::base_type(commands_) {
        type_.add("!start", Command::START);
        type_.add("!quit", Command::QUIT);

        trash_    = *~qi::char_("\r\n"); // just ignore the entire line
        arg_      = *~qi::char_(",\r\n");
        command_  = qi::no_case[type_] >> *(',' >> arg_);
        commands_ = *((command_ | trash_) >> +qi::eol);

        BOOST_SPIRIT_DEBUG_NODES((trash_)(arg_)(command_)(commands_))
    }

  private:
    qi::symbols<char, Command::Type> type_;
    qi::rule<It, Commands()>         commands_;
    qi::rule<It, Command()>          command_;
    qi::rule<It, std::string()>      arg_;
    qi::rule<It>                     trash_;
};
int main() {
    std::string_view input = "!START,01,2.3,ABC\r\n"
                             "trash-message\r\n"
                             "!START,456.2,890\r\n";

    using It = std::string_view::const_iterator;
    static CmdParser<It> const parser;
    Commands parsed;
    auto                       f = input.begin(), l = input.end();
    if (parse(f, l, parser, parsed)) {
        std::cout << "Parsed:\n";
        for(Command const& cmd : parsed) {
            std::cout << cmd.type;
            for (auto& arg: cmd.args)
                std::cout << ", " << quoted(arg);
            std::cout << "\n";
        }
    } else {
        std::cout << "Parse failed\n";
    }

    if (f != l)
        std::cout << "Remaining unparsed: " << quoted(std::string(f, l)) << "\n";
}

印刷

Parsed:
0, "01", "2.3", "ABC"
2
0, "456.2", "890"