re.Match 如何安全获取可选分组而不抛 IndexError

re.Match.group()对未定义命名组直接抛IndexError；安全方式为先查match.groupindex或用groupdict().get()，数字索引需先确认i

re.Match.group() 调用时 group_index 不存在就抛 IndexError

当正则里用了可选分组（比如 (d+)?），匹配成功但该分组未捕获内容时，match.group(n) 会返回 None；但如果你传的是字符串名（如 match.group("num")）且该命名组根本没在 pattern 中定义，就会直接抛 IndexError: no such group——注意，这不是 AttributeError 或 KeyError，而是 IndexError，容易误判。

常见错误场景：动态构造正则、复用同一段代码处理多个不同结构的 pattern、或误把未定义的组名当默认存在。

• 检查组是否存在得用 match.groupindex 字典（键是组名，值是序号），不能靠 try-except IndexError 盲捕
• match.lastindex 和 match.lastgroup 只反映最后一个**成功捕获**的组，不能用来判断某个特定组存不存在
• 对数字索引，match.group(n) 在 n 超出总组数时才抛 IndexError；但对字符串名，只要名字不在 match.groupindex 里，立刻抛

安全获取命名组的三种推荐方式

核心原则：先确认组名是否被 pattern 定义，再取值。不依赖异常控制流程。

• 查 match.groupindex："num" in match.groupindex → 存在才调 match.group("num")
• 用 match.groupdict().get("num")：自动跳过未参与匹配的组（返回 None），但前提是该组名已在 pattern 中定义；如果组名压根没写进正则，groupdict() 里也不会有它，所以仍需前置校验
• 封装工具函数：

  def safe_group(match, name, default=None):     if name not in match.groupindex:         return default     return match.group(name)

数字索引组的安全访问：别硬写 match.group(2)，先看 match.re.groups

match.re.groups 返回 pattern 中**定义的分组总数**（含非捕获组以外的所有 (...)），不是本次匹配实际捕获的数量。它和 len(match.groups()) 不同——后者只返回成功捕获的元组长度，可能更小。

• 要安全访问第 i 个位置的组，先判断 i （注意：组编号从 1 开始，match.re.groups 是总数）
• match.groups(default=None) 可统一填默认值，但它对越界索引无保护——仍需自己控范围
• 若 pattern 含嵌套可选组（如 ((d+)?)?），外层组可能匹配空字符串，此时 match.group(1) 是 ""，match.group(2) 是 None；两者都合法，不会抛错

最易忽略的坑：compile 时 group 名重复或含非法字符

re.compile(r"(?Pd+)(?P[a-z]+)") 会静默覆盖前一个 id，导致 match.groupindex 中只有后一个；而 re.compile(r"(?Pd+)") 会直接报 re.error: bad character in group name —— 这类错误发生在 compile 阶段，但若 pattern 来自配置或用户输入，运行时才编译，就容易漏掉校验。

• 组名必须匹配 [a-zA-Z_][a-zA-Z0-9_]*，连短横线都不行
• 重复组名不会报错，但后者覆盖前者，groupindex 只保留最后一次出现的映射
• 若用 regex 模块（非标准库），支持重复名和更宽松语法，但和 re 不兼容——混用时尤其危险