如何编写正则表达式：A/B仅可出现在C之后，否则需不存在

核心规则回顾 #

合法匹配需满足以下任一条件：

• 字符串中完全不包含A和B，无论是否有C
• 字符串包含C，且所有出现的A、B都位于C之后（C之前不能有A或B）

可行的正则实现 #

方案1：分场景匹配（逻辑或）

^(?:(?!A|B).)*$|^(?:(?!A|B).)*C[\s\S]*$

• 第一部分 ^(?:(?!A|B).)*$：匹配全程无A、无B的字符串，通过(?!A|B).逐个字符检查，确保不会触发A或B的匹配
• 第二部分 ^(?:(?!A|B).)*C[\s\S]*$：确保C之前没有A和B，C之后允许任意内容（包括A、B），[\s\S]*用来匹配包含换行的任意文本

方案2：否定前瞻断言（逻辑与）

^(?!.*(?<!C.*)A)(?!.*(?<!C.*)B).*$

这个方案更简洁，通过双重否定断言排除非法情况：

• (?!.*(?<!C.*)A)：断言字符串中不存在「未出现在C之后的A」，即所有A都必须在C之后
• (?!.*(?<!C.*)B)：同理，断言所有B都必须在C之后
• 最后的.*匹配整个合法字符串

你之前尝试的问题说明 #

1. 可变长度后发断言错误：你用的(?<!C:.*)属于可变长度的否定后发断言，多数正则引擎（如Python的re模块）不支持这种写法，会直接报错
2. 逻辑与的实现误区：正则本身没有直接的「逻辑与」语法，但可以通过多个(?!...)否定前瞻断言组合，实现“同时满足多个排除条件”的效果，而非直接替换|为与

测试示例 #

• 合法匹配：
  • "hello world"（无A、B）
  • "test C foo A bar B"（A、B都在C之后）
  • "only C here"（有C但无A、B）
• 非法匹配：
  • "A before C"（A在C前）
  • "B test C"（B在C前）
  • "A and B before C"（A、B都在C前）

内容的提问来源于stack exchange，提问作者Drömbüddel