Python异常处理为何会意外影响对象生命周期？是否存在内存泄漏风险？

Python 数据模型参考文档中指出：

使用“try…except”语句捕获异常可能会让对象持续存活。

为什么官方要专门提及这一点？ #

很多开发者对try...except的认知只停留在「仅改变控制流」的层面，完全忽略了异常对象背后隐式携带的引用链：

• 异常实例本身会持有完整的 traceback 对象，traceback 又包含异常抛出时整个调用栈的所有栈帧，每个栈帧都会持有当时栈内所有局部变量、全局变量的引用
• 这种引用链是非常隐蔽的，比如你只是在 except 块里随手把异常赋值给一个变量存下来打日志，哪怕你完全没用到那个大体积的局部变量，它也会被异常对象连带持有，不会被 GC 回收
• 官方专门强调这点，就是为了提醒开发者不要忽略这个超出控制流之外的隐式副作用，避免写出预期外的代码。

这种情况会不会引发内存泄漏？ #

完全有可能，而且这类内存泄漏的排查成本极高，很难直接联想到根源是未被释放的异常对象。
常见的触发场景包括：

• 把异常对象长期存储在全局容器中，比如全局错误统计列表、持久化的日志队列，没有定期清理
• 在装饰器、上下文管理器、长生命周期的类实例中，把捕获到的异常绑定为实例属性，没有手动置空
• 异步代码中异常被传递到事件循环的全局错误处理器后没有及时清理，连带持有大量协程栈中的临时大对象

当然也不用过度焦虑：如果 except 块处理完异常后没有把异常对象、traceback 存到长生命周期的位置，出了 except 作用域后异常对象就会被正常回收，所有关联的引用也会一并释放，不会引发泄漏问题。

内容的提问来源于stack exchange，提问作者Tau