符号:?>
使用?>的匹配与正常的匹配无区别,但是如果匹配进行到此结构之后,此结构体的所有备用状态都会放弃,也就是括号内的子表达式中未尝试过的备用状态都不复存在了.
例如'(\.\d\d(?>[1-9]?))\d+',在固化分组内,量词能够正常工作,如果[1-9]不能匹配,正则表达式会返回?留下的备用状态,然后匹配脱离固化分组,继续前进到\d+,在这种情况下,当控制权离开固化分组时,没有备用状态需要放弃(因为没有在固化分组中创建任何备用状态)
如果[1-9]能匹配,匹配脱离固化分组以后,?保存的备用状态仍然存在.但是因为它属于已经结束的固化分组,所以会被抛弃.
例如匹配.625或者.625000
在后一种情况下,放弃那些状态不会带来任何麻烦,因为\d+匹配的是000,到这里正则表达式已经完成匹配.
但是对于.625来说,因为\d+无法匹配,正则引擎需要回溯,但回溯无法进行,因为备用状态已经不存在了,既然没有能够回溯的备用状态,整体匹配就失败.
根据集体情况的不同,放弃备用状态可能会导致不同的结果:
1.毫无影响:如果在使用备用状态之前能够完成匹配,固化分组就不会影响匹配.
2.导致匹配失败:本来有可能成功的匹配现在不能成功.
3.改变匹配结果:可能会得到不同的匹配结果.
4.加快报告匹配失败的速度