re.Match.group(n) 访问不存在分组时抛 IndexError，因组编号超出正则定义范围；安全方式包括：用 groupdict().get() 取命名组、try/except 捕获异常，而非依赖 len(groups()) 或 groupindex 预判。
re.Match.group() 访问不存在分组时为什么会报 IndexError
re.Match.group(n) 在 n 超出实际捕获组数量（包括命名组和位置组）时，会直接抛 IndexError。这不是正则没匹配上，而是组编号根本不存在——比如正则里只有 2 个 ()，却调 .group(5)，Python 不做容忍，直接中断。
用 groupdict() + get() 安全取命名组
命名组是首选方案：它把“是否存在”转化为字典键存在性问题，天然规避编号越界。只要正则中用了 (?P，匹配成功后 .groupdict() 就返回一个普通字典，用 .get() 即可安全回退：
import re m = re.match(r'(\d+)-(?P\w+)', '123-abc') print(m.groupdict().get('suffix', 'default')) # 'abc' print(m.groupdict().get('missing', 'default')) # 'default'
- 命名组必须在正则中显式定义，未出现的命名组不会出现在
groupdict()中 -
groupdict()只包含命名组，不包含数字编号组 - 如果需要同时处理命名组和位置组，不能只依赖这个方法
用 try/except 包裹 group() 是最通用的兜底方式
对位置组（.group(1)、.group(2)）或不确定是否存在的命名组（比如动态构造的组名），最直白可靠的方式仍是捕获异常：
def safe_group(m, n, default=None):
try:
return m.group(n)
except IndexError:
return default
m = re.match(r'(\d+)', '42')
print(safe_group(m, 1)) # '42'
print(safe_group(m, 2)) # None
- 不要用
len(m.groups())判断——它只返回非空组数量，且不包含第 0 组（整个匹配） -
m.lastindex可查最大成功捕获的位置组编号，但无法反映中间缺失的编号（如只有 group(1) 和 group(3)，lastindex是 3，但 group(2) 仍会 IndexError） - 异常捕获开销极小，且语义清晰，在多数场景下比预检更稳妥
别依赖 groupindex 做“存在性预测”
m.re.groupindex 是编译时静态信息，表示正则字符串里**定义过哪些命名组**，和本次匹配结果无关。哪怕正则写了 (?P 且该部分没匹配上，groupindex 里仍有 'opt'，但 m.group('opt') 仍会返回 None（不是 IndexError）；而如果压根没在正则里写 ?P，那 m.group('opt') 才会报 KeyError。
-
groupindex是{'name': int}字典，值是该命名组对应的位置编号 - 它不能告诉你这次匹配中某个组是否实际捕获了内容
- 想判断某命名组是否捕获成功，还是得用
m.groupdict().get('name') is not None或try/except KeyError
真正容易被忽略的是：*命名组即使参与了匹配但匹配为空（例如 (?P)? 遇到空字符串），groupdict() 里依然有 key，value 是空字符串，而非 None——这时你要区分“未匹配”和“匹配为空”，不能只靠 get() 默认值一刀切。**
