样本

Question

我想检查所有枚举的文件（这只是一个MCVE，所以没什么复杂的），枚举的名称应该存储在std::vector我构建我的解析器：

auto const any = x3::rule<class any_id, const x3::unused_type>{"any"}
               = ~x3::space;

auto const identifier = x3::rule<class identifier_id, std::string>{"identifier"}
                      = x3::lexeme[x3::char_("A-Za-z_") >> *x3::char_("A-Za-z_0-9")];

auto const enum_finder = x3::rule<class enum_finder_id, std::vector<std::string>>{"enum_finder"}
                       = *(("enum" >> identifier) | any);

当我尝试将带有此enum_finder的字符串解析为std::vector时，std::vector也包含大量空字符串。为什么这个解析器还将空字符串解析为向量？

Answer 1

我原以为你想从自由格式文本中解析“枚举”而忽略空格。

您真正想要的是("enum" >> identifier | any)合成optional<string>。可悲的是，你得到的是variant<string, unused_type>或某些。

使用any包裹x3::omit[any]时会发生同样的情况 - 它仍然是unused_type相同的。

计划B：因为你实际上只是在解析由“任何东西”分隔的重复枚举，所以为什么不使用list运算符：

     ("enum" >> identifier) % any

这有点工作。现在做一些调整：让我们避免吃任何字符。实际上，我们可能只是消耗整个空格分隔的单词:(注意+~space等效+graph）：

auto const any = x3::rule<class any_id>{"any"}
               = x3::lexeme [+x3::graph];

接下来，为了允许连续接受多个伪造的单词，可以使列表的主题解析器成为可选的：

       -("enum" >> identifier) % any;

这正确解析。查看完整演示：

样本

<强> Live On Coliru

#include <boost/spirit/home/x3.hpp>
namespace x3 = boost::spirit::x3;

namespace parser {
    using namespace x3;
    auto any         = lexeme [+~space];
    auto identifier  = lexeme [char_("A-Za-z_") >> *char_("A-Za-z_0-9")];
    auto enum_finder = -("enum" >> identifier) % any;
}

#include <iostream>
int main() {

    for (std::string input : {
            "",
            "  ",
            "bogus",
            "enum one",
            "enum one enum two",
            "enum one bogus bogus more bogus enum two !@#!@#Yay",
        })
    {
        auto f = input.begin(), l = input.end();
        std::cout << "------------ parsing '" << input << "'\n";

        std::vector<std::string> data;
        if (phrase_parse(f, l, parser::enum_finder, x3::space, data))
        {
            std::cout << "parsed " << data.size() << " elements:\n";
            for (auto& el : data)
                std::cout << "\t" << el << "\n";
        } else {
            std::cout << "Parse failure\n";
        }

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

}

打印：

------------ parsing ''
parsed 0 elements:
------------ parsing '  '
parsed 0 elements:
------------ parsing 'bogus'
parsed 0 elements:
------------ parsing 'enum one'
parsed 1 elements:
    one
------------ parsing 'enum one enum two'
parsed 1 elements:
    one
------------ parsing 'enum one bogus bogus more bogus enum two !@#!@#Yay'
parsed 2 elements:
    one
    two

向量中的空字符串从boost spirit x3解析器返回

1 个答案:

样本