c++ - 使用 boost::spirit::qi::symbols

Question

我正在尝试使用 boost::spirit::qi::symbols 来解析枚举值。我的代码如下:

#include <boost/spirit/include/qi.hpp>
#include <string>
#include <iostream>

using namespace std;
namespace qi = boost::spirit::qi;

enum class Foo { None, Bar = 42, Baz = 43 };

struct FooValues: qi::symbols<char, Foo>
{
    FooValues() { add("Bar", Foo::Bar)("Baz", Foo::Baz); }
};

int main()
{
    typedef std::string::iterator Iterator;
    typedef qi::space_type Skipper;
    using qi::rule;

    rule<Iterator, Foo(), Skipper> foo = qi::lit("Foo") >> '.' >> FooValues();
    rule<Iterator, Foo(), Skipper> root = foo | ('\"' >> foo >> '\"');

    std::string input = "Foo.Bar";
    Foo output;
    if (qi::phrase_parse(input.begin(), input.end(), root, Skipper(), output))
        cout << "output: " << static_cast<int>(output) << endl;
    else
        cout << "failed" << endl;
}

但是它无法解析输入。如果我用以下内容替换解析枚举值的规则，它就可以工作。

rule<Iterator, Foo(), Skipper> foo = qi::lit("Foo") >> '.' >>
  ((qi::lit("Bar") >> qi::attr(Foo::Bar)) | (qi::lit("Baz") >> qi::attr(Foo::Baz)));

我做错了什么？我更喜欢使用 qi::symbols 解析器，因为它允许我在循环中添加值，而不是手动将它们写入规则中。

用局部变量替换 FooValues() 临时变量，如下所示，但如果不需要，我不希望创建额外的变量。这可能吗？

FooValues fooValues;
rule<Iterator, Foo(), Skipper> foo = qi::lit("Foo") >> '.' >> fooValues;

Answer 1

Spirit 规则通过引用保存其组件，因此您必须确保引用的组件保留在范围内，并且在引用时不会被破坏。看代码

rule<Iterator, Foo(), Skipper> foo = qi::lit("Foo") >> '.' >> FooValues(); 

在使用规则之前，FooValues 的实例超出范围。你可以用这样的方式修复它

FooValues values;
rule<Iterator, Foo(), Skipper> foo = qi::lit("Foo") >> '.' >> values;