递归是原子的（PCRE）

在 PCRE 中，在找到递归的第一个匹配后，它不会跟踪。所以

(?(DEFINE)(aaa|aa|a))(?1)ab

不匹配

aab

因为它在递归中匹配 aa 后，它再也不会再尝试匹配 a。