正则表达式：为什么这个负向预测不起作用？

Question

我有这样

real:: a 
real :: b 
real c 

文字，现在我要匹配的那些真正的无::其次，在这种情况下，我想只匹配第三实。所以我试图用正则表达式前瞻

real\s*(?!::) 

但这匹配

real :: b 
real c 

对于\s*意味着零个或多个\s，为什么real :: b被匹配？

更新

感谢Wiktor的Stribiżew。使用regex101调试工具。我们可以发现backtrack使事情变得复杂。

我想出了另一个任务类似，但我解决不了

real (xx(yy)) :: a 
real (zz(pp)):: b 
real (cc(rr)) c 

再次，我想匹配real (cc(rr))这是没有::以下。

real\s*\(.*?\)+(?!\s*::) 

这是我试过的，但失败了。看看正则表达式调试，这也是由于回溯。但如何正确地做到这一点？

Answer 1

你需要把\s*进入前瞻：

real(?!\s*::) 

见regex demo

的real\s*(?!::)比赛real因为real比赛real，那么\s*匹配0个或多个空格，然后先行在::和发动机回路上的比赛失败，也就是说，它释放了与匹配的空间并尝试重新匹配字符串。由于\s*可以匹配空字符串，因此:: b之前的real得到匹配。

见regex debugger scheme at regex101显示是怎么回事幕后：

Answer 2

见https://regex101.com/r/yP3xV9/1理解为什么你的正则表达式失败。

基本上，它匹配real零位之后的东西是不是::