Python异常嵌套机制与raise from用法详解

Python异常嵌套的基本传播机制

在Python中，异常支持嵌套结构。当内层代码抛出异常时，系统会检查该异常类型是否与当前try-except块指定的异常类型匹配。如果不匹配，异常将向上传播至外层；如果与外层指定的类型匹配，则异常被该层捕获并处理。这一过程持续向外层传递，直到最外层。若最外层仍未处理，则程序停止运行并输出默认异常信息。具体逻辑见以下代码示例：

try:
 try:
  raise IndexError
 except TypeError:
  print('get handled')
except SyntaxError:
 print('ok')

执行上述程序后的输出结果如下：

Traceback (most recent call last): File "<pyshell#47>", line 3, in <module> raise IndexError IndexError

接下来看一个由外层try-except成功捕获的嵌套异常案例：

try:
 try:
  1/0
 finally:
  print('finally')
except:
 print('ok')

程序运行输出为：

finally ok

except通配符捕获的风险

值得注意的是，使用空的except:语句可以捕获所有类型的异常。然而，这种做法存在弊端，因为它可能会意外捕获本应由其他特定逻辑处理的预定异常，从而掩盖潜在问题。

使用raise from关联异常链

此外，Python提供了raise A from B语法，用于将两个异常关联起来。如果from后面的异常B未被外层捕获，那么异常A和B都将被抛出。例如：

try:
 1/0
except Exception as E:
 raise TypeError('bad') from E

运行结果如下：

Traceback (most recent call last): File "<pyshell#4>", line 2, in <module> 1/0 ZeroDivisionError: division by zero

The above exception was the direct cause of the following exception:

Traceback (most recent call last): File "<pyshell#4>", line 4, in <module> raise TypeError('bad') from E TypeError: bad

反之，如果外层成功捕获了异常B，则行为会有所不同：

try:
 try:
  1/0
 except Exception as E:
  raise TypeError from E
except TypeError:
 print('no'

运行输出为：

no

try-finally在嵌套中的执行行为

最后，我们分析try-finally语句在嵌套结构中的表现。

try:
 try:
  1/0
 finally:
  print('finally')
except:
 print('ok')

运行结果如下：

finally ok

无论是否发生异常，或者异常是否被处理，finally块中的代码都会执行。如果异常被成功处理，程序正常结束；如果未被处理，异常将继续向外传播，直到最终由默认机制处理。在上述示例中，异常在最外层得到了处理。

try:
 try:
  1/0
 except Exception as E:
  print('happens')
 finally:
  print('finally')
except E:
 print('get handled')

运行结果如下：

happens finally

在此情况下，异常在内部已被处理，因此不会向外层传播。

以上是对Python异常嵌套机制的详细介绍，更多Python异常嵌套相关资源请查阅本站其他文章。