Python异常处理的作用域规则及异常变量生命周期是怎样的？

核心底层规则 #

Python的except <异常类型> as <变量名>语法有一个特殊的隐式行为：绑定的异常变量仅在except块内部有效，块执行结束后会被立即从当前作用域删除。

这是官方刻意设计的规则，目的是避免异常对象持有的 traceback 栈引用导致内存泄漏——因为 traceback 会关联调用栈上的所有局部变量，如果异常对象一直存活，这些变量对应的内存都无法被垃圾回收。

为什么和with语句表现不同 #

你观察到的和with语句的差异是合理的，二者的设计目标完全不一样：

• with语句的as绑定的变量，生命周期没有特殊限制，仅由上下文管理器自身决定资源是否可用，变量本身不会在块结束时被自动删除，所以你在块外访问file不会报NameError，只是文件已经被关闭所以操作报IO错误。
• except的as绑定是专门针对异常对象的特殊处理，除了内存回收的原因，也可以避免异常变量意外污染外层作用域的命名空间。

验证规则的小例子 #

如果你确实需要在except块外使用异常对象，只要把它赋值给另外一个外层作用域的变量就可以了：

outer_error = None
try:
    1/0
except Exception as error:
    outer_error = error
    print(error)

print(outer_error) # 这里不会报NameError，正常输出division by zero

运行这段代码不会抛出NameError，因为我们把异常对象的引用转移到了外层的outer_error变量上，不会被自动清理。

补充说明 #

Python语言规范里明确标注了这个行为：当except块执行完成时，无论是否正常结束，绑定到as后面的变量都会被删除，相当于在块末尾隐式执行了del <变量名>操作。这也是为什么你在try块里给error赋值的代码被跳过之后，except块外完全找不到error这个名字的原因。

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