贪婪/懒惰（非贪婪）/占有量词如何在内部工作？ [复制]

Question

我注意到量词有 3 种不同类别：贪婪、懒惰（即非贪婪）和所有格。

我知道，粗略地说，greedy 量词试图通过首先读取整个输入字符串来获得最长的匹配，然后如果尝试继续失败，则一个一个地截断字符； lazy 量词尝试通过首先读取空字符串来获得最短匹配，然后如果尝试继续失败，则一个一个地添加字符； 占有量词尝试与贪婪量词相同的方式，但如果第一次尝试失败，它们将停止匹配。

但是，我不确定上述内容是如何在“内部”实施的，并希望得到澄清（希望有示例）。

---

例如，假设我们的输入字符串为"fooaaafoooobbbfoo"。

如果正则表达式是"foo.*"（贪婪），那么正则表达式中的foo 是否会首先匹配输入字符串中的foo，然后.* 会读入aaafoooobbbfoo 作为“整个字符串”？或者.* 会首先将fooaaafoooobbbfoo 读入“整个字符串”，然后截断fooaaafoooobbbfoo 以尝试匹配正则表达式中的foo？如果是后者，fooaaafoooobbbfoo 会在每次尝试中从左侧截断还是从右侧截断？

如果我将"foo.*" 替换为".*foo" 或"foo.*foo" 作为我的正则表达式，上述问题的答案会改变吗？如果我把那些贪婪的量词改成懒惰的和所有格的呢？

如果一个正则表达式中有多个量词，引擎将如何处理优先级（如果重要的话）？

---

提前致谢！

Answer 1

对于您的输入字符串fooaaafoooobbbfoo。

案例 1： 当您使用此正则表达式时：

foo.*

首先记住引擎从左到右遍历的事实。

考虑到上面的正则表达式将首先匹配输入开始处的foo，然后.*将贪婪匹配最长可能匹配foo之后的其余文本直到结束。此时匹配停止，因为在您的模式中 .* 之后没有可匹配的内容。

案例 2：当您使用此正则表达式时：

.*foo

这里.* 将在匹配最后一个foo 之前贪婪地匹配最长 可能的匹配，这正好是输入的末尾。

案例 3： 当您使用此正则表达式时：

foo.*foo

哪个将首先匹配输入中找到的foo，即foo，然后.*将在匹配最后一个foo之前贪婪地匹配最长可能的匹配，这是输入的结尾.

案例 4： 当您将此正则表达式与惰性量词一起使用时：

foo.*?foo

哪个将首先匹配输入中找到的foo，即在开始时foo，然后.*?将在匹配下一个foo之前延迟匹配最短可能匹配，这是@987654340的第二个实例@ 在输入中从位置 6 开始。

案例 5： 当您将此正则表达式与所有格量词一起使用时：

foo.*+foo

首先匹配输入中的foo，即在开始时foo，然后.*+ 使用占有量词，这意味着尽可能多地匹配，不返回。这将贪婪地匹配 longest 可能的匹配直到结束，并且由于所有格量词不允许引擎回溯，因此在部分末尾存在 foo 将导致失败，因为引擎将无法匹配最后一个 @987654347 @。