boost :: spirit :: qi差异解析器行为

Question

我正在尝试了解Qi的差分解析器的行为。

用这样的东西：

ruleA = 
  ruleAa
| ruleAb
| ruleAc
;

ruleB =
ruleA - ruleAc
;

我在想，如果输入匹配ruleAa或ruleAb，则解析器将匹配ruleB。 换句话说，ruleB将从ruleA中减去一个替代项（ruleAc）。 这不正确吗？

在我的代码中，我正在执行类似上面的操作，并且可以编译，但似乎未达到我的预期。 我的实际用例涉及其他因素，在这里很难解决。

本质上，我想做的是：我有一个类似ruleA的规则，其中包含一组替代项。 在我的语法中，此规则已在几个不同的地方使用。 但是，在一种特定的用法中，我需要避免仅引起一种替代方法。 差异解析器似乎是用于该目的的，但也许我误会了？

提前致谢！

Answer 1

我在想，如果输入匹配ruleAa或ruleAb，则解析器将匹配ruleB。 换句话说，ruleB将从ruleA中减去一个替代项（ruleAc）。 这不正确吗？

(A|B|C) - C仅等效于(A|B)前提是C永远不会匹配(A|B)会匹配的任何内容。

一个简单的例子，假设：

A = int_;
B = +space;
C = char_;

因为C总是匹配A或B匹配的位置，所以很显然(A|B) - C总是不匹配。 与(A|B|C)-C 。

总之任何A或B 也符合C不再匹配something - C 。

---

在我的语法中，此规则已在几个不同的地方使用。 但是，在一种特定的用法中，我需要避免仅引起一种替代方法。 差异解析器似乎是用于此目的的

正如您在上面看到的，情况并非如此。 差异解析器根本不/ modify /左侧解析器。 （它只是丢弃一些与左侧无关的比赛）。

我能想到的最好的事情是/只在一个位置使用/ (A|B)在另一位置/使用(A|B|C) 。 就是这么简单： 说出您的意思 。