C# 正则表达式：单行选项导致负向先行失败

Question

我试图弄清楚为什么当打开“单行”选项时，带有负向预测的正则表达式会失败。

示例（简化）：

<source>Test 1</source>
<source>Test 2</source>
<target>Result 2</target>
<source>Test 3</source>

如果单行选项打开，则此操作

<source>(?!.*<source>)(.*?)</source>(?!\s*<target)

将失败；如果单行选项关闭，则将工作。例如，这有效（禁用单行选项）：

(?-s:<source>(?!.*<source>)(.*?)</source>(?!\s*<target))

我的理解是单行模式只允许点“.”。匹配新行，我不明白为什么它会影响上面的表达式。

谁能解释一下我在这里缺少什么？

:::::::::::::::::::::::

编辑： (?!.*) 是负向展望而不是捕获组。

 <source>(?!.*?<source>)(.*?)</source>(?!\s*<target)

如果单行模式打开，也会失败，所以看起来这不是一个贪婪问题。在正则表达式设计器中尝试一下（如 Expresso 或 Rad 正则表达式）：

单行关闭时，它匹配（如预期）：

<source>Test 1</source>    
<source>Test 3</source>

单行打开：

<source>Test 3</source>

我不明白为什么它也不匹配第一个：它确实不包含第一个否定前瞻，因此它应该与表达式匹配。

Answer 1

我相信这就是您正在寻找的内容：

<source>((?:(?!</?source>).)*)</source>(?!\s*<target)

其想法是一次匹配每个字符，但前提是确保它不是 的第一个字符。此外，通过在前瞻中添加 /?，您不必使用非贪婪量词。

Answer 2

它“失败”的原因是因为您似乎放错了消极的前瞻。

<source>(?!.*<source>)(.*?)</source>(?!\s*<target)
        ^^^^^^^^^^^^^^

现在，让我们考虑一下 (?!.*) 在这里做了什么：它是一个前瞻，表示 .*NO 不匹配。 source> 从该位置开始。

嗯，在单行模式下， . 匹配所有内容。匹配前两个 后，实际上是 .*！因此，前两个 的负向先行失败。

在最后一个 上，.* 不再匹配，因此否定先行成功。该模式的其余部分也成功，这就是为什么您只能在单行模式下获得 Test 3 。