本文介绍一种基于单次正则匹配的优化方案，用一个正则表达式同时识别 ¬[, [, ¬(, (, ), ] 等六类符号，并统一归一化为对应括号字符（如 ¬[ → [），最终以 [起始索引, 括号字符] 格式返回有序结果，避免四次重复遍历。
本文介绍一种基于单次正则匹配的优化方案，用一个正则表达式同时识别 `¬[`, `[`, `¬(`, `(`, `)`, `]` 等六类符号，并统一归一化为对应括号字符（如 `¬[` → `[`），最终以 `[起始索引, 括号字符]` 格式返回有序结果，避免四次重复遍历。
要实现「单次遍历、多模式匹配、自动归一化」，核心在于设计一个能覆盖所有目标模式的正则表达式，并利用捕获组区分不同情形。原始代码中分别用四个 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'¬?([\[(])|([\])])'
# 单次遍历，构建 [index, char] 列表
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返回按出现顺序排列的匹配对象，因此结果天然保持原始字符串中的位置顺序（无需额外排序）； - 若后续需严格按左括号优先、右括号次之等语义排序，可对结果二次处理，例如：
sorted(all_matches, key=lambda x: (x[1] in '([', -x[0]), reverse=True)——但本例中原始顺序已满足需求。
该方法将时间复杂度从 O(4n) 降至 O(n)，空间上也避免了中间列表（lsqb/lpar 等）的创建，兼具性能与可读性，是处理多模式位置提取任务的典型最佳实践。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
