"正则表达式不包含"是搜索框里最高频的需求之一，但它有两种完全不同的含义：匹配不包含某子串的行，或某类字符之外的一切。把两者混起来写就会得到永远匹配不上的表达式。本文依据 MDN 正则速查表与指南原文整理。

一、两种"不包含"必须先分清

需求 A："排除含 foo 的行"，这是字符串级的整体否定，要用环视。需求 B："[^0-9] 之外都算"，这是单字符层面的取反，用取反字符类。MDN 正则速查表在 Boundary-type assertions 一节给了大量 "does not match ... but does match ..." 形式的对照说明，可见官方是用"在某个位置能否匹配"来定义断言的，这与字符类"取一个字符"的语义完全不在一个层面。

二、负向前瞻：官方术语与零宽特性

速查表明确列出 Lookahead assertion、Negative lookahead assertion、Lookbehind assertion 三类条目。写法是：

foo(?!bar) 匹配后面不是 bar 的 foo；(?!foo)bar 在 bar 之前先检查此处不是 foo。

关键点：断言是零宽的，只做位置判断、不消耗字符，所以它不能单独使用。.*(?<!xyz)$ 这类写法必须搭配主表达式，否则匹配到的是空串，看起来"什么都匹配"。

三、整行排除某子串的正确写法

要"匹配不含 test 的整行"，标准做法是在行首锚点处放一个否定前瞻：

^(?!.*test).*$

逐段读：^ 定位行首，(?!.*test) 断言从当前位置向后找不到 test，.*$ 才真正吃掉整行。变体：^(?!.*\btest\b).*$ 用于排除独立单词（\b 词边界）；^(?!(?:.*foo){2,}).*$ 表示 foo 出现不足两次。反过来要"包含 A 但不包含 B"则是 ^(?=.*A)(?!.*B).*$——用肯定前瞻先要求存在 A。

四、取反字符类不是字符串否定

[^abc] 只匹配一个不属于 a、b、c 的字符。写成 [^test] 想表达"不含 test"是经典错误：它实际是"不含 t、e、s 任一字符的单个字符"，会漏掉 t 且只吃一位。要表达"整个字符串不含 test"只能用第三节的写法。

另外 [^0-9] 等价 \D、[^\s] 等价 \S；字符类内部的 . 与 * 失去特殊含义，但 ^ 只在开头才是取反符号，[abc^] 里的 ^ 是普通字符。这类细节在构造白名单校验（如"只允许字母数字与减号"）时很容易写错。

五、引擎差异：不是所有正则都支持环视

• POSIX 基本/扩展正则不支持前瞻后顾。所以 grep '^(?!x)'、sed 默认表达式里写 (?!...) 只会当成普通字符或报错。
• 需要 PCRE 才可用：grep -P '^(?!.*test).*$'。GNU grep 的 -P 依赖编译时支持，部分精简系统需退回 grep -v。
• 基于 RE2 的引擎（如 Go 标准库 regexp、部分日志系统）不支持环视，设计取向是保证线性时间，遇到 (?= 会直接报不支持。
• JavaScript 自 ES2018 起支持后顾 (?<=、(?<!；Python 的 re 支持定长后顾，变长需第三方 regex 模块。

因此在这些引擎里实现"不包含"要换思路：先匹配再在代码里取反，例如 if (!re.test(s))，或用工具层否定（grep -v test、awk '!/test/'）。

六、性能：贪婪前瞻易造成灾难性回溯

^(?!.*foo).*$ 对每一行都做一次向后扫描，本质是 O(n) 乘以行数，可用；但把多个前瞻嵌套且各自带 .* 时复杂度会急剧上升，尤其在同一位置反复失败重试。经验做法：能用简单否定（grep -v、代码里的取反）就不要用前瞻；需要多重过滤时拆成多条规则串联，而不是写一个超长表达式。这既提速也让逻辑可读。

七、常见问题 FAQ

问：为什么 (?!) 单独用把每行都算匹配？
答：零宽断言本身匹配空串，必须和主表达式配合并加锚点。

问：grep 里写了 (?!...) 没效果？
答：默认是 BRE/ERE，不支持环视，要加 -P，或直接改用 grep -v。

问：排除注释行怎么写？
答：^\s*(?!#).* 只排除以 # 开头的行；同时排除空行用 ^\s*(?!#)\S.*$。

八、总结

"不包含"的选型顺序是：①能在工具层否定就用 grep -v 或代码取反，最清晰高效；②确实需要模式内排除时，整串用 ^(?!.*X).*$，局部排除用主表达式加 (?!...)；③单字符范围排除才用取反字符类，注意 [^test] 不等于"不含 test"；④断言零宽，不可单独使用；⑤确认引擎支持环视，POSIX 需 -P，RE2 类引擎完全不支持。写正则前先把"排除字符"和"排除字符串"这两件事分清楚，能避开绝大多数表达式失效。

• 正则
• 前瞻
• grep