带分支的负向先行断言工作机制及正则表达式使用疑问

一、负向先行断言内部分支的作用范围 #

负向先行断言(?!...)里的分支符|是逻辑或关系，作用范围是分隔开的完整子表达式，而非仅作用于前方的量词。以你的示例(?!.*\\..*|_next)为例，它等价于检查当前位置之后不能存在以下两种情况的任意一种：

• 包含\.（反斜杠加小数点）的任意字符串（.*\\..*）
• 直接出现_next子串

分支符|优先级最低，两个分支是独立的完整条件——.*只属于第一个分支的一部分，和第二个分支_next完全无关，不存在“分支仅作用于前方量词”的情况。

二、前置负向先行断言的运行逻辑 #

当负向先行断言放在主表达式.*之前时，正则的执行逻辑是逐个字符位置检查，而非一次性判断整个字符串：

1. 正则从字符串起始位置开始，先检查当前位置是否满足(?!.*\\..*|_next)——即当前位置之后的所有字符里，既没有\.也没有_next。
2. 如果断言失败（比如当前位置后面存在\.），正则不会直接放弃整个字符串，而是向后移动一个字符位置，重新检查断言。
3. 直到找到第一个满足断言的位置，然后从这个位置开始，用.*贪婪匹配后续所有字符。

这就是你看到“仅丢弃反斜杠及之前部分”的原因：比如输入字符串是abc\.def，起始位置到\.的位置，断言都因为后面存在\.而失败；当正则移动到\.之后的位置时，后面的字符里不再有\.或_next，断言成立，于是从这里开始匹配后续的def。

三、你预期结果的实现方式 #

如果你希望整个字符串只要包含\.或_next就完全不匹配，而非截断匹配，需要给正则加上锚点，限制断言针对整个字符串检查：

^(?!.*\\..*)(?!.*_next).*$

这里的^和$锚定字符串首尾，两个(?!...)分别检查整个字符串是否包含\.和_next，只有当两个断言都成立时，才会匹配整个字符串。

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