复制或引用Boost::Spirit规则的语义<>?

答案取决于你所指的精神的版本。

classic(前spirit v1.x)为规则实现特殊的复制语义。文件上说:

当规则在中的任何位置被引用时 EBNF的右侧 表达式,规则由 引用表达式。它是 客户负责确保 引用的规则保留在 作用域且不会被破坏 当它被引用时。

赋值运算符基本上引用了rhs规则,而不创建深度副本。这样做是为了允许:

rule<> r1, r2;
r1 = ...;
r2 = r1;

但结果证明这是非常混乱的,因为它阻止了以与“普通”对象相同的方式处理规则。

因为这个原因,有一个成员函数 rule::copy() ,允许对规则进行显式的深度复制(例如,将其存储在STL容器中)。

同时:

r2 = r1.copy();

显然是错的。 r2 将引用的(销毁的)临时副本 r1 从函数返回 copy() .

在spirit.qi(即spirit v2.x)中,行为部分改变。当在解析器外部处理规则时,规则现在的行为与预期一致。您可以将它们通常存储在容器中(赋值运算符公开预期的行为)。但是要注意,解析器表达式中的规则仍然由引用持有,它仍然允许以与以前相同的方式引用规则:

rule<> r1, r2;
r1 = ... >> r2 >> ...;
r2 = ... >> r1 >> ...;

有时需要对规则进行深度复制,因此仍然有成员函数 copy .

更改后的复制语义还有另一个副作用。构造如下:

r1 = r2;

正在创建 R2 可能不是你所期望的,特别是如果 R2 只有在“分配”到之后才能分配其rhs R1 . 因此,有了新的成员函数 alias 启用此角案例的引用语义:

r1 = r2.alias();

在任何情况下,在两个版本的spirit中,如果从解析器表达式引用的部分规则超出范围,那么最终都会出现悬空引用。

顺便说一句,两个spirit版本都不实现函数 rule::ref() .