增强精神解析器:绕过贪婪的克莱恩*

是的，尽管您的示例缺乏上下文供我们了解。

我们需要知道什么构成完全匹配，因为现在"b"将是有效的匹配，而"bb"或"bbb"是有效的匹配。那么当输入是"bbb"时，匹配的是什么？(b，bb或bbb？

当你回答(可能)"显然，bbb"时，那么"bbbb"会发生什么？何时停止接受子集中的字符？如果你想让小星不贪婪，你还希望它贪婪吗？

上面的对话框很烦人，但目标是让你思考你需要什么。你不需要一个不贪婪的克莱恩星。您可能希望对最后一个字符进行验证约束。最有可能的是，如果输入有"bbba"，你不想简单地匹配"bbb"，留下"a"。相反，您可能希望停止解析，因为"bbba"不是有效的令牌。

假设...

我会写

grammar = +char_("a-z") >> eps(px::back(_val) != 'a');

这意味着只要匹配，我们至少接受1 个字符，断言最后一个字符不是a。

住在科里鲁

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>
#include <boost/spirit/include/phoenix_stl.hpp>
namespace qi = boost::spirit::qi;
namespace px = boost::phoenix;
template <typename It>
struct P : qi::grammar<It, std::string()>
{
P() : P::base_type(start) {
using namespace qi;
start = +char_("a-z") >> eps(px::back(_val) != 'a');
}
private:
qi::rule<It, std::string()> start;
};
#include <iomanip>
int main() {
using It = std::string::const_iterator;
P<It> const p;
for (std::string const input : { "", "b", "bb", "bbb", "aaab", "a", "bbba" }) {
std::cout << std::quoted(input) << ": ";
std::string out;
It f = input.begin(), l = input.end();
if (parse(f, l, p, out)) {
std::cout << std::quoted(out);
} else {
std::cout << "(failed) ";
}
if (f != l)
std::cout << " Remaining: " << std::quoted(std::string(f,l));
std::cout << "n";
}
}

指纹

"": (failed) 
"b": "b"
"bb": "bb"
"bbb": "bbb"
"aaab": "aaab"
"a": (failed)  Remaining: "a"
"bbba": (failed)  Remaining: "bbba"

奖金

一种更通用(尽管效率较低)的方法是将主要角色与前瞻性断言匹配，即它不是同类角色中的最后一个：

start = *(char_("a-z") >> &char_("a-z")) >> char_("b-z");

这里的好处是不需要使用凤凰城：

住在科里鲁

#include <boost/spirit/include/qi.hpp>
namespace qi = boost::spirit::qi;
template <typename It>
struct P : qi::grammar<It, std::string()>
{
P() : P::base_type(start) {
using namespace qi;
start = *(char_("a-z") >> &char_("a-z")) >> char_("b-z");
}
private:
qi::rule<It, std::string()> start;
};
#include <iomanip>
int main() {
using It = std::string::const_iterator;
P<It> const p;
for (std::string const input : { "", "b", "bb", "bbb", "aaab", "a", "bbba" }) {
std::cout << std::quoted(input) << ": ";
std::string out;
It f = input.begin(), l = input.end();
if (parse(f, l, p, out)) {
std::cout << std::quoted(out);
} else {
std::cout << "(failed) ";
}
if (f != l)
std::cout << " Remaining: " << std::quoted(std::string(f,l));
std::cout << "n";
}
}