假设我有一个像这样的 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每次通过子规则时都会被修改。这甚至可能吗?这样的代码会是什么样子?