本文介绍如何使用一个正则表达式配合 re.finditer，仅遍历目标字符串一次，即可准确捕获 ¬[, [, ¬(, (, ), ] 等六类符号（自动将 ¬[/¬( 归一化为 [/(），并返回标准化后的字符与起始索引组成的列表。
本文介绍如何使用一个正则表达式配合 `re.finditer`，仅遍历目标字符串一次，即可准确捕获 `¬[`, `[`, `¬(`, `(`, `)`, `]` 等六类符号（自动将 `¬[`/`¬(` 归一化为 `[`/`(`），并返回标准化后的字符与起始索引组成的列表。
在处理逻辑表达式、嵌套结构或自定义语法解析时，常需定位各类括号（如 [, ], (, )）及其变体（例如带否定前缀 ¬[ 和 ¬(）。若按传统方式为每种模式单独调用 re.finditer，会导致对同一字符串重复扫描四次，时间复杂度退化为 O(4n)，既低效又冗余。
更优解是合并所有匹配逻辑到一条正则表达式中，利用可选前缀 ¬? 与分组捕获机制，实现单次扫描、统一归一化。核心正则模式为：
pattern = r'¬?([\[(])|([\])])'
该模式含义如下：
-
¬?([\[(])：匹配可选的¬后接左括号[或(，并将[/(捕获至第 1 组； -
|：逻辑“或”； -
([\])])：匹配右括号)或]，并捕获至第 2 组。
由于每个匹配只会命中其中一侧（不可能同时满足左右两部分），因此可通过 match.group(1) or match.group(2) 安全提取实际匹配的括号字符——若左侧匹配成功，group(1) 非空；否则 group(2) 提供右括号。
完整示例代码如下：
import re
expression = "¬[P∧¬(¬T∧R)]∧(T→¬P)"
pattern = r'¬?([\[(])|([\])])'
all_matches = [
(match.start(), match.group(1) or match.group(2))
for match in re.finditer(pattern, expression)
]
print(all_matches)
# 输出: [(0, '['), (4, '('), (10, ')'), (11, ']'), (13, '('), (18, ')')]
✅ 优势总结：
-
单次遍历：
re.finditer内部仅扫描字符串一次，时间复杂度稳定为 O(n)； -
自动归一化：
¬[→[，¬(→(，无需额外替换或条件判断； -
结构清晰：结果直接为
(index, char)元组列表，便于后续栈匹配、语法树构建等操作。
⚠️ 注意事项：
- 此正则未匹配孤立的
¬（如¬¬(中的首个¬），因¬?是贪婪可选，仅当其后紧邻[或(时才参与匹配； - 若需支持更多符号（如
{,}）或更复杂前缀（如!、~），可扩展模式为r'[!~¬]?([\[(\{])|([\])}\]])'，并相应调整归一化逻辑； - 结果顺序严格按出现位置升序排列（
re.finditer保证），但注意)和]的位置可能穿插在左括号之间（如示例中索引 10 的)出现在索引 11 的]之前），符合真实文本顺序。
通过这一方法，你不仅能显著提升性能，还能让括号解析逻辑更简洁、可维护性更强——真正实现「一次扫描，全部捕获」。
