c++ - 振奋精神 : how to parse until we have "->"

Question

我正在尝试解析 predicate -> action 形式的 rule。

我的问题是 predicate 可以是任何有效的数学表达式，因此它实际上可能包含减号或更大的符号(但我们必须按顺序禁止它们因为这是我们想要将 predicate 与 action 分开的标记。

本质上，我希望 predicate 消耗所有非空格，直到它遇到字符串 "->"。

我是如何做到这一点的？

是修复我在下面评论的行的正确方法，还是我应该根据有效表达式更好地定义什么是 predicate，并让解析器落入 "->" 当 predicate 结束时，根据那个有效的表达式？

rule %=
  predicate
  >> "->"
  >> action
  ;

predicate %= (+~(qi::char_("-"))); // BAD: works only if no minus sign in predicate
action    %= (+(qi::char_));

Answer 1

将 predicate 改写如下:

predicate = +(qi::char_ - "->"); 
action    = +(qi::char_);

等价地，

predicate = +(!qi::lit("->") >> qi::char_); 

应该做同样的事情。

查看文档

• Difference Parser (a - b)
• Not-Predicate Parser (!a)