如何编写匹配可选且仅能出现一次分组的正则表达式

需求回顾 #

需要匹配冒号之间仅包含A、B、C的字符串，规则如下：

• 每个字符（A/B/C）最多出现1次
• 字符顺序任意
• 可以为空或仅包含单个/两个字符

问题分析 #

你之前的正则^:((?:A|B|C)?)(?!\1)((?:A|B|C)?)(?!\2)((?:A|B|C)?):$存在逻辑缺陷：当分组为空时，(?!\1)会限制后续分组不能为空，导致::或:A:这类合法场景无法匹配——比如:A:中第二个分组为空，但第三个分组的(?!\2)（\2是空）会禁止第三个分组为空，最终匹配失败。

最优解决方案 #

推荐使用全局负向预查+字符范围限制的写法，简洁且覆盖所有场景：

^:(?!.*(.).*\1)[ABC]{0,3}:$

规则拆解

• ^:：匹配字符串开头的冒号
• (?!.*(.).*\1)：负向预查，确保冒号之间的内容中，没有任何字符重复出现（捕获任意字符后，检查后面是否再次出现该字符）
• [ABC]{0,3}：匹配0到3个A/B/C中的字符，顺序任意
• :$：匹配字符串结尾的冒号

备选方案（基于分组调整） #

如果你偏好使用分组的方式，可以通过条件环视处理空分组的情况：

^:((?:A|B|C)?)(?(1)(?!\1)|)((?:A|B|C)?)(?(2)(?!\2)|)((?:A|B|C)?):$

• (?(1)(?!\1)|)：仅当第一个分组非空时，才限制第二个分组不能与第一个分组重复；若第一个分组为空，则不做限制
• 同理，(?(2)(?!\2)|)处理第三个分组与第二个分组的关系

测试验证 #

匹配成功的场景

• ::
• :A:
• :AB:
• :ABC:
• :BC:
• :CB:
• :CBA:

匹配失败的场景

• :CCC:
• :AA:
• :ABB:
• :ABA:

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