如何使用grep -P通过递归正则实现严格整行匹配

匹配异常的核心原因 #

你遇到的两个匹配偏差本质上都是递归逻辑与整行锚定规则的冲突：

• 无锚定版本grep -P 'A(?R)?B'之所以输出冗余行，是因为grep默认采用包含匹配逻辑，只要行内任意位置存在符合A(?R)?B逻辑的子串，就会把整行输出，完全不会校验行内其余位置有没有多余字符。
• 自行加上^和$后匹配失效，是因为PCRE规则里的(?R)是递归当前整段正则的完整定义。当正则写为^A(?R)?B$时，每次触发(?R)递归，都会把带行首、行尾边界的完整规则拿出来匹配——递归到字符串中间位置时，根本不可能同时满足行首、行尾的锚定要求，递归逻辑直接中断，自然得不到正确结果。

可正常运行的匹配写法 #

要实现严格整行匹配，核心是把「平衡AB结构的递归逻辑」和「整行边界锚定」拆解开，不能让递归逻辑碰到行首/行尾的边界标记，有两种经过验证的可行写法：

1. 用相对递归引用替代全局递归标记

   grep -P '^(A(?-1)?B)$' test.txt
   

   写法逻辑：
   • 外层^和$严格锁定整行范围，从根源上排除带多余字符的行
   • 内层括号包裹核心匹配逻辑：先匹配1个A，通过(?-1)递归引用当前所在的这个捕获组（也就是平衡AB的核心逻辑，不包含外层的行首行尾锚点），最后匹配1个B；递归展开后会自然形成n个连续A紧跟n个连续B的匹配结构，完全覆盖AB、AABB、AAABBB、AAAABBBB这类合法行。
2. 用命名子模式做递归引用
   如果更习惯用命名标记的写法，可以把核心逻辑封装成命名分支，递归时只调用这个分支：

   grep -P '^(?<balanced>A(?&balanced)?B)$' test.txt
   

   这里的(?&balanced)只会指向核心的AB匹配逻辑，不会把外层的边界锚点带进递归流程，效果和第一种写法完全一致。

避坑提醒 #

• 不要在带^$的整行正则里直接使用(?R)：全局递归会把整段正则的所有元素（包括边界锚点）都纳入递归范围，必然破坏嵌套匹配的逻辑。
• 不要依赖grep的默认匹配模式：如果不主动声明行首、行尾边界，哪怕行内只有一小段符合要求，其余位置全是无关字符，也会被错误筛选出来。

内容的提问来源于stack exchange，提问作者Saul Goodman