Python ExceptionGroup 派生新组时如何保留异常元数据

处理批量任务时，ExceptionGroup 经常要先按异常类型拆成两个子组，再分别记录或重试。真正容易出错的地方不是 split() 的条件，而是自定义异常组在拆分后变回了普通 ExceptionGroup，导致请求编号、租户标识等业务元数据丢失。

先把 ExceptionGroup 的元数据分成两层

标准层包括只读的 message 和 exceptions，以及异常链相关的 __traceback__、__cause__、__context__、__notes__。业务层则可能有 request_id、批次号或租户信息。两层的复制责任不同：derive() 只接收新的异常序列并返回一个异常组，拆分 API 会把标准链路字段从原组复制到返回组。

重写 derive，让 split 返回自己的异常组

如果子类只继承 ExceptionGroup 而不重写 derive()，split() 和 subgroup() 的结果可能退回基类。下面把请求编号设计成稳定字段，让每个子组都能继续关联到原始批次。

class RequestGroup(ExceptionGroup):
    # request_id 是跨拆分结果追踪同一批任务的稳定标识
    def __new__(cls, message, exceptions, request_id):
        self = super().__new__(cls, message, exceptions)
        self.request_id = request_id
        return self

    def derive(self, exceptions):
        # split/subgroup 传入新的异常集合；消息和请求编号必须沿用
        return type(self)(self.message, exceptions, self.request_id)

group = RequestGroup(
    "批量任务失败",
    (ValueError("参数无效"), TimeoutError("上游超时")),
    "req-20261009-040",
)
group.add_note("由批处理器聚合")
match, rest = group.split(ValueError)

assert isinstance(match, RequestGroup)
assert match.request_id == group.request_id
assert match.message == group.message
assert match.__notes__ == group.__notes__

这里没有手工给 match 重新设置 notes 或 traceback，因为官方拆分逻辑会复制这些字段。真正需要手动传递的是子类构造器额外要求的 request_id。使用 type(self) 也比写死类名更适合继续派生子类。

split 后检查哪些结果，才能确认元数据没有断链

测试不要只断言异常数量。至少要同时确认结果类型、业务字段、组消息和 notes；如果异常在处理过程中被显式链式抛出，还要检查 __cause__ 或 __context__ 是否仍指向原链路。

还要注意，ExceptionGroup 只能包含 Exception 的子类；若要容纳 KeyboardInterrupt 等 BaseException，应考虑 BaseExceptionGroup，这属于类型边界，不是 derive 的修复手段。

自定义构造器和临时状态的边界

当异常组构造器不只是 message, exceptions 两个参数时，应重写 __new__()，而不是只改 __init__()。这是因为 BaseExceptionGroup 自己定义了 __new__()，子类需要在对象创建阶段建立额外字段。

适合沿用的字段通常是请求号、租户号、批次号这类不可变关联信息；重试次数、当前处理节点、打开的文件句柄等临时状态不宜直接复制到每个子组。可以把它们放在外部上下文或显式快照中，避免拆分结果共享会被后续处理修改的可变对象。

常见问题

只重写 derive 就能保留所有元数据吗？

不能。derive 负责构造子类和传递自定义字段；标准的 traceback、cause、context、notes 由 split 或 subgroup 复制。

为什么 split 的结果不是自定义异常组？

通常是子类没有重写 derive，或 derive 调用了基类构造器。让它返回当前子类，并传入新的异常集合即可。

derive 里要复制 __traceback__ 吗？

不需要。拆分 API 会复制异常组的标准链路字段，手工覆盖反而可能破坏原始调试信息。

实际落地时，可以把 derive() 看成“按新异常集合重新造一个同类容器”，把 split() 看成“保留异常树和链路信息的筛选操作”。先固定这条边界，再为自定义字段写一组拆分测试，异常聚合代码就不容易在重构后悄悄丢失上下文。