“* +”和“*”的占有和贪婪量词给出不同结果的情况？

Question

我一直在寻找这个问题Greedy vs. Reluctant vs. Possessive Quantifiers

我可以看到*+和*都匹配零次或更多次，但占有欲量词*+将匹配向前尽可能..而且*会做.*和原路返回。而且我可以接受，当.*字符串很长时，*+会更有效。

我很感兴趣，但他们给出不同的结果。

而且我看到一个评论

@moodboom，还有零的情况下永远（数学事实），其中 占有欲量词会产生不会通过简单的贪婪量词产生 匹配。有些情况下，当贪婪量词会产生匹配时，它们会产生不匹配。 对于所有其他情况（贪婪和占有产生相同的结果），占有量词给予了性能增益。 - 在23:00

通配符 5月5日，我会看到这个扩大后，特定情况下，占有和贪婪量词给出不同的结果很感兴趣。

对比*+和*

我也很有兴趣在什么不同的结果是可能的情况下，对比?+ VS ?

Answer 1

我发现一个案例，但我不确定的解释和针对性。我认为还有很多其他案例。

测试用例

greedy = /.*b/ 
posssessive = /.*+b/ 

测试上：

foob

只有贪婪的比赛吧。

说明

物主将首先匹配整个字符串（.*+），然后尝试匹配b字符，但找到的字符串（$）的唯一结束。

贪婪也将整个字符串匹配，但再看看落后，直到找到第一b字符。它会找到。

Answer 2

退房在演示的例子测试字符串aaab和aaax试贪婪模式a*[^b]及占有格局a*+[^b]

Demo 1

Demo 2

a*[^b]会原路返回，试图找到一个匹配，因此它发现aaa在aaab

a*+[^b]会发现aaa不会走回头路，将尝试匹配[^b]，未能对aaab