复制或引用 boost::spirit 规则的语义？

Question

我正在尝试在 Boost.Spirit 中编写一个 shell 语言解析器。但是，我不清楚有关规则语义的一些基本问题。

查看文档，rule有成员r.alias()和r.copy()。 IIUC，这些成员应分别返回对规则的引用和规则内容的副本。但是，没有明确说明当我在另一个规则的定义中使用该规则时会发生什么。从我的实验中，我发现相互递归规则可以通过以下方式定义：

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

这表明规则是通过解析器表达式内部的引用来获取的。问题是，当变量超出范围时它会做什么，例如：

rule<Iter> r1;
{ 
  rule<Iter> r2;
  r1 = ... >> r2 >> ...;
  r2 = ... >> r1 >> ...;
}
... // use r1

同样，从包含类型规则工作的右值的解析表达式分配给规则（r.copy() 也将是 rule 类型的右值，不是吗）？例如。

rule<Iter> f() { return char_('a') << char_('b'); }
rule<Iter> r1 = ... << f();

有人可以告诉我规则副本和引用的详细语义，并可能纠正本文中的任何误解吗？

Answer 1

答案取决于您所指的 Spirit 版本。

---

Spirit.Classic（以前的 Spirit V1.x）为规则实现了特殊的复制语义。文档说：

当规则在任何地方被引用时
EBNF 的右侧
表达式，规则由
通过引用表达。它是
客户有责任确保
引用的规则保留在
范围并且不会被破坏
当它被引用时。

赋值运算符本质上引用了 rhs 规则，而无需创建深层副本。这样做是为了允许：

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

但事实证明这非常混乱，因为它阻止了以与“正常”对象相同的方式处理规则。

因此，出现了成员函数 rule::copy()，它允许对规则进行显式深层复制（例如将它们存储在 STL 容器中）。

与此同时，这

r2 = r1.copy();

显然是错误的。 r2 将引用从函数 copy() 返回的 r1 的（已破坏的）临时副本。

---

在 Spirit.Qi（即 Spirit V2.x）中，行为发生了部分改变。现在，在解析器外部处理时，规则的行为符合预期。您可以将它们正常存储在容器中（赋值运算符公开预期的行为）。但要注意，解析器表达式规则内部仍然通过引用保存，这仍然允许以与以前相同的方式引用规则：

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

有时需要对规则进行深层复制，因此仍然有成员函数 复制。

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

r1 = r2;

现在正在创建 r2 的（深层）副本，这可能不是您所期望的，特别是如果 r2 仅在“分配”后才分配其 rhs到r1。因此，新的成员函数 alias 为这种极端情况启用了引用语义：

r1 = r2.alias();

无论如何，在 Spirit 的两个版本中，如果从解析器引用了部分规则，最终都会得到悬空引用表达式超出范围。

顺便说一句，Spirit 版本都没有实现 rule::ref() 函数。