使用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;