4

假设我有一个像这样的 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);

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

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

4

1 回答 1

3

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

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));

允许实现你想要的。

于 2010-07-10T04:45:42.513 回答