Regexp导致无限挂起

Question

我有以下regexp，它永远不会评估并无限挂起：

import java.util.regex.Matcher
String AUTOGENERATED_HEADER = "#-=-=-= AUTOGENERATED HEADER =-=-=-"
String AUTOGENERATED_FOOTER = "#-=-=-= AUTOGENERATED FOOTER =-=-=-"

String messages = '''#-=-=-= AUTOGENERATED HEADER =-=-=-
a=b
c=d
x=y
#-=-=-= AUTOGENERATED FOOTER =-=-=-
'''


Matcher matcher = messages =~ /${AUTOGENERATED_HEADER}[\r\n]+((.*[\r\n]*)*)${AUTOGENERATED_FOOTER}/
matcher.find()​

问题在于部分(.*[\\r\\n]*) 。 当我将其更改为(.*[\\r\\n]+) ，它可以正常工作。

你可以在这里试验regexp。 谁能解释一下怎么可能？

Answer 1

你在这里有一个灾难性的回溯案例。 查看你的正则表达式演示 。 罪魁祸首是(.*[\\r\\n]*)*部分，其中包含其他子图案。 嵌套的量词导致过多的回溯，您可以在regex101.com的regex调试器页面上看到。

解决方案是使用延迟点匹配：将[\\r\\n]+((.*[\\r\\n]*)*)替换为.*? 并在模式的开头添加(?s)修饰符，或使用展开的版本（对于长输入更好，但需要一些硬编码）。

参见(?s)#-=-=-= AUTOGENERATED HEADER =-=-=-.*?#-=-=-= AUTOGENERATED FOOTER =-=-=-在行动中。 使用

Matcher matcher = messages =~ /(?s)${AUTOGENERATED_HEADER}.*?${AUTOGENERATED_FOOTER}/