Question

我正在编写一个解析器来处理带有枚举和结构的简单C头文件。我已经使用Boost Spirit Qi编写了一个解析器，几乎完成了任务。我遇到了一个我可以通过黑客修复的问题，但我很好奇是否有可能更准确地解决它。

Enum与我打交道很简单。这是一个例子：

enum <optional enum name>
{
   VALUE1,
   VALUE2 = 222,
   VALUE3
}

解析此类枚举的代码段：

IdParser %= lexeme[(alpha | '_') >> *(alnum | '_')];
EnumExprParser %= lexeme[+(char_ - (lit(",") | lit("}")))];
EnumValueParser %= IdParser >> -('=' >> EnumExprParser);
EnumParser %= lit("enum") >> -IdParser >> lit("{") >> (EnumValueParser % lit(",")) >> lit("}") >> -lit(";");

注意，我将枚举值解析为以逗号分隔的列表。但有时最后一个枚举值也以逗号结束：VALUE3,。我的脏解决方案如下：*(EnumValueParser >> -lit(","))

但是这允许在没有分隔符的情况下解析几个枚举值。这对我来说是可以接受的，但我对更清洁的解决方案感兴趣。我将枚举解析为以下结构：

struct EnumValue
{
    std::string Name;
    boost::optional<std::string> Value;
};

struct Enum
{
    boost::optional<std::string> Name;
    std::vector<EnumValue> Values;
};

非常感谢提前！

Answer 1

一个quickfix就是替换

EnumBody  = '{' >> EnumValue % "," >> '}';

用

EnumBody  = '{' >> -EnumValue % "," >> '}';

虽然这很邋,,因为它也允许enum X { a,,,b }。所以，这会更准确：

EnumBody  = '{' >> EnumValue % "," >> -lit(',') >> '}';

注意还有一个你还没有发现的问题，那个空的枚举体也应该被允许（enum X {}），所以让我们修复那个：

EnumBody  = '{' >> -(EnumValue % ",") >> -lit(',') >> '}';

演示

<强> Live On Coliru

#include <boost/fusion/adapted/std_pair.hpp>
#include <boost/fusion/adapted/struct.hpp>
#include <boost/spirit/include/qi.hpp>
#include <iostream>

namespace qi = boost::spirit::qi;

namespace ast {
    using Id = std::string;
    using EnumEntry = std::pair<Id, std::string>;
    using EnumBody = std::vector<EnumEntry>;

    struct EnumDef {
        Id name;
        EnumBody members;
    };
}

BOOST_FUSION_ADAPT_STRUCT(ast::EnumDef, name, members)

template <typename It, typename Skipper = qi::space_type>
struct Parser : qi::grammar<It, ast::EnumDef(), Skipper> {
    Parser() : Parser::base_type(Enum) {
        using namespace qi;

        Id        = raw [(alpha | '_') >> *(alnum | '_')];
        EnumExpr  = +~char_(",}");
        EnumValue = Id >> -('=' >> EnumExpr);
        EnumBody  = '{' >> -(EnumValue % ",") >> -lit(',') >> '}';
        Enum      = "enum" >> -Id >> EnumBody >> -lit(';');
    }
  private:
    qi::rule<It, ast::EnumEntry(), Skipper> EnumValue;
    qi::rule<It, ast::EnumBody(),  Skipper> EnumBody;
    qi::rule<It, ast::EnumDef(),   Skipper> Enum;
    // lexemes:
    qi::rule<It, ast::Id()> Id, EnumExpr;
};

int main() {
    using It = boost::spirit::istream_iterator;
    It f(std::cin >> std::noskipws), l;

    bool ok = qi::phrase_parse(f, l, Parser<It>(), qi::space);

    if (ok) {
        std::cout << "Parse success\n";
    } else {
        std::cout << "Parse failed\n";
    }

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

输入

enum NAME
{
    VALUE1,
    VALUE2 = 222,
    VALUE3,
}

打印

Parse success

如何在末尾用可选的分隔符解析列表？

1 个答案:

演示