正则 backtrack 请教

[Dropless]

说正题之前，多请大家担待一下。正则的高级内容我全是跟着英文内容学的，所以有些专有名词我就直接用英文了，因为我不知道它对应的中文叫什么。

问题如下：

待匹配字符串：ABCD

我的正则：(?>AB|BC)D

按照我的理解我的正则应该不能匹配给定的字符串 ABCD 。但实际情况是匹配到了 BCD 。 我的理解是：先匹配 |的左边 pattern: AB, 在字符串里面匹配到了 AB 。继续前进匹配 D，匹配失败，字符串里面没有 ABD, 此时应当 backtrack, 使用 |的右边 pattern: BC。但问题在于，我使用了 atomic group ，而且此时的位置已经超出了 atomic group ，所以应当是不能 backtrack 的。所以整个正则应当匹配失败。 但测试结果证明我理解错了。

所以请教一下大家为什么会这样，谢谢。 正则引擎：Boost 1.76.0

[jfcherng]

看這個例子或許你就懂了。嘗試用 (?>AB|ABC)D 匹配 ABCD



每個位置依然都會做為匹配的起點來進行測試。

[Dropless]

@jfcherng 啊，懂了。一句点醒。多谢

[xh3ccc]

可以加个^，如这样 ^(?>AB|BC)D