Python3.6正则匹配问题：匹配含指定变量值的文本行

你的问题核心在于原正则表达式强制要求A、B、C三个变量必须存在且顺序固定，同时没有处理"变量不存在即视为满足条件"的逻辑，也没考虑集合元素的完整匹配（避免误匹配类似55这种包含5但不是独立元素的情况）。

正确的正则表达式思路 #

我们需要构建一个能同时满足以下三个条件的正则：

• 如果行中存在A={...}，则集合内必须包含独立元素5；若没有A的定义，直接满足条件
• 如果行中存在B={...}，则集合内必须包含独立元素2；若没有B的定义，直接满足条件
• 如果行中存在C={...}，则集合内必须包含独立元素3；若没有C的定义，直接满足条件

对应的正则表达式如下：

^(?=(?:(?!A\{).)*|.*A\{(?:[^},]+,)*5(?:,[^},]+)*\})(?=(?:(?!B\{).)*|.*B\{(?:[^},]+,)*2(?:,[^},]+)*\})(?=(?:(?!C\{).)*|.*C\{(?:[^},]+,)*3(?:,[^},]+)*\}).*$

正则各部分解释 #

• ^ 和 $：匹配整行的开头和结尾，确保我们检查的是完整的一行文本
• (?=...)：正向预查，用于验证条件，不消耗文本内容，所以可以同时检查多个无关顺序的条件
• 以A的条件为例：(?:(?!A\{).)*|.*A\{(?:[^},]+,)*5(?:,[^},]+)*\}
  • (?:(?!A\{).)*：匹配任何不包含A{的内容，也就是行中没有A的定义时满足条件
  • .*A\{(?:[^},]+,)*5(?:,[^},]+)*\}：匹配包含A{...}且其中有独立元素5的情况：
    • A\{：匹配A{字面量
    • (?:[^},]+,)*：匹配任意多个非}和非,的字符加逗号（即集合中5前面的元素）
    • 5：匹配目标元素
    • (?:,[^},]+)*：匹配任意多个逗号加非}和非,的字符（即集合中5后面的元素）
    • \}：匹配闭合的}

Python 3.6代码示例 #

import re

pattern = r'^(?=(?:(?!A\{).)*|.*A\{(?:[^},]+,)*5(?:,[^},]+)*\})(?=(?:(?!B\{).)*|.*B\{(?:[^},]+,)*2(?:,[^},]+)*\})(?=(?:(?!C\{).)*|.*C\{(?:[^},]+,)*3(?:,[^},]+)*\}).*$'
test_lines = [
    "A={5,6},B={2},C={3}",
    "B={2,4}",
    "A={5},B={1},C={3}",
    "A={5},B={2},C={3,4,QWERT},D={TXT}"
]

for line in test_lines:
    if re.fullmatch(pattern, line):
        print(f"匹配成功：{line}")

运行这段代码会输出你预期的第1、2、4行：

匹配成功：A={5,6},B={2},C={3}
匹配成功：B={2,4}
匹配成功：A={5},B={2},C={3,4,QWERT},D={TXT}

原正则的问题分析 #

1. 强制变量存在：原正则要求行中必须有A、B、C的定义，所以像第2行没有A和C的情况会被排除
2. 变量顺序固定：原正则要求A在B前，B在C前，如果行中变量顺序调换（比如B在A前面）就匹配失败
3. 元素匹配不严谨：原正则用.*?5会匹配到类似55、X5Y这种包含5但不是独立元素的情况，导致误匹配

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