在reg exp中使用已定义的子模式时,它不会选择最佳匹配,而是在第一次匹配时停止.我忘记了一些国旗吗？
正则表达式：(α< min> [0-9] | [1-5] [0-9]):(α&分钟);
测试字符串：47：24;.
表达式不匹配：
但是字符串47：2;匹配正确：
.
如果我将’或’条件改为[1-5] [0-9] | [0-9],则reg exp(？< minutes> [1-5] [0-9] | [0-9]) ：;(&安培;分钟？)工作得很好.有没有其他方法可以使字符串’47：24;’匹配而不反转’或’条件？
解决方法
使用PCRE,递归组是原子的(参见本
article).这就是正则表达式引擎无法回溯(？& minutes)的原因.
在42:24;中,24中的2与第一个分支[0-9]匹配(自第一次获胜以来),但是当模式失败时,因为字符串中有4而不是;,正则表达式引擎可以在(？& minutes)子模式中回溯以测试第二个分支[1-5] [0-9]. (你可以看看debugger)
解决方案：不要对如此小的子模式使用递归,它是无用的,没有意义(特别是如果你使用捕获组的名称).写点像：
(?<minutes>[1-5]?[0-9]):(?<seconds>[1-5]?[0-9]);
或者为什么不：
(?(DEFINE)(?<sex>[1-5]?[0-9]) for "sexagesimal",not for what you think) (?<minutes>(?&sex)):(?<seconds>(?&sex));
看起来多余,但有意义,如果你想提取分钟和秒钟(或者根本不使用组),这是有用的.毕竟,如果你使用命名捕获,你的目标不是写出世界上最短的模式.
如果你无法避免交替：
>你可以把最长的分支放在第一位：[1-5] [0-9] | [0-9]按照卢卡斯的建议.
>你也可以使用互斥的分支：[1-5] [0-9]？| [06-9],[06-9] | [1-5] [0-9]？ (在这种情况下,订单无关紧要)
请注意,递归组的这种行为特别适用于PCRE,它与Perl或Ruby不同.
