Python 异常处理机制的执行流程

异常触发时try块立即中断执行，后续语句不运行；else仅在无异常时执行；finally总会执行且可覆盖返回值；except按顺序匹配，子类须在父类前；raise from可显式构建异常链。

异常触发时，try 块会立即中断执行

一旦 try 块中某行代码抛出异常，后续语句不再执行，控制权直接跳转到匹配的 except 子句（或向上层传播）。这不是“运行完 try 再检查”，而是实时中断——哪怕异常发生在 try 最后一行，其后的 print 或赋值也不会运行。

• 常见误解：以为 try 是“监控整个块结束后统一处理”，实际是“遇到第一个异常就立刻退出”
• 若无匹配 except，异常继续向调用栈上抛；若始终未捕获，程序终止并打印 traceback
• else 子句仅在 try 未抛异常时执行，它不是“兜底逻辑”，而是“成功路径专属分支”

finally 总会执行，但不改变异常传播方向

finally 的核心作用是确保清理动作发生，无论 try 是否异常、except 是否存在、甚至是否调用了 return 或 break。但它不会吞掉异常，也不会阻止程序退出。

• 如果 try 抛异常且没被 except 捕获，finally 仍执行，然后异常继续上抛
• 如果 except 中又抛新异常，finally 执行后，新异常取代旧异常向外传播
• 如果 try 或 except 中有 return，finally 仍先执行——此时若 finally 也有 return，则以它的返回值为准（这是易错点）

多个 except 按顺序匹配，子类异常优先于父类

python 从上到下依次检查 except 子句，一旦某个异常类型与当前异常实例匹配（包括继承关系），就进入该分支，其余 except 被跳过。因此，更具体的异常要写在前面。

• 错误写法：except Exception: 放最前 → 后面所有 except ValueError: 等永远不会触发
• 正确顺序：except ValueError: → except OSError: → except Exception:（兜底）
• 注意：except (ValueError, TypeError): 是元组解包匹配，两个异常任一发生都会进入该分支

raise 和 raise ... from 对异常链的影响

单纯 raise 在 except 中重抛，会保留原始 traceback；而 raise new_exc from old_exc 显式建立异常因果链，调试时能看到 “The above exception was the direct cause of the following exception”。这在封装底层错误时很关键。

立即学习“Python免费学习笔记（深入）”；

• 避免裸 raise 后又手动修改 __cause__，直接用 from 更清晰
• raise new_exc from None 可切断链路，让新异常看起来像独立发生（例如隐藏内部实现细节）
• 未处理的异常链会在 traceback 末尾显示 “During handling of the above exception, another exception occurred”，容易误判根源

异常流程里最易被忽略的是：**finally 中的 return 会覆盖 try 或 except 中的 return，且不报任何警告**。这个行为在函数返回值调试中常导致逻辑“静默失效”。