Question

为了简单起见，我们说我需要解析 A后跟B

我不是指这封信，当然，A和B可能是(qi::char_)，或(qi::char_('$') | qi::char_('_') | ascii::alpha)，或其他什么。

这样：

rule = A >> B;

问题是如果B失败，规则不会失败，我会A。我尝试使用+B，但结果是一样的。和

rule = A > B;

如果失败则抛出异常。

更新：我编辑了这个问题来解释上述陈述是错误的（正如用户所证明的那样），我相信规则并没有失败，因为当我尝试：

auto A = qi::copy(qi::char_("$") | qi::alpha);
auto B = qi::copy(qi::char_("z"));
auto C = qi::copy(qi::string("$x"));
std::string s1 = "$x";
std::string s2 = "";
qi::parse(s1.begin(), s1.end(), (A >> B) | C, s2);

我会得到s2="$$x"，所以我认为A没有失败。现在我知道这是一个不同的问题。但规则失败。

Answer 1

Q值。 问题是，如果B失败，规则不会失败，我得到A

一个。这不是真的，请参阅下面的大量演示

Q值。它可以跟着E，但我不想获得CE

一个。在下面的测试用例中，查找肯定断言（C >> &E会在这里做）

这是因为我尝试解析关键字和标识符，因此int是关键字，int4是标识符。因此，keyword是我定义的字符串，后面没有数字或字母。有什么想法吗？

是的，请参阅：

boost::spirit::qi keywords and identifiers
distinct

<强> Live Coliru

#include <boost/spirit/include/qi.hpp>

namespace qi = boost::spirit::qi;

template <typename Grammar>
bool check(Grammar const& g, std::string const& input, qi::unused_type) {
    auto f = input.begin(), l = input.end();
    try {
        return qi::parse(f, l, g);
    } catch(...) {
        return false;
    }
}

template <typename Grammar, typename Skipper>
bool check(Grammar const& g, std::string const& input, Skipper const& s) {
    auto f = input.begin(), l = input.end();
    try {
        return qi::phrase_parse(f, l, g, s);
    } catch(...) {
        return false;
    }
}

#define REPORT(g, i, s, expect) do { assert(expect == check(g, i, s)); } while(0)
#define SHOULD_WORK(g, i, s) REPORT(g, i, s, true)
#define SHOULD_FAIL(g, i, s) REPORT(g, i, s, false)

template <typename Skipper = qi::unused_type>
void do_all_tests(Skipper const& s = Skipper()) {

    auto A = qi::copy(qi::char_("$_") | qi::alpha);
    auto B = qi::copy(qi::char_("z"));

    // using skipper:
    SHOULD_WORK(A >> B , "$z", s);
    SHOULD_FAIL(A >> B , "$.", s);
    SHOULD_FAIL(A >> B , "$" , s);

    SHOULD_WORK(A  > B , "$z", s);
    SHOULD_FAIL(A  > B , "$.", s);
    SHOULD_FAIL(A  > B , "$" , s);

    // positive assertion (does not consume B)
    SHOULD_WORK(A >> &B, "$z", s);
    SHOULD_FAIL(A >> &B, "$.", s);
    SHOULD_FAIL(A >> &B, "$" , s);

    SHOULD_WORK(A  > &B, "$z", s);
    SHOULD_FAIL(A  > &B, "$.", s);
    SHOULD_FAIL(A  > &B, "$" , s);

    // negative assertion:
    SHOULD_FAIL(A >> !B, "$z", s);
    SHOULD_WORK(A >> !B, "$.", s);
    SHOULD_WORK(A >> !B, "$" , s);

    SHOULD_FAIL(A  > !B, "$z", s);
    SHOULD_WORK(A  > !B, "$.", s);
    SHOULD_WORK(A  > !B, "$" , s);

}

int main() {
    do_all_tests(qi::unused); // no skipper
    do_all_tests(qi::space);
    std::cout << "All tests succeeded\n";
}

打印

All tests succeeded

如果操作员的右侧＆＃34;＆gt;＆gt;＆＃34;如何使规则失败？在精神气氛中失败了

1 个答案: