Question

假设我有这样的Boost Spirit语法，其中父规则将继承的属性传递给其子项。

template <typename Iterator>
struct MyGrammar : qi::grammar<Iterator, vector<Foo>()>
{
    qi::rule<Iterator, vector<Foo>()> start;

    qi::rule<Iterator, vector<Foo>(Bar)> parent;
    qi::rule<Iterator, Foo(Bar)> child1;
    qi::rule<Iterator, Foo(Bar)> child2;

    MyGrammar() : MyGrammar::base_type(start)
    {
        start = parent( Bar(etc) ); // An "initial" value for the Bar passed
                                    // between the following rules.  More on
                                    // that later.

        parent = child1(_r1) >> child2(_r1);
        child1 = ...[do something with _r1];
        child2 = ...[do something with _r1];
    }
};

每个子规则返回的 Foo 取决于给定的 Bar 继承属性。对于父规则我也可能有这个：

parent = *child(_r1);

我想知道的是，子规则是否可以修改继承的属性，将修改传播到其父规则，并将新值传递给下一个子规则。

在上面的示例中， start 规则将为父及其子规则中使用的 Bar 建立初始值。每次通过子规则时， Bar 都会被修改。这是否可能，这样的代码会是什么样的？

Answer 1

继承的属性可以通过引用传递：

qi::rule<Iterator, vector<Foo>(Bar)> parent;
qi::rule<Iterator, Foo(Bar&)> child1; 
qi::rule<Iterator, Foo(Bar&)> child2;

和

parent = child1(phoenix::ref(_r1)) >> child2(phoenix::ref(_r1));

允许完全达到你想要的效果。

在规则中分配或修改继承的属性并将结果传播到父规则

1 个答案: