是否可以擦除已匹配的捕获组，使其不参与？

Question

^(?:(z)?(?(1)aa|a)){2}

当输入字符串zaazaa时，它将根据需要匹配整个字符串。但当馈入zaaaa时，我希望它与zaaa匹配；相反，它匹配zaaaa，即整个字符串。（这只是为了说明。当然，此示例可以由^（？：ZAAA）{2}处理，但这并不重要。捕获组擦除的实际用法往往是在循环中，而这些循环通常执行的迭代次数远远超过2次。）

另一种方法也不是理想的：

^(?:(?:z()|())(?:\1aa|\2a)){2}

请注意，当循环“展开”时，这两种方法都可以正常工作，因为它们不再需要擦除已经执行的捕获：

^(?:(z)?(?(1)aa|a))(?:(z)?(?(2)aa|a))
^(?:(?:z()|())(?:\1aa|\2a))(?:(?:z()|())(?:\3aa|\4a))

因此不能使用最简单的条件形式，而必须使用更复杂的条件形式，这只在本例中起作用，因为z的“true”匹配是非空的：

^(?:(z?)(?(?!.*$\1)aa|a)){2}

或仅使用模拟条件：

^(?:(z?)(?:(?!.*$\1)aa|(?=.*$\1)a)){2}

我已经浏览了我能找到的所有文档，似乎甚至没有提到或明确描述这种行为（在循环中捕获的内容在循环的迭代中持续存在，即使它们未能被重新捕获）。

\b(?:a()|e()|i()|o()|u()|\w)++\1\2\3\4\5\b

^(?:(?=a|(b)).(?(1)_))*$

需要明确的是：只要有充分的研究和（或）引用资料的支持，说明这在任何主流引擎中都不可能的答案是可以接受的。如果回答说这是可能的，说明起来会容易得多，因为它只需要一个例子。

关于什么是非参与式捕获组的一些信息:
http://blog.stevenlevithan.com/archives/npcg-javascript-这是最初向我介绍这个想法的文章。
https://www.regular-expressions.info/backref2.html-本页的第一部分给出了简要的解释。
在ECMAScript/javascript regexes中，对npcg的反向引用总是匹配的（进行零长度匹配）。在几乎所有其他的正则表达式中，它们都不能匹配任何东西。

Answer 1

这在.NET的正则表达式中是部分可行的。

首先要注意的是.NET记录给定捕获组的所有捕获，而不仅仅是最新的捕获。例如，^(?=(.)*)将第一行中的每个字符记录为组中的单独捕获。

要实际删除捕获，.NET正则表达式有一个称为平衡组的构造。此构造的完整格式为（？ 子表达式） 。

• 首先，name2以前必须已捕获。
• 然后子表达式必须匹配。
• 如果存在name1，则name2捕获结束与子表达式匹配开始之间的子字符串被捕获到name1中。
• 然后删除name2的最新捕获。（这意味着可以在子表达式中反向引用旧值。）
• 匹配将提前到子表达式的末尾。

如果您知道name2正好捕获了一次，那么可以使用（？<-name2>)将其删除；如果不知道是否捕获了name2，则可以使用（？>（？<-name2>)？）或条件。如果您从那时起多次捕获name2,则会出现问题,这取决于您是否能够组织足够多的删除name2的重复。(（？<-name2>)*不起作用，因为对于零长度匹配，*等同于？。）