c++ - Boost Spirit 罗马数字解析器示例

Question

尝试学习 boost spirit 和文档中给出的示例让我有点困惑。

引用这段代码:

http://www.boost.org/doc/libs/1_46_1/libs/spirit/example/qi/roman.cpp

特别是这段语法:

        start = eps             [_val = 0] >>
            (
                +lit('M')       [_val += 1000]
                ||  hundreds    [_val += _1]
                ||  tens        [_val += _1]
                ||  ones        [_val += _1]
            )

有人可以向我解释为什么它是 +lit('M') 而不是 *lit('M')。因为毕竟不能有零个或多个 M 与一个或多个 M 吗？

Answer 1

一个|| b 运算符在 Spirit 中表示 a 或 b，但是 b 在 a 之后，如果 a 发生。在运算符的含义中，没有 M 的情况是隐含的(因为 M 的匹配可能存在也可能不存在)。另外，在 *lit('M') 的情况下，如果没有 NO M，您会说匹配第一条规则吗？无论如何它都是有效的，_val 将增加 1000。